Model-based requirements verification method: Conclusions from two controlled experiments

• Published in: Information and software technology Vol. 56; no. 3; pp. 321 - 334
• Main Authors: Aceituna, Daniel, Walia, Gursimran, Do, Hyunsook, Lee, Seok-Won
• Format: Journal Article
• Language: English
• Published: Amsterdam Elsevier B.V 01-03-2014; Elsevier Science Ltd
• Subjects: Computer programs; Controlled experiments; Experiments; Fault checklist; Model-based verification; NLtoSTD; Requirements analysis; Requirements verification; Software; Software development; Software engineering; Software quality; Software reliability; Specifications; Studies; Systems development; Verification; Fault checklist; Requirements verification; Controlled experiments; Model-based verification; NLtoSTD
• ISSN: 0950-5849; 1873-6025
• DOI: 10.1016/j.infsof.2013.11.004

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 are represented in natural language (NL), making requirements engineering a difficult, fault prone, and a challenging task.
To ensure high-quality software, we need effective requirements verification methods that can clearly handle and address inherently ambiguous nature of NL specifications. The objective of this paper is to propose a method that can address the challenges with NL requirements verification and to evaluate our proposed method through controlled experiments.
We propose a model-based requirements verification method, called NLtoSTD, which transforms NL requirements into a State Transition Diagram (STD) that can help to detect and to eliminate ambiguities and incompleteness. The paper describes the NLtoSTD method to detect requirement faults, thereby improving the quality of the requirements. To evaluate the NLtoSTD method, we conducted two controlled experiments at North Dakota State University in which the participants employed the NLtoSTD method and a traditional fault checklist during the inspection of requirement documents to identify the ambiguities and incompleteness of the requirements.
Two experiment results show that the NLtoSTD method can be more effective in exposing the missing functionality and, in some cases, more ambiguous information than the fault-checklist method. Our experiments also revealed areas of improvement that benefit the method’s applicability in the future.
We presented a new approach, NLtoSTD, to verify requirements documents and two controlled experiments assessing our approach. The results are promising and have motivated the refinement of the NLtoSTD method and future empirical evaluation.