The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1993 vol.19)
pp: 533-553
ABSTRACT
<p>RELAY is a model of faults and failures that defines failure conditions, which describe test data for which execution will guarantee that a fault originates erroneous behavior that also transfers through computations and information flow until a failure is revealed. This model of fault detection provides a framework within which other testing criteria's capabilities can be evaluated. Three test data selection criteria that detect faults in six fault classes are analyzed. This analysis shows that none of these criteria is capable of guaranteeing detection for these fault classes and points out two major weaknesses of these criteria. The first weakness is that the criteria do not consider the potential unsatisfiability of their rules. Each criterion includes rules that are sufficient to cause potential failures for some fault classes, yet when such rules are unsatisfiable, many faults may remain undetected. Their second weakness is failure to integrate their proposed rules.</p>
INDEX TERMS
test data selection criteria; fault detection; RELAY; failure conditions; erroneous behavior; information flow; program debugging; program testing; software reliability
CITATION
D.J. Richardson, M.C. Thompson, "An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection", IEEE Transactions on Software Engineering, vol.19, no. 6, pp. 533-553, June 1993, doi:10.1109/32.232020
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool