Automatic software test data generation for spanning sets coverage using genetic algorithms

Computing and Informatics

Volumn 26, Issue 4, 2007, Pages 383-401

  Khamis, Abdelaziz M ^a,b   Girgis, Moheb R ^c   Ghiduk, Ahmed S ^d,e  

^a CAIRO UNIVERSITY   (Egypt)

^b AJMAN UNIVERSITY   (United Arab Emirates)

^c Minia University ^*  (Egypt)

^d Beni Suef University   (Egypt)

^e Georgia Institute of Technology   (United States)

Author keywords

Automatic test data generation; Genetic algorithms; Spanning sets; Subsumption

Indexed keywords

EID: 34548152505     PISSN: 13359150     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. MILLS, H. D. - DYER, M. D. - LINGER, R. C.: Cleanroom Software Engineering. IEEE Software, Vol. 4, 1987, No. 5, pp. 19-25.
2. VOAS, J. M. - MORELL, L. - MILLER, K. W.: Predicting Where Faults Can Hide from Testing. IEEE, Vol. 8, 1991, No. 2, pp. 41-48.
3. THÉVENOD-FOSSE, P. - WAESELYNCK, H.: STATEMATE: Applied to Statistical Software Testing. ACM SIGSOFT Proceedings of the 1993 International Symposium on Software Testing and Analysis, Software Engineering Notes, June 1993 pp. 78-81.
4. CLARKE, L. A.: A System to Generate Test Data and Symbolically Execute Programs. IEEE Transactions on Software Engineering, Vol. 2, 1976, No. 3, pp. 215-222.
5. KING, J. C.: Symbolic Execution and Program Testing. Communications of the ACM, Vol. 19, 1976, No. 7, pp. 385-394.
6. HOWDEN, W. E.: Symbolic Testing and the DISSECT Symbolic Evaluation System. IEEE Transactions on Software Engineering, Vol. 3, 1977, No. 4, pp. 266-278.
7. LINDQUIST, T, E. - JENKINS, J. R.: Test-Case Generation with IOGen. IEEE Software, Vol, 5, 1988, No. 1, pp. 72-79.
8. GIRGIS, M. R.: Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection. The Journal of Software Testing, Verification and Reliability, Vol. 3, 1993, No. 2, pp. 101-112.
9. KOREL, B.: Automated Software Test Data Generation. IEEE Transactions on Software Engineering, Vol. 16, 1990, No. 8, pp. 870-879.
10. FERGUSON, R. - KOREL, B.: The Chaining Approach for Software Test Data Generation. ACM TOSEM, Vol. 5, 1996, No. 1, pp. 63-86.
11. ROPER, M. - MACLEAN, I. - BROOKS, A. - MILLER, J. - WOOD, M.: Genetic Algorithms and the Automatic Generation of Test Data. Technical Report RR/95/195[EFoCS-19-95].
12. PARGAS, R. P. - HARROLD, M. J. - PECK, R. R.: Test Data Generation Using Genetic Algorithms. Journal of Software Testing, Verifications and Reliability, Vol. 9, 1999, pp. 263-282.
13. LIN, J. - YEH, P.: Automatic Test Data Generation for Path Testing Using GAs. Journal of Information Science, Vol. 131, 2001, pp. 47-64.
14. MICHAEL, C. C. - MCGRAW, G. E. SCHATZ, M. A.: Generating Software Test Data by Evolution. IEEE Transactions on Software Engineering, Vol. 27, 2001, No. 12, pp. 1085-1110.
15. BUENO, P. M. S. - JINO, M.: Automatic Test Data Generation for Program Paths Using Genetic Algorithms. International Journal of Software Engineering and Knowledge Engineering, Vol. 12, 2002, No. 6, pp. 691-709.
16. GIRGIS, M. R.: Automatic Test Data Generation for Data Flow Testing Using Genetic Algorithm. Journal of Universal Computer Science, Vol. 11, 2005, No. 5, pp. 898-915.
17. MARRÉ, M.-BERTOLINO, A.: Using Spanning Sets for Coverage Testing. IEEE Transactions on Software Engineering, Vol. 29, 2003, No. 11, pp. 974-984.
18. BERTOLINO, A. - MARRÉ, M.: Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Transactions on Software Engineering, Vol. 20, 1994, No. 12, pp. 885-899.
19. WONG, W. E.: On Mutation and Data Flow. Ph.D. thesis, SERC-TR-149-P, Software Engineering Research Center, Purdue University, December 1993.
20. BEIZER, B.: Software Testing Techniques. Second Edition, van Nostrand Reinhold, New York, 1990.
21. RAPPS, S. - WEYUKER, E. J.: Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering, Vol. 11, 1985, No. 4, pp. 367-375.
22. FRANKL, P. G. - WEYUKER, E. J.: An Applicable Family of Data Flow Testing Criteria. IEEE Transactions on Software Engineering, Vol. 14, 1988, No. 10, pp. 1483-1498.