A test data generation tool for unit testing of C programs

Proceedings - International Conference on Quality Software

Volumn , Issue , 2006, Pages 107-114

  Xu, Zhongxing ^a   Zhang, Jian ^b  

^a UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Pointer operation; Symbolic execution; Test data generation; Unit testing

Indexed keywords

POINTER OPERATION; SYMBOLIC EXECUTION; TEST DATA GENERATION; UNIT TESTING;

CODES (SYMBOLS); COMPUTER SIMULATION; DATA REDUCTION; REAL TIME SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34250704695     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2006.7     Document Type: Conference Paper

References (19)

1. A. Bertolino and M. Marré. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Transactions on Software Engineering, 20(12): 885-899, 1994.
2. R. S. Boyer, B. Elspas, and K. N. Levitt. SELECT - a formal system for testing and debugging programs by symbolic execution. In Proc. of the Int'l Conf. on Reliable Software, pages 234-245, 1975.
3. E. Clarke and D. Kroening. Hardware verification using ANSI-C programs as a reference. In Proceedings of the ASP-DAC 2003, pages 308-311, 2003.
4. R. A. DeMillo and A. J. Offutt. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17(9):900-910, September 1991.
5. G. Denaro et al. A symbolic execution based approach for verifying safety critical software. 2004.
6. R. Ferguson and B. Korel. The chaining approach for software test data generation. ACM Trans. on Software Engineering and Methodology, 5(1):63-86, 1996.
7. M. J. Gallagher and V. L. Narasimhan. ADTEST: A test data generation suite for ada software systems. IEEE Trans. on Software Engineering, 23(8), 1997.
8. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pages 213-223, 2005.
9. A. Gotlieb, B. Botella, and M. Rueher. Automatic test data generation using constraint solving techniques. In Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, pages 53-62, 1998.
10. B. W. Kernighan and D. M. Ritchie. The C Programming Language. Prentice Hall PTR, 1978.
11. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
12. lp_solve. http://groups.yahoo.com/group/lp_solve/.
13. R. P. Pargas, M. J. Harrold, and R. R. Peck. Test-data generation using genetic algorithms. Software Testing, Verification and Reliability, 9:263-282, 1999.
14. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, 2005.
15. H. S. Wang, S. R. Hsu, and J. C. Lin. A generalized optimal path-selection model for structural program testing. Journal of Systems and Software, 10:55-63, 1989.
16. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proc. TACAS 2005, LNCS 3440, pages 365-380.
17. J. Zhang. Symbolic execution of program paths involving pointers and structure variables. In Proceedings of the Fourth International Conference on Quality Software, pages 87-92, 2004.
18. J. Zhang and X. Wang. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering and Knowledge Engineering, 11(2):139-156, 2001.
19. J. Zhang, C. Xu, and X. Wang. Path-oriented test data generation using symbolic execution and constraint solving techniques. In Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004.