Accession Number:

ADA244021

Title:

Analytical Derivation of Software Failure Regions

Descriptive Note:

Progress rept. Oct 1990-Sep 1991,

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE

Report Date:

1991-09-09

Pagination or Media Count:

34.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE