University of Minnesota
Software Engineering Center

You are here

Integrative Analysis ofState-Based Requirements

Date of Publication: 
October 1998
Associated Research Groups: 
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analysis is performed on an abstraction of the original requirements specification. Abstractions in the model may lead to spurious errors in the analysis output. Spurious errors are conditions that are reported as errors, but information abstracted out of the model precludes the reported conditions from being satisfied. A high ratio of spurious errors to true errors in the analysis output makes it difficult, error-prone, and time consuming to find and the correct the true errors. In this paper we describe an iterative and integrative approach for analyzing state-based requirements that capitalizes on the strengths of a symbolic analysis component and a reasoning component while circumventing their weaknesses. The resulting analysis method is fast enough and automated enough to be used on a day-to-day basis by practicing engineers, and generates analysis reports with a small ratio of spurious errors to true errors.
Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, Hawaii, October, 1998. (Nominated for best paper.)
@InProceedings{Czerny98:integrative, author = {B.J. Czerny and M.P.E. Heimdahl}, title = {Automated Integrative Analysis of State-Based Requirements}, booktitle = {Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE'98)}, pages = {125--134}, year = {1998}, address = {Honolulu, Hawaii}, month = {October}, }