Test Data Generation for Derived Types in C Program


Test data generation is one of the important tasks during software testing. This paper proposes an approach to generating test cases automatically for the unit test of C programs with derived types including pointers, structures and arrays. Our approach combines symbolic execution and concrete execution. The approach captures operations on variables precisely by concrete execution, and thus it is capable of handling derived types. Benefited from symbolic execution, accessing variables as array index can be solved by a substitution strategy. The substitution strategy also translates a path constraint involving variables of derived type to the one containing only primitive variables. An implementation of this approach is integrated into our test case generation tool called CAUT 1. Experimental results show that our approach is effective to generate test data for derived types.

DOI: 10.1109/TASE.2009.10

Extracted Key Phrases

9 Figures and Tables

Cite this paper

@article{Wang2009TestDG, title={Test Data Generation for Derived Types in C Program}, author={Zheng Wang and Xiao Yu and Tao Sun and Geguang Pu and Zuohua Ding and Jueliang Hu}, journal={2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering}, year={2009}, pages={155-162} }