• A library of failure regions

Treffer: A library of failure regions

Title:
A library of failure regions
Authors:
Shimeall, Timothy J.
Contributors:
Computer Science (CS), Naval Postgraduate School (U.S.), Graduate School of Operational and Information Sciences (GSOIS), Computer Science
Publisher Information:
Monterey, California. Naval Postgraduate School
Publication Year:
1991
Collection:
Naval Postgraduate School: Calhoun
Subject Terms:
Software Testing, Software Experiments, Failure Conditions, Reachability, Error Generation, Error Propagation, COMPUTER PROGRAM VERIFICATION
Document Type:
Report report
File Description:
NA; application/pdf
Language:
English
Relation:
NA; https://hdl.handle.net/10945/29366
Availability:
https://hdl.handle.net/10945/29366
Accession Number:
edsbas.532DE65C
Database:
BASE

Weitere Informationen

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 ; Approved for public release; distribution is unlimited. ; OM&N Direct Funding ; NA ; Naval Weapons Center, China Lake, CA ; http://archive.org/details/libraryoffailure00shim