Date of Award

2014

Publisher

North Dakota State University

Document Type

Master's Paper

Degree Awarded

Master of Science (MS)

Program

Software Engineering

Department

Computer Science

College

Engineering

Faculty Advisor

Walia, Gursimran

Description

Requirement engineering is a critical phase in software development that describes the customer needs and specifications for the software. Requirements are gathered through various sources and documented for a software product to be developed, written in Natural Language (NL). NL requirements are fault prone because they can be interpreted in different ways due its inherent imprecision, ambiguity, and vagueness. To address these problems, model-based requirements verification method called NLtoSTD (State Transition Diagram) is proposed. This paper evaluates the ability of NLtoSTD method in detecting faults when used on NL requirements and to improve its cognitive friendliness to the stakeholders. Motivated by the earlier study, we revised our proposed method and performed an empirical study. The participants employed the NLtoSTD method to inspect documents to identify ambiguities, incompleteness and inconsistencies. The experiment result shows an improvement over the previous results that the NLtoSTD is a method for verification of NL requirements.

Rights

NDSU Policy 190.6.2

Rights Link

https://www.ndsu.edu/fileadmin/policy/190.pdf

Handle Identifier

https://hdl.handle.net/10365/23141

Download

Share

COinS