DocumentCode :
2929280
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
fYear :
2006
fDate :
27-28 Oct. 2006
Firstpage :
107
Lastpage :
116
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.;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quality Software, 2006. QSIC 2006. Sixth International Conference on
Conference_Location :
Beijing
ISSN :
1550-6002
Print_ISBN :
0-7695-2718-3
Type :
conf
DOI :
10.1109/QSIC.2006.7
Filename :
4032275
Link To Document :
بازگشت