软件测试是确保软件质量的重要方法,基本的技术手段是利用不同的测试案例去执行被测程序,测试案例的选取密切地关系着软件测试的质量和软件的质量。符号执行是一种经典程序分析技术,它将程序中的变量符号化来模拟程序的运行,收集程序路径,使用约束求解器对路径约束条件求解后得到测试案例。现实中,符号执行的应用受到路径爆炸和约束求解等问题的制约,被测程序中的循环结构是重要的影响因素,可能会导致程序路径规模成倍增长,为测试案例的生成增加困难,降低测试案例生成效率。针对软件测试案例生成过程中循环结构造成的路径爆炸问题及约束求解问题进行研究,主要研究内容:(1)对符号执行技术以及相关技术理论进行充分调查和研究。介绍选择性符号执行和启发式路径搜索策略的理论与思想,详细给出策略的概念、原理和执行流程,并使用实例具体演示执行步骤。提出基于控制流图优化循环结构的路径搜索策略。定义三种循环结构和相关算法;结合选择性符号执行思想指导测试案例生成;在路径选择过程中引入启发式搜索策略,对路径进行优先级排序与选择,引导路径的生成。(2)对主流约束求解工具进行充分研究和整理。为提高约束求解时间效率,提出综合约束求解方法。对搜集到的路径约束条件进行格式转换,判断约束类别,详细介绍综合约束求解方法相关原理和执行流程。(3)在实验环节,测试综合约束求解方法的求解时间效率;测试循环结构对基于控制流图优化循环结构的路径搜索策略的影响;与其他搜索策略进行对比试验,在执行时间效率和覆盖率方面得到了验证;对论文提出的基于控制流图的启发式搜索策略进行性能实验,证明方法的可行性。