A Library of Failure Regions
Progress rept. Oct 1990-Sep 1991
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software
- Information Science