Analytical derivation of software failure regions
Loading...
Authors
Shimeall, Timothy J.
Bolchoz, John Manning
Griffin, Rachel
Subjects
Software Testing, Formal Models, Software Faults, Software Failures, Software Tools
Advisors
Date of Issue
1991-09
Date
1991-09
Publisher
Monterey, California. Naval Postgraduate School
Language
eng
Abstract
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
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Identifiers
NPS Report Number
NPS-CS-91-003
Sponsors
Naval Weapons Center, China Lake, CA
Funder
OM&N Direct Funding
Format
NA
Citation
Distribution Statement
Approved for public release; distribution is unlimited.