选择分支约束求解器随机选择.PPTVIP

文献综述结果 总结 讨论 致谢 5.2符号执行方法 未超过 超过 输入 要求解的约束 执行代码时收集到的约束 选择分支 约束求解器 随机选择 动态符号执行通过检测程序具体的执行轨迹来获取额外的信息，用该信息指导符号执行。 动态符号执行 文献综述结果 总结 讨论 致谢 5.2符号执行方法 模型检测工具 在探索符号执行树时，常利用模型检测工具 目前已有一 些发方法实现了将模型检测工具，并基于符号执行方法来分析程序，从而生成测试用例。 Java Path Finder是一个常用来探测符号执行树的模型检测工具。 文献综述结果 总结 讨论 致谢 5.2符号执行方法 符号执行结合随机方法 谢涛等人提出的MseqGen方法使用了符号执行结合随机方法生成测试用例。 使用符号执行方法转化从代码库中提取的方法序列，即泛化序列，最后将这些单个的序列随机组合在一起，新的方法调用序列易于构造理想的状态对象。 文献综述结果 总结 讨论 致谢 5.3搜索寻优方法 3 遗传算法 强类型的遗传规划 分布估计算法 搜索寻优是一种动态方法? 从输入域中先选取一些数据，运行程序，分析程序的运行结果，结合进化算法来产生新的测试输入。 如何找到能够覆盖代码某一分支的测试输入涉及可达性问题，因此测试界关注如何在合理的时间内找到一组覆盖路径的最优的测试输入 背景 搜索寻优 方法 ? 基本思想 近年来，学者使用搜索寻