Framework para Verificação e Correção Automatizada da Conformidade Sintática de Requisitos de Software baseada em Modelos com Uso de IA

• Arthur H. M. de Oliveira ITA
• Johnny Marques ITA

DOI: https://doi.org/10.5753/sbqs_estendido.2025.15823

Resumo

Este artigo apresenta o progresso de uma pesquisa de doutorado voltada ao desenvolvimento de um framework para verificação e correção automatizadas da sintaxe de requisitos. O objetivo é assegurar a conformidade com Modelos de Requisitos amplamente adotados pela indústria, aprimorando a precisão das especificações em processos de desenvolvimento de software. A metodologia aplica técnicas de Processamento de Linguagem Natural (PLN) e Modelos de Linguagem de Grande Porte (LLMs) para automatizar um processo antes dependente de intervenção manual. Um Mapeamento Sistemático da Literatura (MSL) identificou abordagens existentes, e a pesquisa atualmente explora técnicas e ferramentas de PLN relevantes ao framework. Link: https://youtu.be/amL-WAbUt6U.

Referências

Almendra, C., Silva, C., Martins, L. E. G., and Marques, J. (2022). How assurance case development and requirements engineering interplay: a study with practitioners. Requirements Engineering, 27(2):273–292.

Arora, C., Grundy, J., and Abdelrazek, M. (2024). Advancing requirements engineering through generative ai: Assessing the role of llms. In Generative AI for Effective Software Development, pages 129–148. Springer.

Arora, C., Sabetzadeh, M., Briand, L., and Zimmer, F. (2015). Automated checking of conformance to requirements templates using natural language processing. IEEE transactions on Software Engineering, 41(10):944–968.

Arora, C., Sabetzadeh, M., Briand, L., Zimmer, F., and Gnaga, R. (2013). Automatic checking of conformance to requirement boilerplates via text chunking: An industrial case study. In 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, pages 35–44. IEEE.

Balwani, S., Tiwari, S., Dasgupta, S., and Sharma, A. (2024). An approach for providing recommendation for requirements non-conformant with requirement templates (rts). In Proceedings of the 17th Innovations in Software Engineering Conference, pages 1–11.

Lúcio, L., Rahman, S., Cheng, C.-H., and Mavin, A. (2017). Just formal enough? automated analysis of ears requirements. In NASA Formal Methods Symposium, pages 427–434. Springer.

Marques, J. and da Cunha, A. M. (2019). A set of requirements for certification of airborne military software. In 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), pages 1–7. IEEE.

Mavin, A., Wilkinson, P., Harwood, A., and Novak, M. (2009). Easy approach to requirements syntax (ears). In 2009 17th IEEE international requirements engineering conference, pages 317–322. IEEE.

Petersen, K., Vakkalanka, S., and Kuzniarz, L. (2015). Guidelines for conducting systematic mapping studies in software engineering: An update. Information and software technology, 64:1–18.

Pohl, K. and Rupp, C. (2021). Basiswissen requirements engineering: Aus-und Weiterbildung nach IREB-Standard zum certified professional for requirements engineering foundation level. dpunkt. verlag.

Tiwari, S., Shah, P., and Khare, M. (2022). Nl2rt: A tool to translate natural language text into requirements templates (rts). In 2022 IEEE 30th International Requirements Engineering Conference (RE), pages 262–263. IEEE.

Zhao, L., Alhoshan, W., Ferrari, A., Letsholo, K. J., Ajagbe, M. A., Chioasca, E.-V., and Batista-Navarro, R. T. (2021). Natural language processing for requirements engineering: A systematic mapping study. ACM Computing Surveys (CSUR), 54(3):1–41.