Clarifying Some Fundamental Concepts in Software Testing

IEEE Transactions on Software Engineering

Volumn 19, Issue 7, 1993, Pages 742-746

  Zweben, Stuart H ^b  

^a UNIVERSITY OF ALABAMA   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

Adequacy criteria formal systems fundamental properties software testing

Indexed keywords

SOFTWARE ENGINEERING;

SOFTWARE TEST DATA ADEQUACY CRITERION; SOFTWARE TESTING; SUBSUMPTION ANALYSIS;

COMPUTER SOFTWARE;

EID: 0027635160     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.238573     Document Type: Article

References (13)

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,” in Proc. 3rd Symp. Software Testing, Analysis and Verification, Key West, FL, 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. 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. Weyuker “Axiomatizing software test data adequacy,” IEEE Trans. Software Eng., vol. SE-12, no. 12, pp. 1128–1138, Dec. 1986.
11. E. Weyuker “The evaluation of program-based software test data adequacy criteria,” Commun. Ass. Comput. Mach., vol. 31, pp. 668–675, June 1988.
12. E. Weyuker, S. Weiss, and R. Hamlet. “Comparison of program testing strategies,” in Proc. 4th Symp. Testing, Analysis, and Verification, Victoria, BC, Canada, 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.