Use of Evolutionary Techniques for Symbolic Execution Based Testing

  ijett-book-cover  International Journal of Engineering Trends and Technology (IJETT)          
© 2013 by IJETT Journal
Volume-4 Issue-7                      
Year of Publication : 2013
Authors : Anjali Kapoor , Mohit kumar


Anjali Kapoor , Mohit kumar. "Use of Evolutionary Techniques for Symbolic Execution Based Testing". International Journal of Engineering Trends and Technology (IJETT). V4(7):3207-3212 Jul 2013. ISSN:2231-5381. published by seventh sense research group.


Evolutionary methods when used as a test data generator optimize the given input (usually called test case) according to a selected test coverage criterion encoded as a fitness function. Basically, the genetic algorithms and other Evol utionary techniques are based on pure random search. However, these algorithms adapt to the given problem. In the last decade lot of evolution based metaheuristic techniques are applied for searching software errors. This survey paper presents the work app lying computational evolutionary methods in structural software testing based test data generation.


[1] Ahmed MA, Hermadi I. GA - based multiple paths test data generator. Computers and Operations Research (2007),(article in press )
[2] Alba E and Chicano F, Software Project Management with GAs, Information Sciences, 177(11) 2007 pp.2380 - 2401
[3] Amoui M, Mirarab S, Ansari A and Lucas C, A Genetic Algorithm Approach to Design Evolution using Design Pattern Transformation, International Jour nal of Information Technology and Intelligent Computing 1(2, 2006 pp. 235 - 244.
[4] Ayari K, Bouktif S and Antoniol G, Automatic Mutation Test Input Data Generation via Ant Colony, GECCO’07 , July 7 – 11, 2007, London, England, United Kingdom.
[5] Beizer B. Software t esting techniques . 2nd ed., Dreamtech publication New Delhi. 1990.
[6] Burgess CJ and Lefley M, Can Genetic Programming Improve Software Effort Estimation? A Comparative Evaluation, Information & Software Technology, 43(14), 2001, pp. 863 - 873
[7] Chong C.S., Low M.Y.H., Sivakumar A.I., Gay K.L., A Bee Colony Optimization Algorithm to Job Shop Scheduling, Proceedings of the 37th Winter Simulation , Monterey, California, 1954 - 1961,2006.
[8] Clow B, and White T, An evolutionary race: A comparison of genetic algorithms and particle swarm optimization for training neural networks. In Proceedings of the International Conference on Artificial Intelligence, IC - AI ’04 , Volume 2, pages 582 – 588. CSREA Press, 2004.
[9] Dahiya SS, Chhabra JK and Kumar S, Application of Particle Swarm Op timization Algorithm to Symbolic Software Testing, IISN 2010 , To be held in ISTK, Kalawad on 24 - 27 February 2010. (Communicated for publication)
[10] Demillo R. A., and Offutt A. J., Constraint - based automatic test data generation, IEEE transaction on Software engineering . Vol.17, No.9, September, 1991 pp. 900 - 910
[11] DeMillo, R.A., Lipton R.J., and Sayward F.G., "Hints on Test Data Selection: Help for the Practicing Programmer," IEEE Computer , Vol. II, No. 4, pp. 34 - 41, 1978.
[12] Díaz E, Javier T, Raquel B, José JD. A tabu search algorithm for structural software testing. Computers and Operations Research (2007), doi:10.1016/j.cor.2007.01.009
[13] Duran JW, Ntafos AS Report On Random Testing, international Conference on Software engineering Proceedings of the 5th interna tional conference on Software engineering 1981, San Diego, California, United States March 09 - 12, 1981
[14] Edvardsson J. A survey on automatic test data generation In Proceedings of the second conference on computer science and engineering , Linkoping: ESC EL; October 1999; 21 – 28.
[15] Frankl PG, Weyuker EJ. An Applicable Family of Data Flow Testing Criteria. IEEE Transaction On Software Engineering. 1988; 14(10):1483 - 1498.
[16] Gilb T, Graham D. Software Inspection . Addison - Wesley 1993
[17] Goldberg DE. Genetic algorithms in search, optimization, and machine learning . Addison - Wesley, 1989.
[18] Harman M and Jones BF, Search - based Software Engineering, Information & Software Technology , 43(14) 2001, pp. 833 - 839
[19] Huaizhong LI, LAM Peng C. An Ant Colony Optimization Approach to Te st Sequence Generation for State based Software Testing, Proceedings of the Fifth International IEEE Conference on Quality Software (QSIC’05) 2005.
[20] Jones K. O. Comparison of genetic algorithm and particle swarm optimization. In Proceedings of the Internat ional Conference on Computer Systems and Technologies , 2005.
[21] Jorgenson P. Software Testing: A Craftman`s Approach , 2nd edition CRC Press, Inc. Boca Raton, FL, USA, 2001.
[22] Korel B. Automated software test data generation. IEEE transaction on software enginee ring , 1990; 16(8):870 - 879.
[23] Laitenberger, O. and DeBaud, J. An encompassing life cycle - centric survey of software inspection. J. Syst. Soft. 50 (2000), 5 – 31.
[24] Lin JC,Yeh PL. Automatic test data generation for path testing using GAs. Information Sciences 2001 ; 131:47 – 64.
[25] Mansour N, Salame M. Data generation for path testing. Software Quality Journal 2004; 12:121 – 136.
[26] Mantere T and Alander JT, Evolutionary Software Engineering, A Review, Applied Soft Computing, 5(3) 2005, pp. 315 - 331
[27] Mayer J, Schneckenburger C, An Empirical Analysis and Comparison of Random Testing Techniques, ISESE’06, September 21 – 22, 2006, Rio de Janeiro, Brazil pp. 105 - 114.
[28] McMinn P. Search - based Software Test Data Generation: A Survey. Software Testing, Verification and Reliability June 200 4; 14(2):105 - 156.
[29] Michael C, McGraw G, Schatz M. Generating software test data by evolution. IEEE Transactions on Software Engineering 2001; 27(12):1085 – 1110.
[30] Miller W, Spooner D. Automatic generation of floating - point test data. IEEE Transactions on Soft ware Engineering 1976; 2(3):223 - 226.
[31] Mitchell BS and Mancoridis S, On the Automatic Modularization of Software Systems using the Bunch Tool, IEEE Transactions on Software Engineering, 32(3), 2006, pp. 193 - 208
[32] Myers GJ. The art of software testing . New York : Wiley; 1979
[33] Nakrani S., Tovey C, On Honey Bees and Dynamic Allocation in an Internet Server Colony, Proceedings of 2nd International Workshop on the Mathematics and Algorithms of Social Insects , Atlanta, Georgia, USA, 2003.
[34] Pargas RP, Harrold MJ, Peck R. Test - data generation using genetic algorithms. Journal of Software Testing, Verification and Reliability 1999; 9(4):263 – 82.
[35] Pedrycz W, Computational Intelligence as an Emerging Paradigm of Software Engineering, Proceedings of the 14th International ACM Co nference on Software Engineering and Knowledge Engineering (SEKE `02), 2002, pp. 7 - 14
[36] Pham D.T., Otri S., Afify A., Mahmuddin M., and Al - Jabbouli H. Data clustering using the Bees Algorithm, in 40th CIRP International Seminar on ManufacturingSystems. 2007: Liverpool.
[37] Pham D.T., Otri S., Ghanbarzadeh A., Kog E., Application of the Bees Algorithm to the Training of Learning Vector Quantisation Networks for Control Chart Pattern Recognition, ICTTA`06 Information and Communication Technologies , 1624 - 1629, 2006b .
[38] Porter A, Sey A, Votta L. A review of software inspections. Technical Report: CS - TR - 3552 , University of Maryland at College Park College Park, MD, USA, 1995
[39] Roper M. Computer aided software testing using genetic algorithms. In 10th International Sof tware Quality Week , San Francisco, USA, 1997.
[40] Schmickl T., Thenius R., Crailsheim K., Simulating Swarm Intelligence in Honey Bees: Foraging in Differently Fluctuating Environments, GECCO`05 , Washington, DC, USA, 273 - 274,2005
[41] Seeley T.D., The Wisdom of the Hive , Harvard University Press, Cambridge, MA, 1995.
[42] Shukla KK, Neuro - Genetic Prediction of Software Development Effort, Information and Software Technology, 42(10) 2000, pp. 701 - 713
[43] Thayer, R.A., M. Lipow, and E.C. Nelson , Software Reliability , North - Hol land, Amsterdam, 1978.
[44] Tracey N, Clark J, Mander K, and McDermid J. An automated framework for structural test - data generation. In Proceedings of the International Conference on Automated Software Engineering , 1998; 285 - 288.
[45] Tracey N. A Search - Based Autom ated Test - Data Generation Framework for Safety Critical Software. PhD thesis , University of York, 2000.
[46] Watkins A, Hufnagel E. M. Evolutionary test data generation: a comparison of fitness functions. Software Practice & Experience 2006; 36 :95 – 116
[47] Watkins A L. The automatic generation of test data using genetic algorithms. In The fourth software quality conference 1995; 2:300 – 309.
[48] Wegener J, Baresel A, Sthamer H., “Evolutionary test environment for automatic structural testing”. Information and Software Techn ology 43, 841 – 54, 2001;
[49] Wen F and Lin C, Multistage Human Resource Allocation for Software Development by Multi - objective Genetic Algorithm, The Open Applied Mathematics Journal, 2, 2008, pp. 95 - 103
[50] Windisch A, Wappler S and Wegener J, Applying Particle Sw arm Optimization to Software Testing , Proceedings of the 2007 conference on Genetic and evolutionary computation GECCO’07 , July 7 – 11, 2007, London, England, United Kingdom.
[51] Xanthakis S, Ellis C, Skourlas C, Gall AL, Katsikas S, Karapoulios K. Application o f genetic algorithms to software testing. In The fifth international conference on software engineering 1992; 625 – 36.
[52] Yuan Z. A Search - Based Framework for Automatic Test - Set Generation for MATLAB/Simulink Models. PhD Thesis , University of York Department o f Computer Science, December 2005.
[53] Surender Singh and Parveen Kumar “Empirical Evaluation of Metaheuristic Approaches for Symbolic Execution based Automated Test Generation" International Journal of Information Technology and Knowledge Management (ISSN: 0 973 - 4414) July - December 2012, Volume 5, No. 2, pp. 489 - 493 (Impact Factor 0.47)
[54] Surender Singh Dahiya , Jitender kumar Chhabra and Shakti Kumar “ Application of Artificial Bee Colony Algorithm to Software Testing ”, In the proceeding of 21st Australian Softwa re Engineering Conference , Auckland, New Zealand April 2010.
[55] Surender Singh and Parveen Kumar “Application of Big Bang Big Crunch Algorithm to Software Testing" International Journal of Computer Science and Communication Vol. 3, No. 1, January - June 2012, pp. 259 - 262 (Impact Factor 0.48)
[56] Praveen Ranjan Srivastava et. al., “Generation of test data using Meta heuristic approach” IEEE, 2008, pp.19 - 21.
[57] Praveen Ranjan Srivastava and Tai - hoon Kim, “Application of genetic algorithm in software testing” Internatio nal Journal of software Engineering and its Applications, 3(4), 2009, pp.87 – 96.
[58] Jose Carlos et. al., “A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object oriented software”, AST’ 08. ACM, 2008

Evolutionary Techniques, Symbolic testing