TitleTools for constructing requirements specifications: The SCR toolset at the age of ten
Publication TypeJournal Article
Year of Publication2005
AuthorsHeitmeyer, C. L., M. Archer, R. Bharadwaj, and R. Jeffords
JournalInternational Journal of Computer Systems Science and Engineering
Volume20
Issue1
Pagination19-35
Abstract

While human effort is critical to creating requirements specifications and human inspection can detect many specification errors, software tools find errors inspections miss and also find certain classes of errors more cheaply. This paper describes a set of tools for constructing and analyzing requirements specifications in the SCR (Software Cost Reduction) tabular notation. The tools include a specification editor, a consistency checker, a simulator, and tools for verifying application properties - including a model checker, a verifier, a property checker based on decision procedures, and an invariant generator. This paper also describes the practical systems to which the tools are being applied as well as some new tools recently added to the toolset - e.g., a tool that constructs a sound and complete abstraction from a property and a specification. To illustrate the tools, the paper describes their use in developing a requirements specification for an automobile cruise control system.

Full Text

Heitmeyer etal2005.pdf

NRL Publication Release Number

04-1226-3131