基于二部图及合约的测试用例自动生成方法研究与实现
| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-9页 |
| 第一章 引言 | 第9-17页 |
| ·研究背景 | 第9-10页 |
| ·选题意义 | 第10页 |
| ·国内外研究现状 | 第10-13页 |
| ·国外的研究现状 | 第11-12页 |
| ·国内的研究现状 | 第12-13页 |
| ·存在的问题 | 第13页 |
| ·本文主要研究内容 | 第13-14页 |
| ·论文的组织安排 | 第14页 |
| ·本章小结 | 第14-17页 |
| 第二章 基于二部图的测试用例生成 | 第17-29页 |
| ·获取程序中输入域信息与输出域信息 | 第17-18页 |
| ·程序输入与输出的映射 | 第17-18页 |
| ·生成二部图 | 第18-23页 |
| ·二部图定义 | 第18-20页 |
| ·二部图生成算法 | 第20-22页 |
| ·二部图的生成流程 | 第22-23页 |
| ·生成测试用例 | 第23-27页 |
| ·生成笛卡尔积 | 第23-24页 |
| ·输入变量分组 | 第24-25页 |
| ·测试用例生成 | 第25-27页 |
| ·本章小结 | 第27-29页 |
| 第三章 基于合约的测试用例优化 | 第29-37页 |
| ·测试用例优化 | 第29页 |
| ·合约分析 | 第29-32页 |
| ·使用合约筛选测试用例 | 第32-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 系统需求分析与设计 | 第37-45页 |
| ·需求分析 | 第37-38页 |
| ·系统设计 | 第38-44页 |
| ·概要设计 | 第38-40页 |
| ·体系结构设计 | 第39-40页 |
| ·详细设计 | 第40-44页 |
| ·系统活动图 | 第40-42页 |
| ·随机测试用例生成 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 系统实现与实验 | 第45-57页 |
| ·系统实现 | 第45-48页 |
| ·界面及相关功能 | 第45-48页 |
| ·实验及结果分析 | 第48-56页 |
| ·单组实验 | 第49-52页 |
| ·实验一 | 第49页 |
| ·实验二 | 第49-50页 |
| ·实验三 | 第50-51页 |
| ·实验四 | 第51-52页 |
| ·实验结果分析 | 第52-55页 |
| ·多组实验分析 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第六章 总结与展望 | 第57-59页 |
| ·本文主要工作总结 | 第57页 |
| ·下一阶段工作展望 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 致谢 | 第59-61页 |
| 参考文献 | 第61-65页 |
| 附录A 攻读研究生期间发表的论文及科研项目 | 第65页 |
