A library of failure regions
Loading...
Authors
Shimeall, Timothy J.
Subjects
Software Testing, Software Experiments, Failure Conditions, Reachability, Error Generation, Error Propagation
Advisors
Date of Issue
1991-09
Date
1991-09
Publisher
Monterey, California. Naval Postgraduate School
Language
eng
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
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Identifiers
NPS Report Number
NPS-CS-91-002
Sponsors
Naval Weapons Center, China Lake, CA
Funder
OM&N Direct Funding
Format
NA
Citation
Distribution Statement
Approved for public release; distribution is unlimited.