Accession Number:

ADA244201

Title:

A Library of Failure Regions

Descriptive Note:

Progress rept. Oct 1990-Sep 1991

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1991-09-06

Pagination or Media Count:

104.0

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.

Subject Categories:

  • Computer Programming and Software
  • Information Science

Distribution Statement:

APPROVED FOR PUBLIC RELEASE