Requirements engineering is a critical phase in software development that describes the customer needs and the specifications for the software solution. Requirements are gathered through various sources and the output is a list of requirements for a software product to be developed, written in Natural Language (NL). NL requirements are fault prone because stakeholders can interpret NL differently due to the inherent imprecision, ambiguity, and vagueness of NL. To address these problems, a model-based requirements verification method called NL to state transition diagram (STD) is proposed. This paper evaluates the ability of the NLtoSTD method to detect faults when used on NL requirements and to improve the software reliability. Overall, the result shows that the NLtoSTD is an effective requirements verification method.
|Original language||English (US)|
|Number of pages||5|
|Journal||Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE|
|State||Published - 2014|
|Event||26th International Conference on Software Engineering and Knowledge Engineering, SEKE 2014 - Vancouver, Canada|
Duration: Jul 1 2014 → Jul 3 2014
ASJC Scopus subject areas