Analytical Derivation of Software Failure Regions

Abstract

This paper proposes an analytical method for deriving software failure regions, which are regions of the input space that are mapped to failures by specific faults. Previous studies have used empirical rather than analytical approaches to derive failure regions. A manual technique is presented and proven to produce the necessary and sufficient conditions of a fault being executed and leading to a failure. Semiautomated tools to assist in the manual technique are discussed, as is the use of failure regions in regression testing.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 09, 1991
Accession Number
ADA244021

Entities

People

  • John M. Bolchoz
  • Rachel Griffin
  • Timothy J. Shileall

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • California
  • Classification
  • Computer Programs
  • Computer Science
  • Computers
  • Contamination
  • Fault Tolerance
  • Language
  • Lisp Programming Language
  • Lists (Data Structures)
  • Maintenance Personnel
  • Operating Systems
  • Robotics
  • Sampling
  • Security
  • Software Testing
  • Virtual Machines

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Structural Health Monitoring of Composite Structures.

Technology Areas

  • Space