| 第一章 绪论 | 第1-11页 |
| ·背景介绍 | 第7-8页 |
| ·研究现状及不足 | 第8-10页 |
| ·本文的主要工作及组织 | 第10-11页 |
| 第二章 顺序图 | 第11-21页 |
| ·概念与表示法 | 第11-14页 |
| ·概述 | 第11-12页 |
| ·对象生命线 | 第12页 |
| ·激活 | 第12-13页 |
| ·消息 | 第13-14页 |
| ·UML2 中顺序图的新特性 | 第14-19页 |
| ·变体方案 | 第14-16页 |
| ·选择项 | 第16-19页 |
| ·与状态图的关系 | 第19页 |
| ·使用OCL 约束表示的UML 顺序图 | 第19-21页 |
| 第三章 顺序图的形式化描述 | 第21-28页 |
| ·顺序图的定义 | 第21-24页 |
| ·顺序图的场景 | 第24-26页 |
| ·顺序图的场景测试树 | 第26-28页 |
| 第四章 基于 UML 顺序图生成场景测试用例的方法 | 第28-38页 |
| ·测试方法概述 | 第28-30页 |
| ·测试衡量标准 | 第30-38页 |
| 第五章 实验原型系统的设计与实现 | 第38-53页 |
| ·系统环境及XMI 介绍 | 第38-39页 |
| ·系统实现方法和总体结构 | 第39页 |
| ·XMI 表示的顺序图 | 第39-45页 |
| ·解释XMI 文件生成测试模块 | 第45-51页 |
| ·场景测试树的表示 | 第45-46页 |
| ·树的节点表示 | 第46-47页 |
| ·建立场景测试树的算法 | 第47-51页 |
| ·由场景树生成测试用例模块 | 第51-53页 |
| 第六章 结论 | 第53-54页 |
| ·本文的工作 | 第53页 |
| ·今后的研究工作 | 第53-54页 |
| 参考文献 | 第54-56页 |
| 摘要 | 第56-58页 |
| ABSTRACT | 第58-60页 |
| 致谢 | 第60-61页 |
| 导师及作者简介 | 第61页 |