Testes de Software

Lista de Verificação de Especificação de Requisitos de Software (SRS)

(Alfred Hussein, Universidade de Calgary)

1. A SRS está correta?
Cada requisito da SRS está isento de erro. Isto requer que cada declaração de requisito represente precisamente a funcionalidade necessária do sistema a ser desenvolvido. Embora as outras categorias desta lista de verificação resultem em erros, essa categoria de erros está relacionada à natureza técnica da aplicação disponível. Em outras palavras, o requisito está totalmente incorreto.

Por exemplo, se o domínio do problema declara que o sistema XYZ deve fornecer uma resposta ao input dentro de 5 segundos e o requisito da SRS especifica que o sistema XYZ irá responder dentro de 10 segundos, o requisito está incorreto.

2. Os requisitos da SRS são inequívocos, precisos e claros?
Cada requisito da SRS é exato e inequívoco, há apenas uma interpretação para cada requisito. O significado de cada requisito é de fácil compreensão e fácil de ler.

As declarações de requisitos devem ser curtas, explícitas, precisas e claras. Descrições loquazes divagadoras geralmente estão sujeitas à interpretação. Cada requisito deve ter um objetivo específico e representar uma característica específica do domínio do problema.

Na redação do requisito, tente imaginar que o requisito está sendo dado para dez pessoas que são solicitadas a dar sua interpretação. Se houver mais de uma interpretação, então o requisito provavelmente é ambíguo.

É importante também permanecer objetivo na redação dos requisitos, nunca pressupor que todos irão entendê-lo do mesmo modo que você.

No mínimo, todos os termos que possam ter múltiplos significados devem ser definidos em um glossário onde seu significado é mais especificado.

A dificuldade da ambigüidade decorre do uso de linguagem natural que, por si, é inerentemente ambígua. Recomenda-se que listas de verificação de palavras e construtos gramaticais que tem uma grande tendência à ambigüidade sejam