Test Data Generation for Derived Types in C Program
Test data generation is one of the important tasks dur ing 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. Experimental results show that our approach is effective to generate test data for derived types.
Zheng Wang Xiao Yu Tao Sun Geguang Pu Zuohua Ding JueLiang Hu
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal Center of Math Computing and Software Engineering, Institute of Science,Zhejiang Sci-Tech University Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal
国际会议
天津
英文
155-162
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）