| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 图表目录 | 第6-7页 |
| 第1章 绪论 | 第7-12页 |
| ·课题背景 | 第7-8页 |
| ·国内外研究概况 | 第8-11页 |
| ·论文章节安排 | 第11-12页 |
| 第2章 软件测试相关技术 | 第12-31页 |
| ·UML语言 | 第12-17页 |
| ·测试用例和测试覆盖 | 第17-25页 |
| ·对象约束语言OCL | 第25-30页 |
| ·本章小结 | 第30-31页 |
| 第3章 软件测试模型的构建 | 第31-37页 |
| ·定义CSTM测试模型 | 第31-35页 |
| ·测试流程架构 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第4章 CSTM在AT系统上的实现 | 第37-61页 |
| ·构建CSTM测试模型 | 第37-41页 |
| ·从CSTM模型产生测试路径 | 第41-46页 |
| ·应用覆盖准则 | 第46-60页 |
| ·本章小结 | 第60-61页 |
| 第5章 结果评估 | 第61-66页 |
| ·测试实验 | 第61-64页 |
| ·结果和讨论 | 第64-65页 |
| ·总结和展望 | 第65-66页 |
| 参考文献 | 第66-68页 |
| 致谢 | 第68页 |