| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-9页 |
| 1 绪 论 | 第9-15页 |
| ·论文的选题及其研究意义 | 第9-10页 |
| ·国内外研究现状和主要存在的问题 | 第10-12页 |
| ·本文的研究内容和主要工作 | 第12-13页 |
| ·本文的组织安排 | 第13-15页 |
| 2 基于FSM和EFSM的测试用例生成 | 第15-31页 |
| ·关于有限状态机的术语及定义 | 第15-16页 |
| ·基于有限状态机的四种经典测试方法 | 第16-22页 |
| ·T方法 | 第17页 |
| ·U方法 | 第17-19页 |
| ·D方法 | 第19-20页 |
| ·W方法 | 第20-22页 |
| ·基于扩展有限状态机的测试用例生成 | 第22-30页 |
| ·基于扩展有限状态机测试的基本思想和相关的研究工作 | 第22-25页 |
| ·本节涉及的基本定义 | 第25-26页 |
| ·EFSM到测试场景的转换 | 第26-30页 |
| ·EFSM测试输入序列的生成 | 第30页 |
| ·本章小结 | 第30-31页 |
| 3 应用中存在的问题与算法的改进 | 第31-42页 |
| ·存在的主要问题 | 第31页 |
| ·多测试驱动模型MTM | 第31-33页 |
| ·同步锁和可同步算法 | 第33-35页 |
| ·第一类同步问题 | 第33-35页 |
| ·第二类同步问题 | 第35页 |
| ·可同步测试序列生成的实例 | 第35-37页 |
| ·前缀测试序列的生成 | 第36页 |
| ·UIO序列的生成 | 第36页 |
| ·UIO测试序列的生成 | 第36-37页 |
| ·同步有向图的引入 | 第37-41页 |
| ·多单元测试系统中的同步问题 | 第37-39页 |
| ·同步有向图的生成算法 | 第39-40页 |
| ·同步有向图的应用 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 4 进一步的形式化工作 | 第42-53页 |
| ·形式化和抽象的需要 | 第42-43页 |
| ·Z语言简介 | 第43-44页 |
| ·基于Z的测试用例生成方法 | 第44-45页 |
| ·纯Z测试的局限 | 第45-46页 |
| ·Z与状态图的结合 | 第46-51页 |
| ·状态图与Z的格式说明的转换 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 5 测试框架及测试工具模型描述 | 第53-57页 |
| ·基于本文方法的测试工具模型 | 第53-54页 |
| ·测试过程改进与测试框架 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 6 测试准则的描述 | 第57-61页 |
| ·测试准则的作用 | 第57页 |
| ·基于控制流和基于数据流的测试准则 | 第57-60页 |
| ·本章小结 | 第60-61页 |
| 7 总结和进一步工作 | 第61-63页 |
| ·本文的主要工作 | 第61-62页 |
| ·进一步的研究工作 | 第62-63页 |
| 致 谢 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 附 录 | 第67-68页 |