摘要：随着软件技术的飞速发展,软件的质量一直是软件行业关注的主题。软件测试作为保证软件质量的重要手段,在软件开发过程中发挥着至关重要的作用。软件测试在软件开发过程中占据着整个软件项目超过一半的开销,近年来由于测试的复杂性和重要性,软件测试技术逐渐成为软件领域研究的热点,如何提高软件测试的效率和性能对软件的质量和软件的开发过程具有重要的意义。本文首先介绍了软件测试的一些基本方法和自动化单元测试的重要性,并重点描述了运用符号执行技术进行参数单元测试的实现过程。符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用。符号执行发展过程中针对其存在的弊端出现了动态符号执行技术,动态符号执行在对被测单元进行测试时使程序的具体执行和符号执行过程同时进行,通过与约束求解器进行结合将参数化单元测试实例化并自动生成测试用例。本文中选择了运用动态符号执行技术实现的参数化单元测试软件Pex进行实验更好的验证了动态符号执行技术在自动化单元测试中的优势。运用符号执行进行参数化单元测试在理论上能够达到百分之百的覆盖率,但实际的测试中由于程序复杂的逻辑结构,在测试过程中很难达到对源代码的完全覆盖。针对这个问题,本文描述了遗传算法在软件测试领域中的应用并详细介绍了与模拟退火算法相结合的遗传算法,并以一个典型的例子来验证遗传算法的性能。