TitleConsistency Checking of SCR-Style Requirements Specifications
Publication TypeConference Paper
Year of Publication1995
AuthorsHeitmeyer, C. L., and B. Labaw
Conference NameInternational Symposium on Requirements Engineering
Conference LocationYork, England
Abstract

This paper describes a class of formal analysis called consistency checking that mechanically checks requirements specifications, expressed in the SCR tabular notation, for application-independent properties. Properties include domain coverage, type correctness, and determinism. As background, the SCR notation for specifying requirements is reviewed. A formal requirements model describing the meaning of the SCR notation is summarized, and consistency checks derived from the formal model are described. The results of experiments to evaluate the utility of automated consistency checking are presented.

Full Text

HeitmeyerLabaw1995.pdf

NRL Publication Release Number

04-1221-3002