EFSM模型协议一致性测试序列自动生成研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 目录 | 第10-14页 |
| 插图清单 | 第14-16页 |
| 附表清单 | 第16-17页 |
| 1 绪论 | 第17-34页 |
| ·研究背景与意义 | 第17-19页 |
| ·研究现状 | 第19-30页 |
| ·概述 | 第19-21页 |
| ·基于EFSM的协议形式化描述技术 | 第21-23页 |
| ·基于EFSM模型的测试序列生成 | 第23-28页 |
| ·基于EFSM模型的测试序列自动生成工具 | 第28-30页 |
| ·论文主要贡献 | 第30-31页 |
| ·论文章节组织结构 | 第31-34页 |
| 2 基于EFSM的协议一致性测试理论基础 | 第34-54页 |
| ·有限状态机模型和相关定义 | 第34-39页 |
| ·有限状态机模型 | 第34-35页 |
| ·扩展有限状态机模型 | 第35-36页 |
| ·EFSM测试生成相关定义 | 第36-39页 |
| ·一致性测试相关概念的形式化定义 | 第39-43页 |
| ·一致性测试的形式化定义 | 第39-40页 |
| ·一致性测试的基本假设 | 第40-42页 |
| ·主动测试和被动测试 | 第42-43页 |
| ·基于EFSM模型的协议一致性测试方法 | 第43-51页 |
| ·基于控制流的测试序列生成方法 | 第44-47页 |
| ·基于数据流的测试序列生成方法 | 第47-50页 |
| ·控制流&数据流相叠加的测试序列生成方法 | 第50-51页 |
| ·基于EFSM模型测试序列生成的关键问题 | 第51-53页 |
| ·EFSM模型的状态验证序列 | 第51-52页 |
| ·测试序列的可执行性 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 3 EFSM可执行状态验证序列生成 | 第54-73页 |
| ·引言 | 第54-55页 |
| ·相关工作 | 第55-60页 |
| ·基于可执行性分析的方法 | 第56-57页 |
| ·基于EFSM错误模型的方法 | 第57-58页 |
| ·基于遗传算法的方法 | 第58-60页 |
| ·ESIS序列的理论基础 | 第60-64页 |
| ·EFSM模型的状态格局空间 | 第60-61页 |
| ·ESIS算法的相关定义和定理 | 第61-64页 |
| ·ESIS序列生成算法 | 第64-68页 |
| ·算法描述 | 第64-66页 |
| ·算法分析 | 第66-68页 |
| ·实验分析 | 第68-72页 |
| ·实验设置 | 第68-70页 |
| ·实验结果 | 第70-72页 |
| ·本章小结 | 第72-73页 |
| 4 ESIS序列自适应生成 | 第73-88页 |
| ·引言 | 第73-74页 |
| ·相关工作 | 第74-77页 |
| ·基于状态分离树的方法 | 第74-76页 |
| ·基于变迁分类的方法 | 第76-77页 |
| ·自适应生成算法相关概念 | 第77-80页 |
| ·自适应算法相关定义 | 第78-79页 |
| ·节点权重函数 | 第79-80页 |
| ·自适应生成算法 | 第80-82页 |
| ·算法描述 | 第80页 |
| ·算法分析 | 第80-82页 |
| ·实验分析 | 第82-86页 |
| ·实验设置 | 第82-83页 |
| ·实验结果 | 第83-86页 |
| ·本章小结 | 第86-88页 |
| 5 基于启发式探索的协议测试序列生成 | 第88-99页 |
| ·引言 | 第88页 |
| ·相关工作 | 第88-89页 |
| ·启发式探索的相关概念 | 第89-92页 |
| ·WEFSM模型形式化定义 | 第89-90页 |
| ·状态格局启发式探索 | 第90-92页 |
| ·启发式探索算法 | 第92-94页 |
| ·算法描述 | 第93-94页 |
| ·算法分析 | 第94页 |
| ·实验分析 | 第94-98页 |
| ·实验设置 | 第94-95页 |
| ·实验结果 | 第95-98页 |
| ·本章小结 | 第98-99页 |
| 6 基于邻接变迁关联图的测试序列生成 | 第99-118页 |
| ·引言 | 第99页 |
| ·相关工作 | 第99-101页 |
| ·基于谓词的变迁分类方法 | 第101-102页 |
| ·邻接变迁关联图的构建 | 第102-103页 |
| ·基于邻接变迁关联图的自适应搜索算法 | 第103-108页 |
| ·算法思想 | 第103-104页 |
| ·算法描述 | 第104-106页 |
| ·算法分析 | 第106-108页 |
| ·基于邻接变迁关联图的测试序列生成算法设计 | 第108-113页 |
| ·协议一致性测试序列生成算法的抽象描述 | 第108页 |
| ·一种控制流&数据流相叠加的测试序列生成算法 | 第108-113页 |
| ·实验分析 | 第113-117页 |
| ·实验设置 | 第113页 |
| ·实验结果 | 第113-117页 |
| ·本章小结 | 第117-118页 |
| 7 测试序列自动生成系统实现与应用实例 | 第118-131页 |
| ·系统设计与实现 | 第118-123页 |
| ·系统总体架构和模块设计 | 第118-122页 |
| ·系统工作流程 | 第122-123页 |
| ·一致性测试序列自动生成实例 | 第123-130页 |
| ·协议EFSM模型形式化建模和信息提取 | 第123-124页 |
| ·协议一致性抽象测试序列自动生成 | 第124-127页 |
| ·协议一致性抽象测试集TTCN-3描述 | 第127-130页 |
| ·本章小结 | 第130-131页 |
| 8 总结与展望 | 第131-134页 |
| ·总结 | 第131-132页 |
| ·展望 | 第132-134页 |
| 参考文献 | 第134-145页 |
| 附录 | 第145-148页 |
| 个人简历及攻读博士学位期间的成果 | 第148页 |
