loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Quality Software (QSIC'06)
A Test Data Generation Tool for Unit Testing of C Programs
Beijing, China
October 27-October 28
ISBN: 0-7695-2718-3
ASCII Text
x 
 
Zhongxing Xu, Jian Zhang, "A Test Data Generation Tool for Unit Testing of C Programs," Quality Software, International Conference on, pp. 107-116, Sixth International Conference on Quality Software (QSIC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2006.7,
author = {Zhongxing Xu and Jian Zhang},
title = {A Test Data Generation Tool for Unit Testing of C Programs},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2006},
issn = {1550-6002},
pages = {107-116},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.7},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - A Test Data Generation Tool for Unit Testing of C Programs
SN - 1550-6002
SP107
EP116
A1 - Zhongxing Xu,
A1 - Jian Zhang,
PY - 2006
KW - Test data generation
KW - symbolic execution
KW - pointer operation
KW - unit testing.
VL - 0
JA - Quality Software, International Conference on
ER -
 
Zhongxing Xu, Chinese Academy of Sciences, China; Graduate University Chinese Academy of Sciences, China
Jian Zhang, Chinese Academy of Sciences, China
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.
Index Terms:
Test data generation, symbolic execution, pointer operation, unit testing.
Citation:
Zhongxing Xu, Jian Zhang, "A Test Data Generation Tool for Unit Testing of C Programs," qsic, pp.107-116, Sixth International Conference on Quality Software (QSIC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.