TY - JOUR AU - Leal, André Luiz de Castro AU - Prado Sousa, Henrique AU - César Sampaio do Prado Leite, Julio PY - 2016/05/29 Y2 - 2024/03/28 TI - Método Sistêmico com Suporte em GORE para Análise de Conformidade de Requisitos não Funcionais Implementados em Software JF - Revista de Informática Teórica e Aplicada JA - RITA VL - 23 IS - 1 SE - Regular Papers DO - 10.22456/2175-2745.56368 UR - https://seer.ufrgs.br/index.php/rita/article/view/RITA-VOL23-NR1-140 SP - 140-182 AB - <p><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">A análise de requisitos não funcionais (RNF) é um<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">desafio e vem sendo explorado na literatura científica há muito <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">tempo. Tal iniciativa deve-se ao fato da existência do problema de <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">se verificar o uso das operacionalizações desse tipo de requisito no<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">software construído. Nesse trabalho apresentamos um método, <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">com técnicas e ferramentas de apoio, que verificam se um software <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">está em conformidade com padrões de RNF estabelecidos em <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">catálogo como alternativa para o problema de verificação de RNF. <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">Verificação é uma técnica de análise que prescinde da execução do <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">software, isto é, da demonstração de seu comportamento. O termo<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">verificação é usado em contraponto ao termo validação. O espectro <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">da verificação vai desde provas de programas contra especificações<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">em um sentido mais formal, até a inspeção visual de programas <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">num sentido menos formal</span></span></span></span></span></span></span></span></span></span></span></span></span>.</span></p><p><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;"><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">A estratégia adotada utiliza agentes autônomos para verificação de <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">conformidade de software em relação a operacionalizações de <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">RNF, para isso utiliza uma base de conhecimentos de padrões <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">persistidos em um catálogo. Os resultados, parciais, são indicativos<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">de que a proposta de solução é aplicável. A avaliação da validade <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">dá-se por demonstração de que um método parcialmente <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">automatizado que é eficaz na identificação de conformidades. Um <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">diferencial na proposta é que, de maneira geral, os trabalhos com<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">foco em verificação são fortemente voltados para a visão <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">funcional, enquanto a solução aqui apresentada é inovadora na <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">ligação dos RNF a sua efetiva implantação. Como prova de <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">conceito aplicou-se e customizou-se uma técnica de padrões de<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">RNFs baseados em orientação a objetivos em estudos de caso de <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">exemplos do cotidiano prático de software. Como também a <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">construção de um framework de agentes, que operam sob notações<br /><span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">XML, para identificar conformidades de software em relação a um <span style="font-family: Times; font-size: 12pt; color: #000000; font-style: normal; font-variant: normal;">catálogo de RNF.</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></p> ER -