Title :
A Test Data Generation Tool for Unit Testing of C Programs
Author :
Xu, Zhongxing ; Zhang, Jian
Author_Institution :
Inst. of Software, Chinese Acad. of Sci., Beijing
Abstract :
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the given program. It simulates pointer operations precisely. This makes it capable of generating test data for programs involving pointer and structure operations. Experiments on real-world programs including the GNU coreutils are presented. Some trade-offs of simulation schemes are also discussed
Keywords :
C++ language; flow graphs; program testing; software quality; software tools; C program unit testing; GNU coreutils; SimC tool; pointer operations; program execution simulation; structure operations; symbolic execution; test data generation tool; Automatic testing; Computational modeling; Computer science; Concrete; Flow graphs; Laboratories; Software prototyping; Software quality; Software testing; Software tools; Test data generation; pointer operation; symbolic execution; unit testing.;
Conference_Titel :
Quality Software, 2006. QSIC 2006. Sixth International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2718-3
DOI :
10.1109/QSIC.2006.7