| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·研究背景和意义 | 第9-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·论文研究内容 | 第12-13页 |
| ·论文组织结构 | 第13-14页 |
| 第二章 基于模型的软件测试 | 第14-25页 |
| ·软件测试技术 | 第14-18页 |
| ·软件测试的思想 | 第14-15页 |
| ·软件测试的目的及原则 | 第15-16页 |
| ·软件测试的流程 | 第16-17页 |
| ·软件测试方法及分类 | 第17-18页 |
| ·基于模型的软件测试 | 第18-24页 |
| ·模型的定义 | 第18-19页 |
| ·测试中的常用模型 | 第19-20页 |
| ·基于模型的软件测试基本过程 | 第20-22页 |
| ·基于模型的软件测试的优缺点 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 改进的NUnit单元测试框架 | 第25-36页 |
| ·单元测试 | 第25-26页 |
| ·NUnit单元测试框架 | 第26-30页 |
| ·NUnit测试框架 | 第26-30页 |
| ·NUnit框架存在的不足 | 第30页 |
| ·改进的NUnit—i-NUnit测试框架 | 第30-34页 |
| ·i-Nuint测试框架 | 第30-32页 |
| ·测试数据容器生成算法 | 第32-34页 |
| ·测试代码框架生成算法 | 第34页 |
| ·本章小结 | 第34-36页 |
| 第四章 i-NUnit中测试用例自动生成方法 | 第36-44页 |
| ·方法整体描述 | 第36-38页 |
| ·元模型建模 | 第38-41页 |
| ·SUT元模型建模 | 第39-40页 |
| ·xUnit元模型建模 | 第40-41页 |
| ·SUT模型到xUnit模型的水平转换 | 第41-42页 |
| ·xUnit模型到i-NUnit测试用例的垂直转换 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第五章 i-NUnit中测试用例自动生成实践 | 第44-56页 |
| ·应用i-NUnit中测试用例生成方法的平台 | 第44-47页 |
| ·EMF | 第44-45页 |
| ·Tefkat | 第45页 |
| ·MOFScript | 第45-47页 |
| ·ATM机应用仿真实验 | 第47-55页 |
| ·建立SUT模型 | 第49-50页 |
| ·建立xUnit模型 | 第50-51页 |
| ·测试数据文件 | 第51-52页 |
| ·生成测试用例 | 第52-55页 |
| ·本章小结 | 第55-56页 |
| 第六章 结论与展望 | 第56-58页 |
| ·主要工作及创新点 | 第56页 |
| ·进一步工作思路 | 第56-58页 |
| 参考文献 | 第58-63页 |
| 致谢 | 第63-64页 |
| 攻读学位期间主要的研究成果 | 第64页 |