This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Clarifying Some Fundamental Concepts in Software Testing
July 1993 (vol. 19 no. 7)
pp. 742-746

A software test data adequacy criterion is a means for determining whether a test set is sufficient, or adequate, for testing a given program. A set of properties that useful adequacy criteria should satisfy have been previously proposed (E. Weyuker, 1986; 1988). The authors identify some additional properties of useful adequacy criteria that are appropriate under certain realistic models of testing. They discuss modifications to the formal definitions of certain popular adequacy criteria to make the criteria consistent with these additional properties.

[1] P. Frankl and E. Weyuker, "An applicable family of data flow testing criteria,"IEEE Trans. Software Eng., vol. 14, no. 10, pp. 1483-1498, Oct. 1988.
[2] J. Gourlay, "A mathematical framework for the investigation of testing,"IEEE Trans. Software Eng., vol. SE-9, no. 6, pp. 686-709, Nov. 1983.
[3] R. Hamlet, "Theoretical comparison of testing methods," inProc. 3rd Symp. Testing, Analysis, and Verification, Dec. 1989, pp. 28-37.
[4] J. W. Laski and B. Korel, "A data flow oriented program testing strategy,"IEEE Trans. Software Eng., vol. SE-9, no. 3, pp. 347-354, May 1983.
[5] A. Parrish, "An axiomatic theory of software test data adequacy criteria," Ph.D. dissertation, Dept. Computer and Inform. Sci., Ohio State Univ., 1990.
[6] A. Parrish and S. Zweben, "Analysis and refinement of software test data adequacy properties,"IEEE Trans. Software Eng., vol. 17, pp. 565-581, June 1991.
[7] S. Rapps and E. J. Weyuker, "Selecting software test data using data flow information,"IEEE Trans. Software Eng., vol. SE-11, no. 4, pp. 367-375, Apr. 1985.
[8] E. Weyuker, "On testing non-testable programs,"Computer J., vol. 25, no. 4, pp. 465-470, Nov. 1982.
[9] E. Weyuker, "Assessing test data adequacy through program inference,"ACM Trans. Programming Languages and Syst., vol 5., no. 4, pp. 641-655, Oct. 1983.
[10] E. J. Weyuker, "Axiomatizing software test data adequacy,"IEEE Trans. Software Eng., vol. SE-12, no. 12, pp. 1128-1138, Dec. 1986.
[11] E. J. Weyuker, "The evaluation of program-based software test data adequacy criteria,"Commun. ACM, vol. 31, no. 6, pp. 668-675, June 1988.
[12] E. J. Weyuker, S. N. Weiss, and D. Hamlet, "Comparison of program testing strategies," inProc. 4th Symp. Software Testing, Analysis, and Verification, ACM Press, Oct. 1991, pp. 1-10.
[13] S. Zweben and J. Gourlay. "On the adequacy of Weyuker's test data adequacy axioms,"IEEE Trans. Software Eng., vol. 15, no. 4, pp. 496-500, Apr. 1989.

Index Terms:
software testing; software test data adequacy criterion; test set; useful adequacy criteria; realistic models; formal definitions; formal verification; program testing
Citation:
A.S. Parrish, S.H. Zweben, "Clarifying Some Fundamental Concepts in Software Testing," IEEE Transactions on Software Engineering, vol. 19, no. 7, pp. 742-746, July 1993, doi:10.1109/32.238573
Usage of this product signifies your acceptance of the Terms of Use.