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 :
بازگشت