| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-6页 |
| 第一章 绪论 | 第6-8页 |
| 1．1 立题背景 | 第6页 |
| 1．2 主要工作及创新点 | 第6-7页 |
| 1．3 论文组织形式 | 第7-8页 |
| 第二章 相关技术及发展 | 第8-16页 |
| 2．1 软件测试 | 第8-12页 |
| 2．1．1 软件测试发展 | 第9页 |
| 2．1．2 软件测试的过程 | 第9-10页 |
| 2．1．3 软件测试方法 | 第10-12页 |
| 2．2 测试覆盖准则 | 第12-13页 |
| 2．3 基于规格说明的软件测试 | 第13-15页 |
| 2．3．1 形式化规格说明方法 | 第13-14页 |
| 2．3．2 基于规格说明的软件测试研究现状 | 第14-15页 |
| 2．4 模型的可测试定义 | 第15-16页 |
| 2．5 小结 | 第16页 |
| 第三章 基于UML状态图的测试用例生成方法 | 第16-61页 |
| 3．1 UML简介 | 第17-22页 |
| 3．1．1 UML的特点 | 第17-18页 |
| 3．1．2 UML中包含的建模要素 | 第18-22页 |
| 3．2 相关概念 | 第22-23页 |
| 3．2．1 测试用例 | 第22页 |
| 3．2．2 测试场景 | 第22-23页 |
| 3．3 基于UML状态图的测试用例生成 | 第23-53页 |
| 3．3．1 状态图分析 | 第23-26页 |
| 3．3．2 状态图的形式化 | 第26-32页 |
| 3．3．2．1 Z语言介绍 | 第26-28页 |
| 3．3．2．2 状态图的形式化方法 | 第28-32页 |
| 3．3．3 复合状态图到简单状态图的转化 | 第32-35页 |
| 3．3．4 FSM模型及其表示方法 | 第35-39页 |
| 3．3．5 EFSM简介 | 第39-40页 |
| 3．3．6 EFSM测试场景的生成 | 第40-49页 |
| 3．3．6．1 EFSM模型的不确定性分析 | 第40-42页 |
| 3．3．6．2 EFSM测试场景的生成 | 第42-49页 |
| 3．3．7 测试数据的生成与组合 | 第49-53页 |
| 3．4 测试用例集的优化 | 第53-60页 |
| 3．4．1 测试数据集的划分 | 第54-59页 |
| 3．4．2 实例研究 | 第59-60页 |
| 3．5 小结 | 第60-61页 |
| 第四章 原型系统模型 | 第61-72页 |
| 4．1 Rose的扩展机制 | 第61-63页 |
| 4．2 测试用例生成系统的框架 | 第63-64页 |
| 4．3 一个实例 | 第64-71页 |
| 4．4 小结 | 第71-72页 |
| 第五章 基于UML的测试用例生成方法在嵌入式软件测试中的应用 | 第72-86页 |
| 5．1 嵌入式系统的结构和软件开发特点 | 第72-73页 |
| 5．2 嵌入式软件给测试技术带来的挑战 | 第73-74页 |
| 5．3 嵌入式软件测试方法的研究现状 | 第74-78页 |
| 5．4 UML状态图的时间扩展 | 第78-79页 |
| 5．5 时间化自动机模型的获取 | 第79-81页 |
| 5．6 Z语言的Time模式扩充 | 第81-83页 |
| 5．7 基于DARTS设计的嵌入式软件的测试用例模型 | 第83-85页 |
| 5．7．1 DARTS设计方法 | 第83-84页 |
| 5．7．2 嵌入式软件测试用例生成模型 | 第84-85页 |
| 5．8 小结 | 第85-86页 |
| 第六章 总结与展望 | 第86-88页 |
| 6．1 总结 | 第86-87页 |
| 6．2 问题与展望 | 第87-88页 |
| 感谢 | 第88页 |
| 参考文献 | 第88-92页 |
| 附录 | 第92页 |