Using correctness, consistency, and completeness patterns for automated scenarios verification

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.