WER2001 - 4th Workshop on Requirements Engineering, Buenos Aires - Argentina


Um Modelo de Avaliação de Especificações Semi-Formais de Requisitos de Software Baseado na Teoria dos Conjuntos Nebulosos

Luiz Eduardo Galvão Martins; Ana Estela Antunes da Silva

PDF Scholar

Abstract

O objetivo deste trabalho é apresentar um modelo de avaliação de especificações semi-formais de requisitos de software baseado na Teoria dos Conjuntos Nebulosos. Especificações semi-formais normalmente são apresentadas como um conjunto de diagramas onde os requisitos do software são declarados. Especialistas do domínio do problema e engenheiros de requisitos devem conjuntamente avaliar se a documentação produzida reflete de forma adequada os requisitos do software a ser implementado. Vários atributos de qualidade têm sido propostos para avaliar se uma especificação de requisitos é de fácil entendimento, completa, não ambígua, consistente internamente, possível de ser implementada, entre outros. A avaliação destes atributos de qualidade carrega um alto grau de subjetividade e incerteza, para os quais uma avaliação mais flexível, utilizando valores lingüísticos como baixo, médio e alto, torna-se adequada. Apresentamos ao longo do artigo os passos para a realização de tal avaliação, utilizando como base para o processo a Teoria dos Conjuntos Nebulosos.

Atributos de Qualidade; Especificação Semi-Formal de Requisitos; Função de Pertinência; Teoria dos Conjuntos Nebulosos.



WER Editions