Contributions

  • Naval Postgraduate School (U.S.). Dept. of Computer Science - Contributor

Publication

1991 - Naval Postgraduate School, Monterey, Calif, California

Language

English

Word Count

24,000 words, Guess

Page Count

96 pages

Identifiers

Alternate Titles

  • NPS-CS-91-002.

Description

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.

Subjects

Topics

LibrariesComputer program verification

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!