| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·软件测试技术发展现状 | 第9-11页 |
| ·软件测试面临的问题及课题的提出 | 第11页 |
| ·论文的组织结构和主要研究内容 | 第11-13页 |
| 第二章 测试用例设计技术与工程方法概述 | 第13-25页 |
| ·黑盒测试技术 | 第13-17页 |
| ·黑盒测试用例设计技术概述 | 第13页 |
| ·等价划分法 | 第13-15页 |
| ·边界值分析法 | 第15-16页 |
| ·因果图法 | 第16-17页 |
| ·白盒测试技术 | 第17-20页 |
| ·白盒测试用例设计技术概述 | 第17-19页 |
| ·六种主要的覆盖方法 | 第19-20页 |
| ·常用测试设计工程方法简介 | 第20-25页 |
| ·Pairwise 工程方法简介 | 第20-23页 |
| ·MBT 工程方法简介 | 第23-25页 |
| 第三章 基于模型驱动的测试用例自动生成架构 | 第25-33页 |
| ·用例自动生成架构 | 第25-26页 |
| ·模型自动转换技术 | 第26-29页 |
| ·测试逻辑自动生成技术 | 第29-30页 |
| ·测试数据自动生成技术 | 第30-33页 |
| 第四章 测试用例自动生成技术详解 | 第33-43页 |
| ·因子相关度计算模型简介 | 第33-34页 |
| ·基于因子相关度的最优用例自动生成方法 | 第34-43页 |
| ·相关定义及最优性质 | 第34-35页 |
| ·相邻因子全覆盖生成算法 | 第35-38页 |
| ·基于因子相关度的最优用例集生成算法 | 第38-40页 |
| ·FRBT 算法与其它 Pairwise 算法比较 | 第40-43页 |
| 第五章 MTG 软件的设计与实现 | 第43-57页 |
| ·系统设计目标 | 第43页 |
| ·MTG 的总体功能 | 第43-44页 |
| ·MTG 的实现 | 第44-49页 |
| ·UML 模型编辑器的实现 | 第44-45页 |
| ·图元工具箱的实现 | 第45-47页 |
| ·数据自动生成的实现 | 第47-48页 |
| ·用例自动生成浮动工具条的实现 | 第48-49页 |
| ·MTG 使用示例 | 第49-54页 |
| ·新建 MBT 工程 | 第49-50页 |
| ·创建部署图 | 第50页 |
| ·创建类图 | 第50-51页 |
| ·创建测试模型 | 第51-52页 |
| ·自动生成测试用例 | 第52-54页 |
| ·实验数据分析 | 第54-57页 |
| 总结和展望 | 第57-59页 |
| 参考文献 | 第59-61页 |
| 附件 攻读硕士学位期间发表的论文 | 第61-63页 |
| 致谢 | 第63-64页 |