This Article 
 Bibliographic References 
 Add to: 
Analysis and Refinement of Software Test Data Adequacy Properties
June 1991 (vol. 17 no. 6)
pp. 565-581

Test data adequacy criteria are standards that can be applied to decide if enough testing has been performed. Previous research in software testing has suggested 11 fundamental properties which reasonable criteria should satisfy if the criteria make use of the structure of the program being tested. It is shown that there are several dependencies among the 11 properties making them questionable as a set of fundamental properties, and that the statements of the properties can be generalized so that they can be appropriately analyzed with respect to criteria that do not necessarily make use of the program's structure. An analysis that shows the relationships among the properties with respect to different classes of criteria which utilize the program structure and the specification in different ways is discussed. It is shown how the properties differ under the two models in order to maintain consistency that the dependencies are largely a result of five very weak existential properties, and that by modifying three of the properties, these weaknesses can be eliminated. The result is a reduced set of seven properties, each of which is strong from a mathematical perspective.

[1] P. Frankl and E. Weyuker, "An applicable family of data flow testing criteria,"IEEE Trans. Software Eng., vol. 14, pp. 1483-1498, Oct. 1988.
[2] J. Gourlay, "A mathematical framework for the investigation of testing,"IEEE Trans. Software Eng., vol. SE-9, pp. 686-709, Nov. 1983.
[3] B. Meyer,An Introduction to Axiomatic Systems. Boston: Prindle, Weber&Schmidt, 1974.
[4] A. Parrish and S. Zweben, "A formal analysis of the relationships among software test data adequacy properties," Ohio State Univ. Computer and Info. Sci. Res. Ctr., Columbus, Tech. Rep. OSU-CISRC-11/89-TR51, Nov. 1989.
[5] E. J. Weyuker, "Axiomatizing software test data adequacy,"IEEE Trans. Software Eng., vol. SE-12, no. 12, pp. 1128-1138, Dec. 1986.
[6] E. J. Weyuker, "The evaluation of program-based software test data adequacy criteria,"Commun. ACM, vol. 31, no. 6, pp. 668-675, June 1988.
[7] S. Zweben and J. Gourlay, "On the adequacy of Weyuker's test data adequacy axioms,"IEEE Trans. Software Eng., vol. 15, pp. 496-500, Apr. 1989.

Index Terms:
software test data adequacy properties; standards; software testing; program structure; specification; consistency; weak existential properties; data integrity; formal specification; program testing; standards
A. Parrish, S.H. Zweben, "Analysis and Refinement of Software Test Data Adequacy Properties," IEEE Transactions on Software Engineering, vol. 17, no. 6, pp. 565-581, June 1991, doi:10.1109/32.87282
Usage of this product signifies your acceptance of the Terms of Use.