基于属性的网络协议建模与互操作性测试方法研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-12页 |
| 图目录 | 第12-14页 |
| 表目录 | 第14-15页 |
| 第一章 引言 | 第15-21页 |
| ·研究背景及意义 | 第15页 |
| ·作者的主要工作 | 第15-18页 |
| ·论文的主要贡献 | 第18-19页 |
| ·论文的组织 | 第19-21页 |
| 第二章 相关研究工作综述 | 第21-35页 |
| ·引言 | 第21-22页 |
| ·互操作性测试过程 | 第22-29页 |
| ·互操作性测试建模 | 第23-26页 |
| ·互操作性测试生成 | 第26-27页 |
| ·测试覆盖 | 第27-28页 |
| ·互操作性测试套描述方法 | 第28-29页 |
| ·互操作性测试体系结构 | 第29-32页 |
| ·互操作性测试的分类 | 第32-33页 |
| ·属性测试 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第三章 预备知识 | 第35-46页 |
| ·Petri网相关概念 | 第35-37页 |
| ·FSM与Petri网的转换 | 第37-39页 |
| ·示例 | 第39-45页 |
| ·BRP发方的状态机及其Petri网模型 | 第40-42页 |
| ·BRP收方的状态机及其Petri网模型 | 第42-45页 |
| ·本章小结 | 第45-46页 |
| 第四章 基于不确定考虑的互操作性建模与测试选择 | 第46-59页 |
| ·引言 | 第46-47页 |
| ·互操作性测试的框架 | 第47页 |
| ·协议不确定性测试研究 | 第47-49页 |
| ·协议不确定来源分析 | 第47-48页 |
| ·互操作中的不确定分析 | 第48-49页 |
| ·建模与测试选择 | 第49-55页 |
| ·相关定义 | 第49-50页 |
| ·基于NFSM模型生成PNFSM模型 | 第50-52页 |
| ·带概率的测试选择方法及应用 | 第52-55页 |
| ·方法改进 | 第55-57页 |
| ·本章小结 | 第57-59页 |
| 第五章 基于属性的网络协议建模 | 第59-83页 |
| ·引言 | 第59页 |
| ·网络协议模型 | 第59-62页 |
| ·有形式化模型的协议分析 | 第59-62页 |
| ·无形式化模型的协议分析 | 第62页 |
| ·网络协议属性 | 第62-67页 |
| ·属性 | 第63页 |
| ·属性提取的依据 | 第63-64页 |
| ·协议的常规属性 | 第64-67页 |
| ·互操作性测试建模 | 第67-73页 |
| ·复合Petri网 | 第67-70页 |
| ·示例 | 第70-73页 |
| ·基于Petri网进行协议属性建模 | 第73-81页 |
| ·基于协议原有的形式化模型进行属性建模 | 第73-76页 |
| ·基于角色的形式化模型的属性描述 | 第76-77页 |
| ·示例 | 第77-81页 |
| ·相关工作比较 | 第81-82页 |
| ·基于属性建模的方法比较 | 第81页 |
| ·互操作性测试建模的方法比较 | 第81-82页 |
| ·本章小结 | 第82-83页 |
| 第六章 基于属性的网络协议互操作性测试生成 | 第83-105页 |
| ·引言 | 第83-84页 |
| ·相关概念 | 第84-85页 |
| ·基于属性的互操作性测试序列生成 | 第85-93页 |
| ·基于义务属性的可执行测试序列生成 | 第86-89页 |
| ·基于交互属性的可执行测试序列生成 | 第89-91页 |
| ·基于可扩展属性的可执行测试序列生成 | 第91-93页 |
| ·属性易测试讨论 | 第93-96页 |
| ·属性测试覆盖 | 第93-94页 |
| ·测试判定 | 第94-95页 |
| ·示例 | 第95-96页 |
| ·基于属性的互操作性测试与其它方法比较 | 第96页 |
| ·测试数据生成 | 第96-103页 |
| ·通用数据包字段的分析 | 第97-99页 |
| ·包的半自动生成 | 第99-100页 |
| ·示例 | 第100-103页 |
| ·本章小结 | 第103-105页 |
| 第七章 基于属性的互操作性测试实践 | 第105-122页 |
| ·引言 | 第105页 |
| ·基于属性实施测试的可行性 | 第105-107页 |
| ·互操作性测试套的设计 | 第107-111页 |
| ·基于XML的测试套设计 | 第107-108页 |
| ·基于TTCN-3测试套设计 | 第108-111页 |
| ·比较 | 第111页 |
| ·测试工具的设计与实现 | 第111-114页 |
| ·测试工具的体系结构 | 第111-112页 |
| ·互操作性测试工具的设计与实现 | 第112-114页 |
| ·互操作性测试实践 | 第114-121页 |
| ·RIP协议的属性测试实践 | 第114-115页 |
| ·OSPF协议的属性测试实践 | 第115-118页 |
| ·BGP协议的路由策略属性的测试实践 | 第118-121页 |
| ·本章小结 | 第121-122页 |
| 第八章 结论及进一步工作 | 第122-124页 |
| ·论文的主要结论 | 第122-123页 |
| ·进一步的研究工作 | 第123-124页 |
| 参考文献 | 第124-132页 |
| 附录1 BRP可达图 | 第132-136页 |
| 附录2 BGP4+测试套的XML标记 | 第136-139页 |
| 附录3 OSPF复合Petri网 | 第139-141页 |
| 附录4 OSPFv3协议互操作Petri网可达图 | 第141-144页 |
| 附录5 算法6.3基于附录4的可执行测试序列 | 第144-147页 |
| 附录6 算法6.4基于附录4的可执行测试序列 | 第147-150页 |
| 致谢 | 第150-151页 |
| 攻读博士学位期间发表论文 | 第151-153页 |
| 攻读博士学位期间主持的科研项目 | 第153页 |
| 攻读博士学位期间以核心成员参加的科研项目 | 第153页 |
| 攻读博士学位期间获奖情况 | 第153页 |
