SQ^(2)E: An Approach to Requirements Validation with Scenario Question

• Published in: 2010 Asia Pacific Software Engineering Conference pp. 33 - 42
• Main Authors: Aceituna, Daniel, Hyunsook Do, Seok-Won Lee
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-11-2010
• Subjects: Analytical models; Cognition; Engines; feedback-based validation; Hardware; model-based validation; Production; Radio frequency; Requirements validation; scenario questions; Software systems
• ISBN: 1424488311; 9781424488315
• ISSN: 1530-1362; 2640-0715
• DOI: 10.1109/APSEC.2010.14

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 (SQ 2 E), 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.