Quality Software, International Conference on (2006)
Oct. 27, 2006 to Oct. 28, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.7
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.
Test data generation, symbolic execution, pointer operation, unit testing.
J. Zhang and Z. Xu, "A Test Data Generation Tool for Unit Testing of C Programs," Proceedings of the 6th International Conference on Quality Software(QSIC), Beijing, 2006, pp. 107-116.