DocumentCode
2188312
Title
SQ^(2)E: An Approach to Requirements Validation with Scenario Question
Author
Aceituna, Daniel ; Do, Hyunsook ; Lee, Seok-Won
Author_Institution
Comput. Sci. Dept., North Dakota State Univ., Fargo, ND, USA
fYear
2010
fDate
Nov. 30 2010-Dec. 3 2010
Firstpage
33
Lastpage
42
Abstract
Adequate requirements validation could prevent errors from propagating into later development phase, and eventually improve the quality of software systems. However, often validating textual requirements is difficult and error prone. We develop a feedback-based requirements validation methodology that provides an interactive and systematic way to validate a requirements model. Our approach is based on the notion of querying a model, which is built from a requirements specification, with scenario questions, in order to determine whether the model´s behavior satisfies the given requirements. To investigate feasibility of our approach, we implemented a Scenario Question Query Engine (SQ2E), which uses scenario questions to query a model, and performed a preliminary case study using a real-world application. The results show that the approach we proposed was effective in detecting both expected and unexpected behaviors in a model. We believe that our approach could improve the quality of requirements and ultimately the quality of software systems.
Keywords
formal specification; formal verification; query processing; software quality; development phase; feedback-based requirements validation; real-world application; requirements specification; scenario question query engine; software system quality; textual requirements; Analytical models; Cognition; Engines; Hardware; Production; Radio frequency; Software systems; Requirements validation; feedback-based validation; model-based validation; scenario questions;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference (APSEC), 2010 17th Asia Pacific
Conference_Location
Sydney, NSW
ISSN
1530-1362
Print_ISBN
978-1-4244-8831-5
Electronic_ISBN
1530-1362
Type
conf
DOI
10.1109/APSEC.2010.14
Filename
5693178
Link To Document