| 引言 | 第1-7页 |
| 第一章 对时间输入／输出自动机模型进行黑盒一致性测试 | 第7-31页 |
| 1．1 时间输入／输出自动机 | 第7-15页 |
| 1．2 测试序列 | 第15-18页 |
| 1．3 状态空间的离散化 | 第18-26页 |
| 1．4 得到及应用一个测试组 | 第26-31页 |
| 第二章 可最小化的时间自动机模型MTA | 第31-38页 |
| 2．1 模型及语义 | 第31-33页 |
| 2．2 双向模拟关系和最小性 | 第33-34页 |
| 2．3 可最小化的时间自动机（MTA） | 第34-36页 |
| 2．4 最小化定理 | 第36-38页 |
| 第三章 通过使用MTA模型减少测试序列的数量 | 第38-45页 |
| 3．1 用最小化定理减少BTDA模型的状态数目 | 第38-40页 |
| 3．2 转换覆盖T的生成算法 | 第40-43页 |
| 3．2．1 算法的初步思想 | 第40-41页 |
| 3．2．2 参数的使用 | 第41页 |
| 3．2．3 算法 | 第41-43页 |
| 3．3 测试序列生成算法的改进和结论 | 第43-45页 |
| 第四章 结语 | 第45-46页 |
| 致谢 | 第46-47页 |
| 参考文献 | 第47-48页 |