Identification of potentially infeasible program paths by monitoring the search for test data

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 209-218

  Bueno, P M S ^a   Jino, M ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

dynamic technique; genetic algorithms; path unfeasibility; test data generation

Indexed keywords

DATA COMMUNICATION SYSTEMS; GENETIC ALGORITHMS; SOFTWARE ENGINEERING;

DATA FLOW; DYNAMIC TECHNIQUES; FITNESS FUNCTIONS; PATH UNFEASIBILITY; TEST DATA; TEST DATA GENERATION;

SOFTWARE TESTING;

EID: 84960884849     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873665     Document Type: Conference Paper

References (27)

1. R. Bodík, R. Gupta, and M. L. Soffa. Refining data flow information using infeasible paths. Software Engineering Notes, Vol. No 22(6):361 377, November 1997.
2. M.L. Chaim. POKE-TOOL - Uma Ferramenta para Suporte ao Teste Estrutural de Programas Baseado em Análise de Fluxo de Dados. Dissertação de Mestrado, DCA/FEEC/Unicamp, Campinas - SP, Brazil, April 1991. (in Portuguese).
3. L. Clarke. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering, Vol. SE-2(3):215-222, September 1976.
4. R. Ferguson and B. Korel. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1):63-86, January 1996.
5. I. Forgács and A. Bertolino. Feasible test path selection by principal slicing. Software Engineering Notes, Vol. No 22(6):378-394, November 1997.
6. F.G. Frankl. The use of Data Flow Information for the Selection and Evaluation of Software Test Data. PhD Thesis, Department of Computer Science, New York University, New York, U.S.A., October 1987.
7. F.G. Frankl and E.J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, Vol. SE-14(10):1483-1498, October 1988.
8. M. J. Gallagher and V. L. Narasimhan. Adtest: A test data generation suite for ada software systems. IEEE Transactions on Software Engineering, Vol. 23(8):473-484, August 1997.
9. A.T.C. Goldberg, T.C. Wang, and D. Zimmerman. Applications of feasible path analysis to program testing. In International Symposium on Software Testing and Analysis, pages 80-94. ACM, Washington - USA, October 1994.
10. D. E. Goldberg. Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley Publishing Company, Inc, University of Alabama, 1989.
11. N. Gupta, A. P. Mathur, and M. L. Soffa. Automated test data generation using an iterative relaxation method. Foundations of Software Engineering, Vol. No 11:231-244, November 1998.
12. N. Gupta, A. P. Mathur, and M. L. Soffa. Una based iterative test data generation and its evaluation. Proceedings of the IEEE Automated Software Engineering Conference, October 1999.
13. D. Hedley and M.A. Hennell. The causes and effects of infeasible paths in computer programs. In Proceedings of 8th. ICSE, pages 259-266. UK, 1985.
14. W.E. Howden. Symbolic testing and dissect symbolic evaluation system. IEEE Transactions on Software Engineering, Vol. SE-3(4):266-278, July 1977.
15. B. F. Jones, H. H. Sthamer, and D. E. Eyres. Automatic structural testing using genetic algorithms. Software Engineering Journal, pages 299-306, September 1996.
16. B. Korel. Automated software test data generation. IEEE Transactions on Software Engineering, Vol. SE-16(8):870-879, August 1990.
17. J.C. Maldonado, M.L. Chaim, and M. Jino. Bridging the gap in the presence of infeasible paths: Potential uses testing criteria. In Proc. XII International Conference of The Chilean Computer Science Society. Santiago, Chile, October 1992.
18. N. Malevris, D.F. Yates, and A. Veevers. Predictive metric for likely feasibility of program paths. Information and Software Technology, Vol. 32(2):115-118, March 1990.
19. C. C. Michael, G. E. McGraw, M. A. Schatz, and Walton C. C. Genetic Algorithms for Dynamic Test-Data Generation. Technical Report RSTR-003-97-11, RST Corporation, May 1997.
20. R. P. Pargas, Harrold M. J., and R. R. Peck. Testdata generation using genetic algorithms. Journal of Software Testing, Verification and Reliability, 9:263-282, September 1999. to appear.
21. L.M. Peres, S.R. Vergilio, M. Jino, and J.C. Maldonado. Path selection strategies in the context of software testing criteria. In 1st IEEE Latin American Test Workshop, pages 222-227. IEEE, Rio de Janeiro, January 2000.
22. C.V. Ramamoorthy, F. H. Siu-Bun, and W.T. Chen. On automated generation of program test data. IEEE Transactions on Software Engineering, Vol. SE-2(4):293-300, December 1976.
23. M. Roper, I. Maclean, A. Brooks, J. Miller, and M. Wood. Genetic algorithms and the automatic generation of test data. Technical Report RR/95/195 Dep. Computer Science, University of Strathclyde, 1995.
24. M. Srinivas and Patnaik L. M. Genetic algorithms: A survey. IEEE Computer, 27(6):17-26, July 1994.
25. N. Tracey, J. Clark, and K. Mander. Automated program flaw finding using simulated annealing. In Proceedings of the ACM Sigsoft International Symposium on Software Testing and Analysis, pages 73-81. ACM, Florida, USA, March 1998.
26. S.R. Vergilio, J.C. Maldonado, and M. Jino. Infeasible paths within the context of data flow based criteria. In VI International Conference on Software Quality, pages 310-321. Ottawa-Canada, October 1996.
27. Michalewicz Zbigniew. Genetic Algorithms + Data Strutures = Evolution Programs. Springer Verlag, North Carolina - USA, 3rd edition, 1996.