Automated integrative analysis of state-based requirements

Barbara J. Czerny, Mats P.E. Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

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 correct the true errors. 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.

Original languageEnglish (US)
Title of host publicationProceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages125-134
Number of pages10
ISBN (Electronic)0818687509, 9780818687501
DOIs
StatePublished - Jan 1 1998
Event13th IEEE International Conference on Automated Software Engineering, ASE 1998 - Honolulu, United States
Duration: Oct 13 1998Oct 16 1998

Publication series

NameProceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998
Volume1998-October

Other

Other13th IEEE International Conference on Automated Software Engineering, ASE 1998
CountryUnited States
CityHonolulu
Period10/13/9810/16/98

Fingerprint Dive into the research topics of 'Automated integrative analysis of state-based requirements'. Together they form a unique fingerprint.

Cite this