| 中文摘要 | 第4-5页 |
| 英文摘要 | 第5页 |
| 1 绪论 | 第9-14页 |
| 1.1 论文的选题及其研究意义 | 第9-11页 |
| 1.2 论文选题背景 | 第11-12页 |
| 1.3 论文课题所做的工作 | 第12页 |
| 1.4 本章小节 | 第12-14页 |
| 2 UML集成测试的发展 | 第14-17页 |
| 2.1 基于UML的软件测试框架 | 第14页 |
| 2.2 并发软件集成测试 | 第14-16页 |
| 2.3 本章小节 | 第16-17页 |
| 3 状态图中的状态约束 | 第17-32页 |
| 3.1 有限状态机和扩展有限状态机 | 第17-20页 |
| 3.1.1 有限状态机 | 第17-18页 |
| 3.1.2 扩展有限状态机 | 第18-20页 |
| 3.1.3 状态机的局限性 | 第20页 |
| 3.2 状态图 | 第20-23页 |
| 3.3 组合状态和变迁 | 第23页 |
| 3.3.1 组合状态 | 第23页 |
| 3.3.2 组合变迁 | 第23页 |
| 3.4 状态图中的同步行为 | 第23-28页 |
| 3.4.1 状态图中的状态空间爆炸问题 | 第23-25页 |
| 3.4.2 同步变迁 | 第25-28页 |
| 3.4.3 集成状态的可达性 | 第28页 |
| 3.5 状态约束 | 第28-30页 |
| 3.5.1 同步变迁引起的状态约束 | 第28-30页 |
| 3.6 本章小节 | 第30-32页 |
| 4 构造集成状态机 | 第32-41页 |
| 4.1 状态图集成 | 第32-33页 |
| 4.1.1 集成状态机 | 第32页 |
| 4.1.2 全局状态和变迁 | 第32-33页 |
| 4.2 带标记的扩展有限状态机AEFSM | 第33-36页 |
| 4.2.1 AEFSM定义 | 第33-35页 |
| 4.2.2 AEFSM中的同步变迁 | 第35-36页 |
| 4.2.3 AEFSM与EFSM的比较 | 第36页 |
| 4.2.4 AEFSM的集成 | 第36页 |
| 4.3 状态图集成过程 | 第36-40页 |
| 4.3.1 与状态的集成 | 第38-39页 |
| 4.3.2 或状态的集成 | 第39页 |
| 4.3.3 状态图集成为AEFSM | 第39-40页 |
| 4.4 本章小节 | 第40-41页 |
| 5 变迁的聚合 | 第41-45页 |
| 5.1 观测性等价 | 第41页 |
| 5.2 聚合已同步的同步变迁 | 第41-42页 |
| 5.2.1 已同步的同步变迁 | 第41-42页 |
| 5.2.2 聚合算法 | 第42页 |
| 5.3 消除不可同步的同步变迁 | 第42-43页 |
| 5.3.1 不可同步的同步变迁 | 第42页 |
| 5.3.2 消除算法 | 第42-43页 |
| 5.4 消除已同步的不可执行变迁 | 第43页 |
| 5.4.1 已同步的不可执行变迁 | 第43页 |
| 5.4.2 消除算法 | 第43页 |
| 5.5 本章小节 | 第43-45页 |
| 6 测试序列的覆盖准则 | 第45-55页 |
| 6.1 基于控制流的覆盖准则 | 第45-47页 |
| 6.1.1 UIO序列 | 第45页 |
| 6.1.2 UIO序列的生成 | 第45-47页 |
| 6.2 基于数据流的覆盖准则 | 第47-49页 |
| 6.2.1 Rapps-Weyuker覆盖准则 | 第47-49页 |
| 6.2.2 从AEFSM到Def-Use定义 | 第49页 |
| 6.3 基于控制流和数据流的覆盖准则 | 第49-54页 |
| 6.3.1 基于all-du-paths和UIO的覆盖策略 | 第50页 |
| 6.3.2 可执行测试路径生成过程 | 第50-51页 |
| 6.3.3 Du-Path的生成过程 | 第51-53页 |
| 6.3.4 对测试路径可执行化处理 | 第53-54页 |
| 6.4 本章小节 | 第54-55页 |
| 7 总结 | 第55-57页 |
| 7.1 文章的主要工作 | 第55页 |
| 7.2 状态空间爆炸的缓解 | 第55-56页 |
| 7.3 可执行测试序列的生成 | 第56页 |
| 7.4 进一步工作 | 第56-57页 |
| 致谢 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 附录 | 第60页 |