The Open UniversitySkip to content
 

Lightweight Validation of Natural Language Requirements

Gervasi, Vincenzo and Nuseibeh, Bashar (2002). Lightweight Validation of Natural Language Requirements. Software: Practice and Experience, 32(2) pp. 113–133.

URL: http://mcs.open.ac.uk/ban25/papers/spe2002.pdf
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1002/spe.430
Google Scholar: Look up in Google Scholar

Abstract

In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language requirements documents. We describe our approach to checking properties of models obtained by shallow parsing of natural language requirements, and apply it to a case study based on part of a NASA specification of the Node Control Software on the International Space Station. The experience reported supports our position that it is feasible and useful to perform automated analysis of requirements expressed in natural language. Indeed, we identified a number of errors in our case study that were also independently discovered and corrected by NASA's Independent Validation and Verification Facility in a subsequent version of the same document, and others that were not discovered. The paper describes the techniques we used, the errors we found and reflects on the lessons earned.

Item Type: Journal Article
ISSN: 0038-0644
Keywords: natural language requirements; lightweight formal methods; requirements validation
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 2102
Depositing User: Bashar Nuseibeh
Date Deposited: 05 Jun 2006
Last Modified: 02 Dec 2010 19:46
URI: http://oro.open.ac.uk/id/eprint/2102
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk