Browse > Article
http://dx.doi.org/10.7236/JIWIT.2012.12.1.123

Generating Test Data for Programs with Flag Variables using Goal-oriented Concolic Testing  

Chung, In-Sang (Dept. of Computer Engineering, Hansung University)
Publication Information
The Journal of the Institute of Internet, Broadcasting and Communication / v.12, no.1, 2012 , pp. 123-132 More about this Journal
Abstract
This paper presents a goal-oriented test data generation technique that specializes concolic testing. The proposed technique, referred to as GCT (Goal-oriented Concolic Testing) produces test inputs which execute a specific target. Concolic testing can be seen as the brute force approach to search the space of all possible paths until a required test input is found. In contrast, GCT restricts the number of program paths that are explored by using data flow information to identify statements that should be executed beforehand in order for the target to be executed. We conducted experiments to evaluate the performance of GCT with programs with flag variables to show its effectiveness.
Keywords
목적 지향 테스팅;콘콜릭 테스팅;플래그 문제;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 P. Godefroid, N. Klarlund, K. Sen, "DART: Directed automated random testing", Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, pp. 213-223, 2005.
2 J. Burnim, K. Sen, "Heuristics for dynamic test generation", Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering , pp. 443-446, 2008.
3 R. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, M. J. Harrold, "Test suite augmentation for evolving software", Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, pp. 218-227, 2008.
4 N. Rungta, E. G. Mercer, W. Visser "Efficient testing of concurrent programs with abstraction -guided symbolic execution", Proceedings of SPIN Workshop on Model Checking of Software, Grenoble, France, pp. 218-227, 2009.
5 I.S. Chung. J. Park, "Goal-oriented concolic testing", Journal of KIISE: Software and Applications, vol. 37, n. 10, pp. 768-772, 2010.
6 L. Bottaci, "Instrumenting programs with flag variables for test data search by genetic algorithm", Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1337-1342, 2002.
7 P. McMinn, M. Holcombe, Evolutionary testing using an extended chaining approach, Evolutionary Computation, vol. 14, no. 1, pp. 41-64, 2006.   DOI
8 R. Ferguson, B. Korel, The chaining approach to software test data generation, ACM Transactions on Software Engineering and Methodology, vol. 5, no. 1, pp. 63-86, 1996.   DOI
9 S. Muchnick, N. Johnes, Program Flow Analysis, Theory and Applications, Englewood Cliffs, NJ, Prentice-Hall International, 1981.