| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第一章 引言 | 第8-14页 |
| ·研究背景和选题意义 | 第8-10页 |
| ·研究背景 | 第8-10页 |
| ·选题意义 | 第10页 |
| ·国内外研究现状 | 第10-13页 |
| ·构件测试数据生成方面的研究 | 第11-12页 |
| ·测试数据复用方面的研究 | 第12页 |
| ·存在的问题 | 第12-13页 |
| ·本文工作及章节安排 | 第13页 |
| ·本章小结 | 第13-14页 |
| 第二章 系统分析与设计 | 第14-22页 |
| ·相关技术 | 第14-16页 |
| ·构件的易测试性 | 第14-16页 |
| ·基于合约的构件测试数据生成 | 第16页 |
| ·系统分析 | 第16-18页 |
| ·功能需求 | 第16-18页 |
| ·系统设计 | 第18-21页 |
| ·体系结构设计 | 第18-19页 |
| ·类图设计 | 第19-20页 |
| ·数据层设计 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 基于合约的构件测试数据生成方法 | 第22-31页 |
| ·获取构件接口信息及合约信息 | 第22-24页 |
| ·获取构件接口信息 | 第22-23页 |
| ·获取构件合约信息 | 第23-24页 |
| ·基于简单合约/复杂合约的测试数据生成 | 第24-29页 |
| ·基于简单合约的测试数据生成 | 第24-26页 |
| ·基于复杂合约的测试数据生成 | 第26-29页 |
| ·基于前置条件/前置条件、后置条件、不变式的测试数据生成 | 第29-30页 |
| ·基于前置条件的测试数据生成 | 第29页 |
| ·基于前置条件、后置条件、不变式的测试数据生成. | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第四章 基于合约的构件测试数据复用方法 | 第31-39页 |
| ·基于前置条件的测试数据复用 | 第31-36页 |
| ·生成测试数据 | 第31-34页 |
| ·添加及删除测试数据 | 第34-35页 |
| ·减少测试数据量 | 第35-36页 |
| ·不同合约情况下复用方法的使用 | 第36-38页 |
| ·合约说明的参数不同 | 第36-37页 |
| ·初始合约与新合约的不同 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第五章 系统实现与实验 | 第39-51页 |
| ·系统实现 | 第39-43页 |
| ·界面及相关功能 | 第39-41页 |
| ·执行测试及分析测试结果 | 第41-43页 |
| ·实验及结果分析 | 第43-50页 |
| ·基于简单合约与复杂合约生成测试数据 | 第43-44页 |
| ·基于不同类型合约生成测试数据 | 第44-46页 |
| ·基于前置条件的构件测试数据复用 | 第46-50页 |
| ·本章小结 | 第50-51页 |
| 第六章 总结与展望 | 第51-53页 |
| ·本文主要工作总结 | 第51页 |
| ·下一阶段工作展望 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 致谢 | 第53-54页 |
| 参考文献 | 第54-57页 |
| 附录A 硕士期间发表论文及参与课题 | 第57页 |