Analytical derivation of sotfware failure regions
By: Timothy J. Shimeall, John Manning Bolchoz, Rachel Griffin
Contributors: Bolchoz, John Manning; Griffin, Rachel; Naval Postgraduate School (U.S.). Dept. of Computer Science
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1991
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 30
Subjects: Computer program verification; Computer program reliability
Other 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.
Notes: Title from cover.

"NPS-CS-91-003."

"September 1991."

AD A244 021.

Includes bibliographical references (p. 29-30)

aq/aq cc:9116 06/08/98