|
面向软件完整路径的测试用例生成技术研究 | |
论文目录 | |
| 摘要 | 第1-7页 |
| abstract | 第7-12页 |
| 第一章 绪论 | 第12-16页 |
| 1.1 研究背景 | 第12-13页 |
| 1.2 研究目的和意义 | 第13页 |
| 1.3 研究内容 | 第13-15页 |
| 1.4 论文组织结构 | 第15-16页 |
| 第二章 背景知识和相关技术 | 第16-24页 |
| 2.1 功能测试系统 | 第16-17页 |
| 2.2 符号执行技术 | 第17-18页 |
| 2.3 测试用例自动生成技术 | 第18-19页 |
| 2.4 约束化简技术 | 第19页 |
| 2.5 SAT和SMT求解技术 | 第19-24页 |
| 第三章 约束化简 | 第24-36页 |
| 3.1 相关技术 | 第24-25页 |
| 3.1.1 抽象语法树 | 第24-25页 |
| 3.1.2 路径选择 | 第25页 |
| 3.2 问题描述 | 第25-26页 |
| 3.3 相关定义和概念 | 第26-29页 |
| 3.3.1 基本概念和定义 | 第26-27页 |
| 3.3.2 冗余约束判定准则和证明 | 第27-29页 |
| 3.4 算法和处理流程 | 第29-31页 |
| 3.4.1 约束树构建算法 | 第29-30页 |
| 3.4.2 约束化简算法和处理流程 | 第30-31页 |
| 3.5 实验 | 第31-34页 |
| 3.5.1 实验配置 | 第32页 |
| 3.5.2 约束规模对比实验及分析 | 第32页 |
| 3.5.3 约束求解时间对比实验及分析 | 第32-33页 |
| 3.5.4 测试用例生成时间对比实验及分析 | 第33-34页 |
| 3.6 本章总结 | 第34-36页 |
| 第四章 约束分段和约束段排序 | 第36-46页 |
| 4.1 问题描述 | 第36-37页 |
| 4.2 相关定义和概念 | 第37-39页 |
| 4.3 约束分段技术处理流程 | 第39-41页 |
| 4.4 约束段排序技术处理流程 | 第41-43页 |
| 4.5 实验 | 第43-45页 |
| 4.5.1 实验配置 | 第43-44页 |
| 4.5.2 实验结果和分析 | 第44-45页 |
| 4.6 本章总结 | 第45-46页 |
| 第五章 测试用例自动生成框架的设计与实现 | 第46-60页 |
| 5.1 测试用例自动生成框架总体结构 | 第46-47页 |
| 5.2 核心数据结构和接口 | 第47-52页 |
| 5.2.1 ExpressionNode结构和接口 | 第47-49页 |
| 5.2.2 Exprssion结构和接口 | 第49-52页 |
| 5.3 约束化简模块设计 | 第52-54页 |
| 5.3.1 约束化简模块处理流程 | 第52-53页 |
| 5.3.2 约束化简模块数据结构和接口 | 第53-54页 |
| 5.4 DPLL求解模块设计 | 第54-55页 |
| 5.4.1 DPLL求解模块处理流程 | 第54页 |
| 5.4.2 DPLL求解模块的数据结构和接口 | 第54-55页 |
| 5.5 理论求解器模块设计 | 第55-57页 |
| 5.5.1 理论求解模块处理流程 | 第55-56页 |
| 5.5.2 理论求解模块数据结构和接口 | 第56-57页 |
| 5.6 本章总结 | 第57-60页 |
| 第六章 总结与展望 | 第60-62页 |
| 6.1 工作总结 | 第60-61页 |
| 6.2 下一步工作 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 致谢 | 第66-68页 |
| 攻读硕士期间发表的学术论文目录 | 第68页 |
本篇论文共68页，点击
这进入下载页面 |
|
| Copyright(C) All Rights Reserved |
| 客服QQ：304386486 |
| 目录由用户 llf1211** 提供，作者删除入口请点击这里 |