An approach to fault modeling and fault seeding using the program dependence graph

Journal of Systems and Software

Volumn 36, Issue 3, 1997, Pages 273-295

  Harrold, Mary Jean ^a   Offutt, A Jefferson ^b   Tewary, Kanupriya ^c  

^a OHIO STATE UNIVERSITY   (United States)

^b GEORGE MASON UNIVERSITY   (United States)

^c SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; GRAPH THEORY; SOFTWARE ENGINEERING;

FAULT CLASSIFICATION SCHEME; FAULT MODELING; FAULT SEEDING; PROGRAM DEPENDENCE GRAPH;

ERROR DETECTION;

EID: 0031103718     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(96)00175-6     Document Type: Article

References (39)

1. Agrawal, H., DeMillo, R., Hathaway, R., Hsu, W., Hsu, W. Krauser, E., Martin, R. J., Mathur, A., and Spafford, E., Design of Mutant Operators for the C Programming Language. Technical report SERC-TR-41-P, Software, Engineering Research Center, Purdue University, West Lafayette, Indiana, March 1989.
2. Aho, A. V., Sethi, R., and Ullman, J. D., Compilers, Principles, Techniques, and Tools. Addison-Wesley Publishing Company, Reading, Massachusetts, 1986.
3. Basili, V. R., and Selby, R. W., Comparing the Effectiveness of Software Testing Strategies, IEEE Transactions on Software Engineering 13(12):1278-1296 (1987).
4. Budd, T. A., Mutation Analysis: Ideas, Examples, Problems, and Prospects in Computer Program Testing, in Computer Program Testing, (B. Chandrasekaran and S. Radicchi, ed.), North-Holland, 1981, pp. 129-148.
5. Budd, T. A., Hess, R., and Sayward, F. G., EXPER Implementor's Guide. Technical Report, Department of Computer Science, Yale University, 1980.
6. Delamaro, M. E., and Maldonado, J. C., Proteum: A Mutation Testing Tool for C Programs, Purdue SERC Newsletter, 1995.
7. Delamaro, M. E., Maldonado, J. C., Jino, M., and Chaim, M., Proteum: Uma Ferramenta de Teste Baseada na Análise de Mutantes (Proteum: A Testing Tool Based on Mutation Analysis), 7th Brazilian Symposium on Software Engineering, Rio de Janeiro, Brazil, October 1993, pp. 31-33 (In Portuguese).
8. DeMillo, R. A., Guindi, D. S., King, K. N., McCracken, W. M., and Offutt, A. J., An Extended Overview of the Mothra Software Testing Environment. Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, IEEE Computer Society Press, Banff Alberta, July 1988, pp. 142-151.
9. DeMillo, R. A., Lipton, R. J., and Sayward, F. G., Hints on Test Data Selection: Help for the Practicing Programmer, IEEE Computer 11(4):34-41 (1978).
10. DeMillo, R. A., and Mathur, A. P., A Grammar Based Fault Classification Scheme and its Application to the Classification of the Errors of Tex. Private communication, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, 1994.
11. DeMillo, R. A., and Mathur, A. P., On the Use of Software Artifacts to Evaluate the Effectiveness of Mutation Analysis for Detecting Errors in Production Software. Technical Report SERC-TR-92-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, March 1991.
12. DeMillo, R. A., and Offutt, A. J., Constraint-based Automatic Test Data Generation, IEEE Transactions on Software Engineering 17(9):900-910 (1991).
13. Ferrante, J., Ottenstein, K. J., and Warren, J. D., The Program Dependence Graph and its Use in Optimization, ACM Transactions on Programming Languages and Systems 9(3):319-349 (1987).
14. Frankl, P. G., and Weyuker, E. J., An Applicable Family of Data Flow Testing Criteria, IEEE Transactions on Software Engineering SE-14(10):1483-1498 (1988).
15. Frankl, P. G., and Weyuker, E. J., A Formal Analysis of the Fault-detecting Ability of Testing Methods, IEEE Transactions on Software Engineering SE-19(3):202-213 (1993).
16. Girgis, M. R. and Woodward, M. R., An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria, Proceedings of the Workshop on Software Testing, IEEE Computer Society Press, July 1986, pp. 63-73.
17. Hamlet, R. G., Testing Programs with the Aid of a Compiler, IEEE Transactions on Software Engineering 3(4):279-290 (1977).
18. Harrold, M. J., and Kolte, P., Combat: A Compiler Based Data Flow Testing System, Proceedings of the 10th Pacific Northwest Software Quality Conference October 1992, pp. 311-323.
19. Harrold, M. J., Larsen, L., Lloyd, J., Nedved, D., Page, M., Rothermel, G., Singh, M., and Smith, M., Aristotle: A System for Development of Program Analysis Based Tools, Proceedings of the 33rd Annual ACM Southeast Conference March 1995, pp. 110-119.
20. Howden, W. E., Reliability of the Path Analysis Testing Strategy, IEEE Transactions on Software Engineering 2(3):208-215 (1976).
21. Howden, W. E., Weak Mutation Testing and Completeness of Test Sets, IEEE Transactions on Software Engineering 8(4):371-379 (1982).
22. IEEE Standard Glossary of Software Engineering Terminology, IEEE Std 610.12.1990. Institute of Electrical and Electronics Engineering, New York, 1990.
23. King, K. N., and Offutt, A. J., A Fortran Language System for Mutation-based Software Testing, Software-Practice and Experience 21(7):685-718 (1991).
24. Landi, W. A., and Ryder, B. G., A Safe Approximation Algorithm for Interprocedural Pointer Aliasing, Proceedings of SIGPLAN '92 Conference on Programming Language Design and Implementation June 1992, pp. 235-248.
25. Mathur, A. P. and Wong, W. E., An Empirical Comparison of Data Flow and Mutation-based Test Adequacy Criteria, Journal of Software Testing, Verification, and Reliability 4(1):9-31 (1994).
26. Offutt, A. J., Investigations of the Software Testing Coupling Effect, ACM Transactions on Software Engineering Methodology 1(1):3-18 (1992).
27. Offutt, A. J., and Hayes, J. H., A Semantic Model of Program Faults, Proceedings of the 1996 International Symposium on Software Testing, and Analysis ACM Press, San Diego, California, January 1996, pp. 195-200.
28. Offutt, A. J., Pan, J., Tewary, K., and Zhang, T., An Experimental Evaluation of Data Row and Mutation Testing, Software-Practice and Experience 26(2):165-176 (1996).
29. Offutt, A. J., Payne, J., and Voas, J. M., Mutation Operators for Ada. Technical Report ISSE-TR-96-06, Department of Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, March 1996.
30. Sommerville, I., Software Engineering, third edition. Addison-Wesley Publishing Company, New York NY, 1989.
31. St. Andre, D. M., Pilot Mutation System (PIMS) User's Manual. Technical report GIT-ICS-79/04, Georgia Institute of Technology, April 1979.
32. Tewary, K., and Harrold, M. J., Fault Modeling Using the Program Dependence Graph, IEEE International Symposium on Software Reliability '94 (ISSRE'94), November 1994, pp. 126-135.
33. Untch, R., Schema-based Mutation Analysis: A New Test Data Adequacy Assessment Method. Ph.D. Thesis, Clemson University, Clemson, South Carolina, 1995. Clemson Department of Computer Science Technical Report 95-115.
34. Untch, R. Offutt, A. J., and Harrold, M. J., Mutation Analysis Using Program Schemata, Proceedings of the 1993 International Symposium on Software Testing, and Analysis, Cambridge, Massachusetts, June 1993, pp. 139-148.
35. Voas, J. M., Morell, L., and Miller, K. W., Predicting Where Faults Can Hide from Testing, IEEE Software 8(2):41-58 (1991).
36. How Tai Wan, K. S., Fault Coupling in Finite Bijective Functions, Journal of Software Testing, Verification, and Reliability 5(1):3-47 (1995).
37. Weiss, S. N., Weyuker, E. J., and Hamlet, D., Comparison of Program Testing Strategies, Proceedings of the Fourth Symposium on Software Testing, Analysis, and Verification, Victoria, British Columbia, October 1991. ACM SIGSOFT 91.
38. Wong, W. E., and Mathur, A. P., Fault Detection Effectiveness of Mutation and Data Flow Testing, Software Quality Journal 4(1):69-83 (1995).
39. Zeil, S. J., Perturbation Techniques for Detecting Domain Errors, IEEE Transactions on Software Engineering 15:737-746 (1989).