A performance evaluation of heuristics-based test case generation methods for software branch coverage

International Journal of Software Engineering and Knowledge Engineering

Volumn 6, Issue 4, 1996, Pages 585-608

  Chang, Kai H ^a   Cross II, James H ^a   Carlisle, W Homer ^a   Liao, Shih Sung ^a  

^a AUBURN UNIVERSITY   (United States)

Author keywords

Artificial intelligence; Knowledge based system; Software engineering; Software testing; Test case generation

Indexed keywords

EID: 0348019832     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194096000247     Document Type: Review

References (29)

1. W. R. Adrion, M. A. Branstad and J. C. Cherniavsky, "Validation, verification, and testing of computer software", ACM Computing Surveys 14 (1982) 159-192.
2. B. Beizer, Software Testing Techniques, second edition (Van Nostrand Reinhold, 1990).
3. B. Beizer, Software System Testing and Quality Assurance (Van Nostrand Reinhold, 1984).
4. A. Bertolino and M. Marrel, "Automatic generation of path covers based on the control flow analysis of computer programs", IEEE Trans. on Softw. Eng. 20, 12 (1994) 885-899.
5. D. Brown, H. Carlisle, K. Chang, and J. Cross, "QUEST/Ada, Query utility environment for software testing of Ada, task 2, phase 3 report of the development of a program analysis environment for Ada", Technical Report, Dept. of Computer Science and Engineering, Auburn University (September 1991).
6. K. Chang, J. Cross, H. Carlisle, and D. Brown, "A framework for intelligent test data generation", J. of Intelligent and Robotic Systems 5 (1992) 147-165.
7. T. Chusho, "Test data selection and quality estimation based on the concept of essential branches for path testing", IEEE Trans. on Softw. Eng. 13, 5 (1987) 509-517.
8. L. A. Clarke, "A system to generate test data and symbolically execute programs", IEEE Trans. on Softw. Eng. 2, 3 (1976) 215-222.
9. CLIPS Reference Manual, Version 4.1, Artificial Intelligence Section, Johnson Space Center, NASA, 1987.
10. J. Cross, K. Chang, W. Carlisle, and D. Brown, "Expert system assisted test data generation for software branch coverage", Data and Knowl. Eng. 6, 4 (1991) 279-295.
11. R. A. DeMillo and A. J. Offutt, "Experimental results from an automatic test case generator", ACM Trans. Softw. Eng. Methodology 2, 2 (1993) 109-127.
12. R. A. DeMillo and A. J. Offutt, "Constraint-based automatic test data generation", IEEE Trans. on Softw. Eng. 17, 9 (1991) 900-910.
13. J. W. Duran and S. Ntafos, "A report on random testing", in Proc. 5th Int. Conf. on Softw. Eng., March 9-12, 1981, San Diego, CA, pp. 179-191.
14. P. G. Frankl and S. N. Weiss, "An experimental comparison of the effectiveness of branch testing and data flow testing", IEEE Trans. on Softw. Eng. 19, 8 (1993) 774-787.
15. J. Giarratano and G. Riley, Expert Systems: Principles and Programming (PWS-Kent, 1989).
16. W. E. Howden, "A functional approach to program testing and analysis", IEEE Trans. on Softw. Eng. 12, 10 (1986) 997-1005.
17. W. E. Howden, "Methodology for the generation of program test data", IEEE Trans. on Computers 24 (1975) 554-560.
18. J. C. Huang, "An approach to program testing", ACM Computing Surveys 7, 3 (1975) 113-128.
19. D. C. Ince, "The automatic generation of test data", Comput. J. 30, 1 (1987) 63-69.
20. B. Korel, "Automated software test data generation", IEEE Trans. on Softw. Eng. 16, 8 (1990) 870-879.
21. J. W. Laski and B. Korel, "A data flow oriented program testing strategy", IEEE Trans. Softw. Eng. 9, 3 (1983) 347-354.
22. S. S. Liao, Analysis and Evaluation of Heuristics-Based Test Data Generation Methods, Master Thesis, Dept. of Computer Science and Engineering, Auburn University, December 1992.
23. J. Martin and C. McClure, Software Maintenance: The Problem and Its Solutions (Prentice-Hall, 1983), p. 24.
24. E. F. Miller, Software Testing Technology: An Overview in Handbook of Software Engineering (Van Nostrand Reinhold, 1984).
25. R. E. Prather and J. P. Myers, Jr., "The path prefix software testing strategy", IEEE Trans. on Softw. Eng. 13, 7 (1987) 761-766.
26. C. V. Ramamoorthy, S. F. Ho and W. T. Chen, "On the automated generation of program test data", IEEE Trans. on Softw. Eng. 2, 4 (1976) 293-300.
27. M. L. Shooman, Software Engineering: Design, Reliability, and Management (McGraw-Hill, 1983).
28. K. C. Tai, "What to do beyond branch testing", ACM Softw. Eng. Notes 14, 2 (1989) 58-61.
29. M. A. Vouk, D. F. McAllister and K. C. Tai, "An experimental evaluation of the effectiveness of random testing of fault-tolerant software", in Proc. of the IEEE Workshop on Software Testing (1986).