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

Edgar Sarmiento Calisaya, Julio Cesar Sampaio Do Prado Leite, Eduardo Almentero

Resultado de la investigación: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

5 Citas (Scopus)

Resumen

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.

Idioma originalInglés
Título de la publicación alojada5th International Workshop on Requirements Patterns, RePa 2015 - Proceedings
EditorialInstitute of Electrical and Electronics Engineers Inc.
Páginas47-54
Número de páginas8
ISBN (versión digital)9781509001224
DOI
EstadoPublicada - 16 feb. 2016
Publicado de forma externa
Evento5th International Workshop on Requirements Patterns, RePa 2015 - Ottawa, Canadá
Duración: 25 ago. 2015 → …

Serie de la publicación

Nombre5th International Workshop on Requirements Patterns, RePa 2015 - Proceedings

Conferencia

Conferencia5th International Workshop on Requirements Patterns, RePa 2015
País/TerritorioCanadá
CiudadOttawa
Período25/08/15 → …

Nota bibliográfica

Publisher Copyright:
© 2015 IEEE.

Huella

Profundice en los temas de investigación de 'Using correctness, consistency, and completeness patterns for automated scenarios verification'. En conjunto forman una huella única.

Citar esto