Automated software test data generation for complex programs

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 136-146

  Michael, Christoph ^a   McGraw, Gary ^a  

^a Cigital   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; AUTOMATION; COMBINATORIAL OPTIMIZATION; SOFTWARE TESTING;

C/C++ PROGRAMS; COMPLEX PROGRAMS; COMPLEX SOFTWARE SYSTEMS; LANGUAGE CONSTRUCTS; SOFTWARE TEST DATA GENERATIONS; TEST DATA GENERATION; TEST GENERATIONS;

C++ (PROGRAMMING LANGUAGE);

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

References (14)

1. [Chang et al., 1996] Chang, K., Cross, J., Carlisle, W., and Liao, S. (1996). A performance evaluation of heuristics-based test case generation methods for soft-ware branch coverage. International Journal of Software Engineering and Knowledge Engineering, 6(4):585-608.
2. [Chilenski and Miller, 1994] Chilenski, J. and Miller, S. (1994). Applicability of modied condition/decision coverage to software testing. Software Engineering Jour-nal, pages 193-200.
3. [Duran and Natfos, 1984] Duran, J. and Natfos, S. (1984). An evaluation of random testing. IEEE Transactions on Software Engineering, pages 438-444.
4. [Gallagher and Narasimhan, 1997] Gallagher, M. J. and Narasimhan, V. L. (1997). Adtest: A test data gen-eration suite for ada software systems. IEEE TSE, 23(8): 473-484.
5. [Holland, 1975] Holland, J. (1975). Adaption in Natural and Articial Systems. University of Michigan Press, Ann Arbor, MI. Reissued by MIT Press, 1992.
6. [Horgan et al., 1994] Horgan, J., London, S., and Lyu, M. (1994). Achieving software quality with testing coverage measures. IEEE Computer, 27(9):60-69.
7. [Kirkpatrick et al., 1983] Kirkpatrick, S., Gellat, C., and Vecchi, M. (1983). Optimization by simulated anneal-ing. Science, 220(4598):671-680.
8. [Korel, 1990] Korel, B. (1990). Automated software test data generation. IEEE Transactions on Software Engi-neering, 16(8):870-879.
9. [Korel, 1996] Korel, B. (1996). Automated test data gen-eration for programs with procedures. In Proceedings of the 1996 International Symposium on Software Testing and Analysis, pages 209-215. ACM Press.
10. [McGraw et al., 1997] McGraw, G., Michael, C., and Schatz, M. (1997). Generating software test data by evolution. Technical report, Reliable Software Technolo-gies, Sterling, VA. Submitted to IEEE Transactions on Software Engineering.
11. [Michael et al., 1997] Michael, C., McGraw, G., Schatz, M., and Walton, C. (1997). Genetic algorithms for test data generation. In Proceedings of the Twelfth IEEE International Automated Software Engineering Confer-ence (ASE 97), pages 307-108, Tahoe, NV.
12. [Miller and Spooner, 1976] Miller, W. and Spooner, D. L. (1976). Automatic generation of oating point test data. IEEE TSE, SE-2(3):223-226.
13. [Storn, 1996] Storn, R. (1996). On the usage of dierential evolution for function optimization. In Proc. NAFIPS '96, pages 519-523.
14. [Yin et al., 1997] Yin, H., Lebne-Dengel, Z., and Malaiya, Y. (1997). Automatic test generation using checkpoint encoding and antirandom testing. In Proceedings of the 8th International Symposium on Software Reliability Engineering (ISSRE), pages 84-95.