在移动IPv6协议系统中应用 - 清华大学.ppt

基于MSC测试目的的协议互操作性测试生成 (2006全国通讯软件学术会议) 王之梁, 吴建平, 尹霞, 施新刚 清华大学计算机科学与技术系 wzl@ 主要内容 研究背景 形式化模型 基于MSC测试目的的互操作性测试生成 在移动IPv6协议系统中的应用 结论和进一步工作 研究背景: 协议测试 研究背景: 测试的过程 主要内容 研究背景 形式化模型 基于MSC测试目的的互操作性测试生成 在移动IPv6协议系统中的应用 结论和进一步工作 形式化模型 系统规范：通讯多端口有限状态机CMpFSM 协议实体的集合：多端口有限状态机MpFSM 端口映射关系：被测系统的抽象拓扑 形式化模型(2) 主要内容 研究背景 形式化模型 基于MSC测试目的的互操作性测试生成 在移动IPv6协议系统中的应用 结论和进一步工作 问题的定义 已知： 系统规范：CMpFSM 测试目的：MSC 求：系统中包含该MSC测试目的的所有测试序列 MSC测试目的的线性化：MSC ? 事件序列 步骤1: 全局状态跟踪 步骤2: 逆向查找 算法复杂度分析 步骤1: 全局状态跟踪 步骤2: 逆向查找 系统遍历规模 主要内容 研究背景 形式化模型 基于MSC测试目的的互操作性测试生成 在移动IPv6协议系统中的应用 结论和进一步工作 移动IPv6技术 在移动IPv6协议系统中的应用 生成结果 主要内容 研究背景 形式化模型 基于MSC测试目的的互操作性测试生成 在移动IPv6协议系统中的应用 结论和进一步工作 结论和进一步工作 结论 提出了基于MSC测试目的的互操作性测试生成方法 在移动IPv6协议系统的测试中初步应用 进一步工作 测试生成工具的开发 系统并发行为的测试 Thank you!QA * 一致性测试 协议测试的基本方法 测试协议实现是否与协议规范相一致 测试对象：单个协议实体 互操作性测试 一致性测试的补充 测试两个或更多的协议实现在网络操作环境中是否能够正确的交互，从而完成协议标准中规定的功能 测试对象：一个或多个协议实体组成的系统 测试过程 测试目的 基于测试目的的互操作性 测试生成 测试目的：消息序列图MSC σ′= M1?i1 ? M1!u ? M3?u ? M3!v ? M2?v ? M2!w ? M3?w ? M3!z ? M1?z ? M1!o2 {a,b} {C,D} {1,2} {a} {C} {1} {C} {a} σ′= M1?i1 ? M1!u ? M3?u ? M3!v ? M2?v ? M2!w ? M3?w ? M3!z ? M1?z ? M1!o2 {a} {D} {2} Pre1={i1/u,u/z,z/o2}{x1/y1}; Pre2={i1/u,u/z,z/o2}{i2/o1}{x1/y1}{i1/o1}; Pre3={i1/u,u/z,z/o2}{x1/y1}{x2/y2}; Pre4={i1/u,u/z,z/o2}{i2/o1}{x1/y1}{x2/y2}{i1/o1}{i2/o1}{i1/o1}{x2/y2}; TestPurpose ={i1/u,u/v,v/w,w/z,z/o2} tci=Prei ?TestPurpose (i=1,2,3,4) 本文方法： 系统遍历空间规模较小 生成测试集规模较小 Mobile Node Internet Home Agent Correspondent Node Router Router Router Home Link Link A Link B Link C (2) (1) (3) (4) (5) (6) Mobile Node 移动IPv6协议系统模型 MN: 移动节点 CN: 通信节点 HA: 家乡代理 MN回到家乡链路后，分别在HA和CN 进行绑定注销的过程 tc1 = P1?P2?TestPurpose； tc2 = P1?P3?P2?P5?P4?P6?TestPurpose i1 tc = i1x1 u tc = i1x1 z tc = i1x1 tc = i1x1 o2 * 组件状态机 M1 M2 M3 端口 1(P11) 2(P12) 1(P21) 2(P22) 1(P31) 2(P32) 输入 i1, i2 z x1, x2 v u w 输出 o1, o2 u y1, y2 w z v 组件状态机 M1 M2 M3 端口 1(P11) 2(P12) 1(P21) 2(P22) 1(P31) 2(P32) 输入 i1, i2 z x1, x2 v u w 输出 o1, o2 u y1, y2 w z v 组件