Consistency Checking of SCR-Style Requirements Specifications

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. Where consistency checking of requirements fits in the software development process is discussed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 27, 1995
Accession Number
ADA465317

Entities

People

  • Bruce Labaw
  • Constance Heitmeyer
  • Daniel Kiskis

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Sensors
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Automata
  • Complex Systems
  • Computer Programs
  • Computers
  • Consistency
  • Control Systems
  • Costs
  • Engineering
  • Engineers
  • Guarantees
  • Notation
  • Reasoning
  • Simulators
  • Software Development
  • Software Development Tools
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.