Evaluating the use of model-based requirements verification method: A feasibility study

Daniel Aceituna, Hyunsook Do, Gursimran Singh Walia, Seok Won Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Scopus citations

Abstract

Requirements engineering is one of the most important and critical phases in the software development life cycle, and should be carefully performed to build high quality and reliable software. However, requirements are typically gathered through various sources and represented in natural language (NL), making requirements engineering a difficult, fault prone, and a challenging task. To address this challenge, we propose a model-based requirements verification method called NLtoSTD, which transforms NL requirements into a state transition diagram (STD) that can be verified through automated reasoning. This paper analyzes the effect of NLtoSTD method in improving the quality of requirements. To do so, we conducted an empirical study at North Dakota State University in which the participants employed the NLtoSTD method during the inspection of requirement documents to identify the amibiguities and incompleteness of requirements. The experiment results show that the proposed method is capable of finding ambiguities and missing functionalities in a set of NL requirements, and provided us with insights and feedback to improve the method. The results are promising and have motivated the refinement of NLtoSTD method and future empirical evaluation.

Original languageEnglish (US)
Title of host publicationProceedings - 1st International Workshop on Empirical Requirements Engineering, EmpiRE 2011
Pages13-20
Number of pages8
DOIs
StatePublished - 2011
Externally publishedYes
Event1st International Workshop on Empirical Requirements Engineering, EmpiRE 2011, Co-located with Requirements Engineering, RE 2011 - Trento, Italy
Duration: Aug 30 2011Aug 30 2011

Publication series

NameProceedings - 1st International Workshop on Empirical Requirements Engineering, EmpiRE 2011

Conference

Conference1st International Workshop on Empirical Requirements Engineering, EmpiRE 2011, Co-located with Requirements Engineering, RE 2011
Country/TerritoryItaly
CityTrento
Period8/30/118/30/11

Keywords

  • inspection
  • model-based verification
  • Requirements verification
  • STD model

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Evaluating the use of model-based requirements verification method: A feasibility study'. Together they form a unique fingerprint.

Cite this