符号执行结合随机方法.pptVIP

文献综述结果 总结 讨论 致谢 5.2符号执行方法 未超过 超过 输入 要求解的约束 执行代码时收集到的约束 选择分支 约束求解器 随机选择 动态符号执行通过检测程序具体的执行轨迹来获取额外的信息，用该信息指导符号执行。 动态符号执行 文献综述结果 总结 讨论 致谢 5.2符号执行方法 模型检测工具 在探索符号执行树时，常利用模型检测工具 目前已有一 些发方法实现了将模型检测工具，并基于符号执行方法来分析程序，从而生成测试用例。 Java Path Finder是一个常用来探测符号执行树的模型检测工具。 文献综述结果 总结 讨论 致谢 5.2符号执行方法 符号执行结合随机方法 谢涛等人提出的MseqGen方法使用了符号执行结合随机方法生成测试用例。 使用符号执行方法转化从代码库中提取的方法序列，即泛化序列，最后将这些单个的序列随机组合在一起，新的方法调用序列易于构造理想的状态对象。 文献综述结果 总结 讨论 致谢 5.3搜索寻优方法 3 遗传算法 强类型的遗传规划 分布估计算法 搜索寻优是一种动态方法? 从输入域中先选取一些数据，运行程序，分析程序的运行结果，结合进化算法来产生新的测试输入。 如何找到能够覆盖代码某一分支的测试输入涉及可达性问题，因此测试界关注如何在合理的时间内找到一组覆盖路径的最优的测试输入 背景 搜索寻优 方法 ? 基本思想 近年来，学者使用搜索寻优方法用于测试用例生成主要采用的几种进化算法如下： 主要方法 文献综述结果 总结 讨论 致谢 5.3搜索寻优方法 进化 算法 框架 文献综述结果 总结 讨论 致谢 5.3搜索寻优方法 结合JML、JUnit、遗传算法的自动单元测试框架 有学者认为：一个完整的测试用例需要包括测试数据和测试谕示，所以提出了利用JML详细设计，基于遗传算法生成完整的测试用例，该用例能直接用于JUnit平台。 目前有学者提出这两种方法结合生成测试用例，其思想是利用符号执行信息指导搜索寻优产生测试用例方法中适应度函数的构造，以指导进化过程。 文献综述结果 总结 讨论 致谢 5.3搜索寻优方法 搜索寻优方法 结合符号执行 谢涛等人提出的EVACON方法框架如下图: 文献综述结果 总结 讨论 致谢 5.4 测试用例生成工具 随机方法 符号执行方法 进化寻优方法 开销较小 简单易行的结构限制， 迅速生成大量的测试数据 快速发现程序的缺陷 无需代码分析 测试用例质量不高 使用符号执行方法生成针对大型现实软件的测试用例还需要解决以下几个基本问题： 1.路径爆炸 2.路径分歧 3.复杂的约束条件 主要有以下几个方面需要解决： 1.参数的选择 2.播种策略（Seeding Strategy） 3.长度膨胀 6.讨论 文献综述结果 讨论 总结 致谢 研究趋势： 关注方法的有机结合：随机符号执行，符号执行进化寻优 7.总结 文献综述结果 讨论 总结 致谢 文献计量分析。 总结了该领域内主流的几类生成方法：随机方法、符号执行方法、进化搜索寻优方法。 对比分析了这些方法各自的优劣，需要解决的问题。 整理了测试用例自动生成工具。 给出了研究热点和未来发展趋势。 答辩人 谢谢观看 洪玫 屈媛媛 指导老师 建议饼图重制 感觉有些别扭 建议调整下文字边框 洒家实在搞不定了 院系：软件学院 答辩人：屈媛媛 指导老师：洪 玫 专业：软件工程 毕业答辩 面向对象软件的单元测试用例生成方法 目录 Contents 研究背景及意义 1 论文主要工作 2 研究方法 3 计量分析结果 4 5 文献综述结果 6 讨论 7 总结 1.1研究背景 研究背景及意义 论文主要工作 研究方法 计量分析结果 软件测试是保证软件质量的有效手段，单元测试是测试过程的基础。 测试用例的生成方法给自动化单元测试提供了可能。 由于面向对象软件的封装、继承、多态性，其单元测试是针对类和类中方法的测试。 针对传统软件的单元测试用例生成方法可能不完全使用于面向对象软件。 1.2研究意义 研究背景及意义 论文主要工作 研究方法 计量分析结果 论文主要关注针对面向对象测试用例生成方法，通过整理分析历年来专家学者对该方面的研究，回答了以下两个问题： （1）面向对象软件的测试用例生成有哪些方法？对比分析了这些方法各自的优缺点。 （2）有哪些自动生成针对面向对象软件的单元测试的工具？ 2论文主要工作 研究背景及意义 论文主要工作 研究方法 计量分析结果 确定研究课题 了解课题背景 知识基础 学习文献综述 方法 按研究问题将 文献分类 研究热点和趋 势归纳 学习文献计量方 法和相关工具 检索文献 筛选、整理文 献 文献计量统 计分析 初步阅读 分类归纳 抽象（测试用例 生成）方法 整理（测试用 例生成）工