Contributions

  • Bolchoz, John Manning - Contributor
  • Griffin, Rachel - Contributor
  • Naval Postgraduate School (U.S.). Dept. of Computer Science - Contributor

Publication

1991 - Naval Postgraduate School, Monterey, Calif, California

Language

English

Word Count

7,500 words, Guess

Page Count

30 pages

Identifiers

Alternate Titles

  • NPS-CS-91-003.

Description

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.

Subjects

Topics

Computer program reliabilityComputer program verification

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!