| 中文摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 图表索引 | 第6-9页 |
| 第一章 绪论 | 第9-13页 |
| ·课题背景与意义 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·论文主要研究内容 | 第11-12页 |
| ·论文组织安排 | 第12-13页 |
| 第二章 基于模型的软件测试方法 | 第13-26页 |
| ·软件测试概论 | 第13-19页 |
| ·基于模型的测试方法 | 第19-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于IRCFG 覆盖的UML 顺序图测试方法 | 第26-37页 |
| ·UML 概述 | 第27-28页 |
| ·基于UML 的测试 | 第28-31页 |
| ·UML 覆盖标准 | 第31-32页 |
| ·IRCFG 定义和构造 | 第32-34页 |
| ·IRCFG 定义 | 第33页 |
| ·IRCFG 构造 | 第33-34页 |
| ·测试覆盖标准 | 第34-35页 |
| ·本章小结 | 第35-37页 |
| 第四章 基于UML 动态视图的测试模型及应用 | 第37-60页 |
| ·基于UML 动态视图的测试模型 | 第38-39页 |
| ·基于UML 动态视图测试模型的测试过程 | 第39-59页 |
| ·构造UML 状态图的TFG | 第39-42页 |
| ·生成测试序列 | 第42-45页 |
| ·根据测试序列构造 SEQ | 第45-49页 |
| ·构造 SEQ 的 IRCFG | 第49-55页 |
| ·对 IRCFG 进行覆盖 | 第55-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 相关工作比较 | 第60-62页 |
| 第六章 总结与展望 | 第62-64页 |
| 参考文献 | 第64-68页 |
| 攻读硕士学位期间参加的科研项目和发表(录用)的论文 | 第68-69页 |
| 致谢 | 第69页 |