TY - GEN
T1 - Evaluating the use of model-based requirements verification method
T2 - 1st International Workshop on Empirical Requirements Engineering, EmpiRE 2011, Co-located with Requirements Engineering, RE 2011
AU - Aceituna, Daniel
AU - Do, Hyunsook
AU - Walia, Gursimran Singh
AU - Lee, Seok Won
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
KW - Requirements verification
KW - STD model
KW - inspection
KW - model-based verification
UR - http://www.scopus.com/inward/record.url?scp=80455150253&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80455150253&partnerID=8YFLogxK
U2 - 10.1109/EmpiRE.2011.6046248
DO - 10.1109/EmpiRE.2011.6046248
M3 - Conference contribution
AN - SCOPUS:80455150253
SN - 9781457710766
T3 - Proceedings - 1st International Workshop on Empirical Requirements Engineering, EmpiRE 2011
SP - 13
EP - 20
BT - Proceedings - 1st International Workshop on Empirical Requirements Engineering, EmpiRE 2011
Y2 - 30 August 2011 through 30 August 2011
ER -