Paper Info
Title
Automated consistency checking of requirements specifications
Abstract
This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique is designed to analyze requirements specifications expressed in the SCR (Software Cost Reduction) tabular notation. As background, the SCR approach to specifying requirements is reviewed. To provide a formal semantics for the SCR notation and a foundation for consistency checking, a formal requirements model is introduced; the model represents a software system as a finite-state automation which produces externally visible outputs in response to changes in monitored environmental quantities. Results of two experiments are presented which evaluated the utility and scalability of our technique for consistency checking in real-world avionics application. The role of consistency checking during the requirements phase of software development is discussed.
Year
DOI
Venue
1996
10.1145/234426.234431
ACM Trans. Softw. Eng. Methodol.
Keywords
Field
DocType
software system,formal requirements modeling,software development,application-independent properties,scr notation,formal analysis technique,consistency checking,scr approach,formal requirements model,requirements specification,automated consistency checking,tabular notations,requirements phase,software cost reduction methodology,formal semantics,software engineering,software systems
Software design,Programming language,Computer science,Formal specification,Requirement,Formal methods,Software verification and validation,Software requirements specification,Software development,Reliability engineering,Software requirements
Journal
Volume
Issue
Citations 
5
3
348
PageRank 
References 
Authors
27.61
26
3
Search Limit
100348
Name
Order
Citations
PageRank
Constance L. Heitmeyer1898151.71
Ralph D. Jeffords243434.88
Bruce G. Labaw363247.44