Portal de Periódicos da CAPES

Artigo Acesso aberto Produção Nacional

BIBTEX RIS

Método Sistêmico com Suporte em GORE para Análise de Conformidade de Requisitos não Funcionais Implementados em Software

2016; Volume: 23; Issue: 1 Linguagem: Português

10.22456/2175-2745.56368

2175-2745

André Luiz de Castro Leal, Henrique Prado Sousa, Julio César Sampaio do Prado Leite,

Software Engineering Research

A análise de requisitos não funcionais (RNF) é umdesafio e vem sendo explorado na literatura científica há muito tempo. Tal iniciativa deve-se ao fato da existência do problema de se verificar o uso das operacionalizações desse tipo de requisito nosoftware construído. Nesse trabalho apresentamos um método, com técnicas e ferramentas de apoio, que verificam se um software está em conformidade com padrões de RNF estabelecidos em catálogo como alternativa para o problema de verificação de RNF. Verificação é uma técnica de análise que prescinde da execução do software, isto é, da demonstração de seu comportamento. O termoverificação é usado em contraponto ao termo validação. O espectro da verificação vai desde provas de programas contra especificaçõesem um sentido mais formal, até a inspeção visual de programas num sentido menos formal.A estratégia adotada utiliza agentes autônomos para verificação de conformidade de software em relação a operacionalizações de RNF, para isso utiliza uma base de conhecimentos de padrões persistidos em um catálogo. Os resultados, parciais, são indicativosde que a proposta de solução é aplicável. A avaliação da validade dá-se por demonstração de que um método parcialmente automatizado que é eficaz na identificação de conformidades. Um diferencial na proposta é que, de maneira geral, os trabalhos comfoco em verificação são fortemente voltados para a visão funcional, enquanto a solução aqui apresentada é inovadora na ligação dos RNF a sua efetiva implantação. Como prova de conceito aplicou-se e customizou-se uma técnica de padrões deRNFs baseados em orientação a objetivos em estudos de caso de exemplos do cotidiano prático de software. Como também a construção de um framework de agentes, que operam sob notaçõesXML, para identificar conformidades de software em relação a um catálogo de RNF.