A Library of Failure Regions

Abstract

A failure region is the set of all possible program inputs that will execute a specific fault and produce a result that varies from the specified or expected program result. The purpose of this report is to document a set of failure regions corresponding to the known faults in a set of redundant program versions. Each failure region is characterized in two ways: by identifying the fault that it reveals and by identifying the boolean conditions necessary and sufficient to consider a program input to be a member of the failure region. Other reports describe the region analysis technique and profile the regions detailed here.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 06, 1991
Accession Number
ADA244201

Entities

People

  • Timothy J. Shimeall

Organizations

  • Naval Postgraduate School

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • California
  • Casualties
  • Classification
  • Combat Simulations
  • Computer Programs
  • Computer Science
  • Computers
  • Grids
  • Message Processing
  • Object Oriented Programming
  • Observation
  • Schools
  • Security
  • Simulations
  • Software Development
  • Software Development Tools

Fields of Study

  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • East Asian Political and Security Studies within the Soviet Union
  • Fault Tolerant Diagnosis of Black and White Balloon Isolation Tests Using ¥.