An experimental evaluation of data flow and mutation testing

Software - Practice and Experience

Volumn 26, Issue 2, 1996, Pages 165-176

  Jefferson Offutt, A ^a   Pan, Jie ^b   Tewary, Kanupriya ^c   Zhang, Tong ^d  

^a GEORGE MASON UNIVERSITY   (United States)

^b PRC Incorporated   (United States)

^c ORACLE CORPORATION   (United States)

^d GENERAL DYNAMICS   (United States)

Author keywords

Data flow; Experimentation; Mutation; Software testing

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA PROCESSING; ERROR DETECTION; PROGRAM DEBUGGING; PROGRAMMING THEORY;

AUTOMATED TOOLS; DATA FLOW; DATA FLOW CRITERION; MUTATION CRITERION; MUTATION TESTING; TEST DATA;

COMPUTER SOFTWARE;

EID: 0030085274     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(sici)1097-024x(199602)26:2<165::aid-spe5>3.0.co;2-k     Document Type: Review

References (24)

1. L. J. White, 'Software testing and verification', in Marshall C. Yovits, ed, Advances in Computers, Vol. 26, pp. 335-390. Academic Press, New York, 1987.
2. A. Jefferson Offutt, Jie Pan, Kanupriya Tewary and Tong Zhang, 'Experiments with data flow and mutation testing', Technical Report ISSE-TR-94-105, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, 1994.
3. R. A. DeMillo, R. J. Lipton and F. G. Sayward, 'Hints on test data selection: Help for the practicing programmer', IEEE Computer 11(4), 34-41 (1978).
4. T. A. Budd and D. Angluin, 'Two notions of correctness and their relation to testing', Acta Informatics, 18(1), 31-45 (1982).
5. E. J. Weyuker, 'Axiomatizing software test data adequacy', IEEE Transactions on Software Engineering 12, 1128-1138 (1986).
6. P. G. Frankl and E. J. Weyuker, 'An applicable family of data flow testing criteria', IEEE Transactions on Software Engineering 14(10), 1483-1498 (1988).
7. L. A. Clarke, A. Podgurski, D. J. Richardson and S. J. Zeil, 'A comparison of data flow path selection criteria', in Proceedings of the Eighth International Conference on Software Engineering, pp. 244-251, London UK, August 1985. IEEE Computer Society.
8. P. G. Frankl and E. J. Weyuker, 'A formal analysis of the fault-detecting ability of testing methods', IEEE Transactions on Software Engineering 19(3) 202-213 (1993).
9. S. Rapps and E. J. Weyuker, 'Data flow analysis techniques for test data selection', in Software Engineering 6th International Conference. IEEE Computer Society Press, 1982.
10. S. Rapps and W. J. Weyuker, 'Selecting software test data using data flow information', IEEE Transactions on Software Engineering 11(4) 367-375 (1985).
11. P. G. Frankl and S. N. Weiss, 'An experimental comparison of the effectiveness of branch testing and data flow testing', IEEE Transactions on Software Engineering 19(8) 774-787 (1993).
12. E. J. Weyuker, 'How good is data flow testing?' Technical Report, NYU, 1989.
13. R. G. Hamlet, 'Testing programs with the aid of a compiler', IEEE Transactions on Software Engineering 3(4) (1977).
14. A. J. Offutt, 'Investigations of the software testing coupling effect', ACM Transactions on Software Engineering Methodology 1(1), 3-18 (1992).
15. A. J. Offutt and J. M. Voas, 'Subsumption of condition coverage techniques by mutation testing', submitted for publication, 1994.
16. E. J. Weyuker, S. N. Weiss and R. G. Hamlet, 'Comparison of program testing strategies', in Proceedings of the Fourth Symposium on Software Testing, Analysis, and Verification, pp. 1-10, Victoria, British Columbia, Canada, October 1991. IEEE Computer Society Press.
17. A. P. Mathur and W. E. Wong, 'An empirical comparison of data flow and mutation-based test adequacy criteria', The Journal of Software Testing, Verification, and Reliability 4(1), 9-31 (1994).
18. Weichen Eric Wong, On mutation and data flow', PhD thesis, Purdue University, December 1993; Technical Report SERC-TR-149-P, Software Engineering Research Center, Purdue University, West Lafayette, IN.
19. A. P. Mathur, 'On the relative strengths of data flow and mutation based test adequacy criteria', in Proceedings of the Sixth Annual Pacific Northwest Software Quality Conference, Portland OR, 1991. Lawrence and Craig.
20. K. Tewary and M. J. Harrold, 'Fault modeling using the program dependence graph', in Proceedings of the Fifth International Symposium on Software Reliability Engineering, pp. 126-135, Monterey CA, November 1994.
21. K. N. King and A. J. Offutt, 'A Fortran language system for mutation-based software testing', Software-Practice and Experience 21(7), 685-718 (1991).
22. R. A. DeMillo and A. J. Offutt, 'Constraint-based automatic test data generation', IEEE Transactions on Software Engineering 17(9), 900-910 (1991).
23. J. R. Horgan and S. London, 'ATAC: A data flow coverage testing tool for C', in Proceedings of the Symposium of Quality Software Development Tools, pp. 2-10, New Orleans LA, May 1992.
24. E. J. Weyuker, 'The cost of data flow testing: An empirical study', IEEE Transactions on Software Engineering 16(2), 121-128 (1990).