Accession Number:

ADA465318

Title:

SCR*: A Toolset for Specifying and Analyzing Requirements

Descriptive Note:

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Report Date:

1995-01-01

Pagination or Media Count:

15.0

Abstract:

A set of CASE tools is described for developing formal requirements specifications expressed in the SCR Software Cost Reduction tabular notation. The tools include an editor for building the specifications, a consistency checker for testing the specifications for consistency with a formal requirements model, a simulator for symbolically executing the specifications, and a verifier for checking that the specifications satisfy selected application properties. As background, the SCR method for specifying requirements is reviewed, and a formal requirements model is introduced. Examples are presented to illustrate the tools.

Subject Categories:

  • Computer Programming and Software
  • Test Facilities, Equipment and Methods

Distribution Statement:

APPROVED FOR PUBLIC RELEASE