A Test Data Generation Tool for Unit Testing of C Programs

Beijing, China October 27-October 28

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.7

Sixth International Conference on Qua ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Zhongxing Xu Articles by Jian Zhang

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.