协议互操作性测试理论与方法研究
| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 目录 | 第10-13页 |
| 图目录 | 第13-15页 |
| 表目录 | 第15-16页 |
| 第一章 引言 | 第16-26页 |
| ·研究背景 | 第16-18页 |
| ·研究现状 | 第18-24页 |
| ·形式化技术 | 第18-20页 |
| ·互操作性测试方法 | 第20-24页 |
| ·研究目的和研究方案 | 第24-25页 |
| ·论文结构 | 第25-26页 |
| 第二章 互操作性测试的一般理论 | 第26-52页 |
| ·有限状态机 FSM 的基本理论 | 第26-34页 |
| ·基本的 FSM 模型 | 第26-29页 |
| ·有限状机的扩展模型 | 第29-34页 |
| ·基于有限状态机模型的测试方法 | 第34-41页 |
| ·状态机测试的五个基本问题 | 第34-39页 |
| ·基于有限状态机的常用测试序列生成方法 | 第39-41页 |
| ·基于形式化模型的互操作性测试方法 | 第41-43页 |
| ·错误模型 | 第43-47页 |
| ·有限状态机的错误模型 | 第43-45页 |
| ·互操作性测试的错误模型 | 第45-47页 |
| ·测试覆盖 | 第47-50页 |
| ·基于错误模型的测试覆盖分析 | 第47-48页 |
| ·基于测试距离的测试覆盖度分析 | 第48-49页 |
| ·观察能力对互操作性测试覆盖的影响 | 第49-50页 |
| ·动态测试方法 | 第50页 |
| ·本章小结 | 第50-52页 |
| 第三章 互操作性测试序列生成与优化方法 | 第52-72页 |
| ·引言 | 第52-53页 |
| ·互操作性测试序列生成方法 | 第53-57页 |
| ·全局状态生成 | 第53-55页 |
| ·互操作转移覆盖测试序列生成 | 第55-57页 |
| ·测试代价分析 | 第57-61页 |
| ·互操作性测试序列执行代价 | 第57-59页 |
| ·基于测试生成树的代价分析 | 第59-61页 |
| ·基于贪心算法的次优互操作序列生成算法 | 第61-67页 |
| ·算法思想 | 第61-62页 |
| ·算法实现描述 | 第62-66页 |
| ·算法复杂度分析 | 第66-67页 |
| ·应用实例 | 第67-70页 |
| ·结束语 | 第70-72页 |
| 第四章 单边互操作性测试方法 | 第72-104页 |
| ·引言 | 第72-73页 |
| ·互操作性关系 | 第73-83页 |
| ·互操作性测试架构 | 第73-75页 |
| ·基于 IOLTS 的互操作性形式模型 | 第75-77页 |
| ·互操作性关系 | 第77-79页 |
| ·互操作性关系之间的关系 | 第79-83页 |
| ·集成系统的单边互操作性测试模型 | 第83-86页 |
| ·单边互操作性测试序列生成算法 | 第86-100页 |
| ·基于有向图的单边互操作性测试序列生成策略 | 第87-92页 |
| ·穷尽覆盖测试 | 第92-93页 |
| ·完全覆盖测试 | 第93-95页 |
| ·基本覆盖测试 | 第95-96页 |
| ·最小完全覆盖测试 | 第96-100页 |
| ·应用实例 | 第100-103页 |
| ·测试架构 | 第100-102页 |
| ·待测系统有限状态机模型 | 第102页 |
| ·不同测试覆盖准则下的测试集生成及比较 | 第102-103页 |
| ·结束语 | 第103-104页 |
| 第五章 动态测试方法 | 第104-130页 |
| ·引言 | 第104-105页 |
| ·动态可测试性分析 | 第105-113页 |
| ·协议相关性 | 第106-109页 |
| ·测试相关性 | 第109-113页 |
| ·动态测试方法 | 第113-117页 |
| ·传统静态测试方法的问题 | 第113-114页 |
| ·动态测试方法 | 第114-117页 |
| ·基于局部错误诊断的动态测试方法 | 第117-127页 |
| ·错误诊断方法 | 第118-120页 |
| ·局部错误诊断方法 | 第120-122页 |
| ·基于局部错误诊断的动态测试方法 | 第122-127页 |
| ·实例分析 | 第127-128页 |
| ·结束语 | 第128-130页 |
| 第六章 结束语 | 第130-134页 |
| ·论文工作总结 | 第130-132页 |
| ·最优互操作性测试序列生成方法 | 第130-131页 |
| ·单边互操作性测试方法 | 第131-132页 |
| ·动态测试方法 | 第132页 |
| ·进一步的研究工作 | 第132-134页 |
| 参考文献 | 第134-144页 |
| 参加的相关科研工作 | 第144-145页 |
| 已发表的论文 | 第145页 |
| 专利申请 | 第145-146页 |
| 致谢 | 第146页 |
