Title
Using correctness, consistency, and completeness patterns for automated scenarios verification
Date Issued
16 February 2016
Access level
metadata only access
Resource Type
conference paper
Author(s)
Leite J.C.S.D.P.
Almentero E.
Informatics Department, PUC - Rio, Rio de Janeiro, Brazil
Publisher(s)
Institute of Electrical and Electronics Engineers Inc.
Abstract
Scenario-based approaches are often used for Software Requirements Specification (SRS). Since scenarios are usually written in natural language, they may be ambiguous and, sometimes, inaccurate, which impair requirements quality. One of the major factors for this problem is because interactions among scenarios are seldom represented explicitly. As such, the importance of correctness, consistency and completeness, in the context of scenario-based representations should be rethought. In this paper, we employ the NFR approach to organize the non-functional requirements related to correctness, consistency and completeness as a catalog of non-functional requirements (NFR). We represent the initial catalog as non-functional requirements patterns. These initial patterns can be effectively used for automated scenario-based SRS verification. The identified patterns can be operationalized by evaluating properties related to these NFRs. We demonstrate the applicability of this catalog by instantiating it to the evaluation of an SRS based on a scenario language.
Start page
47
End page
54
Language
English
OCDE Knowledge area
Informática y Ciencias de la Información Ciencias naturales
Scopus EID
2-s2.0-84964866531
Resource of which it is part
5th International Workshop on Requirements Patterns, RePa 2015 - Proceedings
ISBN of the container
978-150900122-4
Conference
5th International Workshop on Requirements Patterns, RePa 2015
Sponsor(s)
Leite acknowledges the support from CNPq.
Sources of information: Directorio de Producción Científica Scopus