The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1996 vol.22)
pp: 248-255
ABSTRACT
<p><b>Abstract</b>—Software test adequacy criteria are rules to determine whether a software system has been adequately tested. A central question in the study of test adequacy criteria is how they relate to fault detecting ability. In this paper, we identify two idealized software testing scenarios. In the first scenario, which we call <it>prior testing scenario</it>, software testers are provided with an adequacy criterion in addition to the software under test. The knowledge of the adequacy criterion is used to generate test cases. In the second scenario, which we call <it>posterior testing scenario</it>, software testers are not provided with the knowledge of adequacy criterion. The criterion is only used to decide when to stop the generation of test cases. In 1993, Frankl and Weyuker proved that the subsume relation between software test adequacy criteria does not guarantee better fault detecting ability in the prior testing scenario.</p><p>In this paper, we will investigate the posterior testing scenario and prove that in this scenario the subsume relation does guarantee a better fault detecting ability. Two measures of fault detecting ability will be used, the probability of detecting faults and the expected number of exposed errors.</p>
INDEX TERMS
Software testing, test adequacy criteria, subsume relation, fault detecting ability, testing scenarios.
CITATION
Hong Zhu, "A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria", IEEE Transactions on Software Engineering, vol.22, no. 4, pp. 248-255, April 1996, doi:10.1109/32.491648
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool