Academic
Publications
Automated consistency checking of requirements specifications

Automated consistency checking of requirements specifications,10.1145/234426.234431,ACM Transactions on Software Engineering and Methodology,Constance

Automated consistency checking of requirements specifications   (Citations: 410)
BibTex | RIS | RefWorks Download
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.
Journal: ACM Transactions on Software Engineering and Methodology - TOSEM , vol. 5, no. 3, pp. 231-261, 1996
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: