Comparison of program testing strategies

Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991

Volumn , Issue , 1991, Pages 1-10

  Weyuker, Elaine J ^a   Weiss, Stewart N ^b   Hamlet, Dick ^c  

^a NEW YORK UNIVERSITY   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

^c PORTLAND STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM TESTING; TEST DATA; USEFUL PROPERTIES;

SOFTWARE TESTING;

EID: 0041037289     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/120807.120808     Document Type: Conference Paper

References (31)

1. [BaS] V.R. Basili and R.W. Selby, "Comparing the Effectiveness of Software Testing Strategies, " IEEE Trans. Software Eng., Vol. SE-13, No. 12, Dec 1987, pp. 1278-1296.
2. [CHR] L.A. Clarke, J. Hasscll, and D.J. Richardson, "A Close Look at Domain Testing, " IEEE Trans. Software Eng., Vol. SE-8, No. 4, July 1982, pp. 380-390.
3. [CPRZ] L.A. Clarke, A. Podgurski, D.J. Richardson and S.J. Zeil, "A Comparison of Data Flow Path Selection Criteria", 8th IEEE International Conference on Software Engineering, August, 1985, London, pp. 244-251.
4. [DaW] M.D. Davis and E.J. Weyuker, "A Formal Notion of Program-Based Test Data Adequacy, " Information and Control, Vol. 56, Nos.1-2, Jan/Feb 1983, pp. 52-71.
5. [DuW] J.W. Duran and J. Wiorkowski, "Quantifying software validity by sampling, " IEEE Trans, on Reliability, Vol. R-29, 1980, pp. 141-144.
6. [DuN] J.W. Duran and S.C. Ntafos, "An Evaluation of Random Testing, " IEEE Trans. Software Eng., Vol. SE-10, No. 4, July 1984, pp. 438-444.
7. [FrW] P.G. Frankl and E.J. Weyuker, "An Applicable Family of Data Flow Testing Criteria, " IEEE Transactions on Software Engineering, Vol. 14, No. 10, October 1988, pp.1483-1498.
8. [FWe] P.G. Frankl and S.N. Weiss, "An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria, " Symposium on Testing, Analysis and Verification, Victoria, Canada, October 1991.
9. [GiW] M.R. Girgis and M.R. Woodward, "An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria, " Proc. Workshop on Software Testing, Banff, Canada, July 1986, pp. 64-73.
10. [Gou] J.S. Gourlay, "A Mathematical Framework for the Investigation of Testing, " IEEE Trans, on Software Eng., Vol. SE-9, No. 6, Nov 1983, pp. 686-709.
11. [H88] R. Hamlet, Editor's Introduction, Special Section on Software Testing, CACM, Vol. 31, June 1988, pp. 662-667.
12. [H89] R. Hamlet, "Theoretical Comparison of Testing Methods, " Proc. Third Symposium on Testing, Analysis, and Verification, Key West, Florida, Dec 1989, pp. 28-37.
13. [HaT] R. Hamlet and R. Taylor, "Partition Testing Does Not Inspire Confidence, " Proc. Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 206-215.
14. [How] W.E. Howden, "Reliability of the Path Analysis Testing Strategy, " IEEE Trans. Software Eng., Vol. SE-2, No. 3, Sept 1976, pp. 208-215.
15. [IEE] IEEE Standard Dictionary of Electrical and Electronics Terms, Fourth Ed., IEEE, 1988.
16. [JeW] B. Jeng and E.J. Weyuker "Some Observations on Partition Testing, " Proc. Third Symposium on Testing, Analysis, and Verification, Key West, Florida, Dec 1989, pp. 38-47.
17. [KeP] B.W. Kernighan and P.J. Plauger, Software Tools in Pascal, Addison Wesley, Reading Ma., 1981.
18. [LaR] L. Lauterbach and W Randall, Experimental evaluation of six test techniques, Proc. COMPASS '89, Gaitersburg, MD, June, 1989, pp. 36-41.
19. [N84] S. Ntafos, "An Evaluation of Required Element Testing Strategies, " Proceedings Seventh International Conference on Software Engineering, Mar 1984, pp. 250-256.
20. [N88] S. Ntafos, "A Comparison of Some Structural Testing Strategies, " IEEE Trans. Software Eng., Vol. 14, No. 6, Jun 1988, pp. 868-874.
21. [RW82] S. Rapps and EJ. Weyuker, "Data Row Analysis Techniques for Program Test Data Selection, " Proceedings Sixth International Conference on Software Engineering, Tokyo, Japan, Sept. 1982, pp. 272-278.
22. [RW85] S. Rapps and E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information", IEEE Trans. Software Eng., Vol. SE-11, No. 4, April 1985, pp. 367-375.
23. [RoZ] Rowland, John H. and Yu Zuyuan, "Experimental comparison of three system test strategies preliminary report, " Proceedings of the ACM SIGSOFT 89 Third Symposium on Testing, Analysis, and Verification, Dec. 1989, pp. 141-145.
24. [Tai] K.-C. Tai, "Program Testing Complexity and Test Criteria, " IEEE Trans. Software Eng., Vol. SE-6, No. 6, Nov. 1980, pp. 531-538.
25. [WGM] M.D. Weiser, J.D. Gannon, P.R. McMullin, "Comparison of Structural Test Coverage Metrics, " IEEE Software, Vol. 19, No. 2, Mar 1985, pp. 80-85.
26. [Wei] S.N. Weiss, "Comparing Test Data Adequacy Criteria, " Software Engineering Notes, Vol. 14, No. 6, Oct 1989, pp. 42-49.
27. [W84] E.J. Weyuker, "The Complexity of Data Flow Criteria for Test Data Selection, " Information Processing Letters, Vol. 19, No. 2, August 1984, pp. 103-109.
28. [W88] E.J. Weyuker, "An Empirical Study of the Complexity of Data Flow Testing, " Proc. Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 188-195.
29. [W90] E.J. Weyuker, "The Cost of Data Flow Testing: An Empirical Study, " IEEE Trans, on Software Engineering, Vol. 16, No. 2, Feb 1990, pp. 121-128.
30. [WHC] L.J. White and E.I. Cohen, "A Domain Testing Strategy, " IEEE Transactions on Software Engineering, Vol. SE-6, No. 3, May, 1980, pp. 247-257.
31. [Zei] S.J. Zeil, "Selectivity of Data-Flow and Control-How Path Criteria, " Proc. Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 216-222.