• 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