Data dependence based testability transformation in automated test generation

作者: B. Korel , M. Harman , S. Chung , P. Apirukvorapinit , R. Gupta

DOI: 10.1109/ISSRE.2005.16

关键词:

摘要: Source-code based test data generation is a process of finding program input on which selected element, e.g., target statement, executed. There exist many methods that automatically find solution to the problem. The existing work well for programs. However, they may fail or are inefficient programs with complex logic and intricate relationships between elements. In this paper we present testability transformation transforms so chances increased when using only original program. our approach dependence analysis used identify statements in affect computation fitness function associated statement. transformed contains these statements, it explore different ways be computed. These explorations inexpensive as compared As result, executions lead evaluation value identified. identified then guide search an statement paper, evaluated case study demonstrates potential improve efficacy

参考文章(19)
André Baresel, Harmen Sthamer, Evolutionary testing of flag conditions genetic and evolutionary computation conference. pp. 2442- 2454 ,(2003) , 10.1007/3-540-45110-2_148
Phil McMinn, Mike Holcombe, The state problem for evolutionary testing genetic and evolutionary computation conference. pp. 2488- 2498 ,(2003) , 10.1007/3-540-45110-2_152
B.F. Jones, H.-H. Sthamer, D.E. Eyres, Automatic structural testing using genetic algorithms Software Engineering Journal. ,vol. 11, pp. 299- 306 ,(1996) , 10.1049/SEJ.1996.0040
W.E. Howden, Symbolic Testing and the DISSECT Symbolic Evaluation System IEEE Transactions on Software Engineering. ,vol. SE-3, pp. 266- 278 ,(1977) , 10.1109/TSE.1977.231144
D. L. Bird, C. U. Munoz, Automatic generation of random self-checking test cases Ibm Systems Journal. ,vol. 22, pp. 229- 245 ,(1983) , 10.1147/SJ.223.0229
Roy P. Pargas, Mary Jean Harrold, Robert R. Peck, Test-data generation using genetic algorithms Software Testing, Verification and Reliability. ,vol. 9, pp. 263- 282 ,(1999) , 10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y
C.V. Ramamoorthy, S.-B.F. Ho, W.T. Chen, On the Automated Generation of Program Test Data IEEE Transactions on Software Engineering. ,vol. SE-2, pp. 293- 300 ,(1976) , 10.1109/TSE.1976.233835
Joachim Wegener, Andre Baresel, Harmen Sthamer, Evolutionary test environment for automatic structural testing Information & Software Technology. ,vol. 43, pp. 841- 854 ,(2001) , 10.1016/S0950-5849(01)00190-2
Roger Ferguson, Bogdan Korel, The chaining approach for software test data generation ACM Transactions on Software Engineering and Methodology. ,vol. 5, pp. 63- 86 ,(1996) , 10.1145/226155.226158
Robert S. Boyer, Bernard Elspas, Karl N. Levitt, SELECT—a formal system for testing and debugging programs by symbolic execution ACM SIGPLAN Notices. ,vol. 10, pp. 234- 245 ,(1975) , 10.1145/390016.808445