随着软件技术的发展和对软件可靠性要求的提高,人们越来越重视软件质量。软件测试作为保证软件质量的一种重要技术,在整个软件开发成本中占有重大比重,提高软件测试效率具有重要意义。在软件测试过程中,如何有效生成测试数据,已经成为软件测试领域面临的一个重要的问题。　　 基于符号执行的测试数据生成技术能针对每个执行路径生成测试数据从而可以达到较高的覆盖率,相比于手工生成测试数据和随机法生成测试数据的方法具有很大的优越性。　　 本文基于动态符号执行设计和实现一个测试数据自动化生成工具,以支持C++语言的自动测试数据生成。主要有三个功能模块:插装器、执行器和解约束器。其中,插装器的作用是向源代码中插入一些可执行代码来记录程序变量和程序执行路径。执行器的作用是推动符号执行过程,运用路径选择算法选择一条新的执行路径,调用解约束器来求解一组新的输入。解约束器的作用是接受执行器的约束集合,并对其求解得到一组可行输入。　　 最后,本文运行一个实例来演示本文所述工具的使用过程。通过与随机法生成测试数据的对比可知,基于动态符号执行生成的测试数据具有较高的覆盖率,且没有冗余,在节省测试时间的同时,大大的提高了测试的效率。