An empirical approach to analysis of similarities between software failure regions.
Ginn, Lelon Levoy
Shimeall, Timothy J.
MetadataShow full item record
Previous authors have postulated that faults are related to each other and testers have tried to exploit the effect. However, the evidence and applications have been largely anecdotal. This thesis uses an analytical derivation of software failure regions to develop a quantitative metric of the relationship of one fault to another. This metric is then applied in an empirical study of a population of failure regions derived from faults used in a previous experiment. The failure regions were analyzed for clustering behavior using graph theory techniques. The goal of this study is to be able to use information about known faults in a program as a means of finding other faults in the same program. This study provides strong evidence that failure regions have a tendency to form clusters. Further, two specific characteristics of failure regions that lead to cluster formation are identified: shared bounding conditions (the Identical dimension) and shared variables that appear in different contexts (the Coincidental dimension). The nature of the clusters formed by these two dimensions are markedly different. The Identical dimension clusters are small, isolated, and strongly connected. The Coincidental dimension clusters are larger and more loosely connected. Software testing implications of failure region clustering behavior are discussed.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Shimeall, Timothy J. (Monterey, California. Naval Postgraduate School, 1989-09); NPS-52-89-051FALTER is a program that supports the process of determining the effect of a program defect on the local program state. FALTER also provides the capability of recording the effect by annotation of the program control flow ...
Shimeall, Timothy J.; Bolchoz, John Manning; Griffin, Rachel (Monterey, California. Naval Postgraduate School, 1991-09); NPS-CS-91-003This 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 ...
Shimeall, Timothy J. (Monterey, California. Naval Postgraduate School, 1991-09); NPS-CS-91-002A 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 ...