可选项对协议互操作影响的研究.pptVIP

内蒙古大学 计算机学院 李华 * * 可选项对协议互操作影响的研究 * 内蒙古大学 计算机学院 李华 * 目录 协议互操作性测试研究现状 协议互操作性测试功能与过程 形式化方法简介 选项对互操作影响研究的形式化方法； 示例 全文总结及下一步的研究工作。 * * 内蒙古大学 计算机学院 李华 * 背景 网络属于开放环境，不可能使用一家产品。 基于RFC开发协议，由于RFC自身描述的灵活性，使得厂家可能在实现时有所不同。 互操作性测试的重要性 本文假设：互操作性测试是在一定的一致性测试之后。 互操作性测试一般模型 * 内蒙古大学 计算机学院 李华 * 互操作性测试过程 * 内蒙古大学 计算机学院 李华 * Standard and composite model construction 1.Anaylsis of protocol implementation interoperability specification analysis 2.Test selection 3.Test suite execution 4.Result analysis 5.Test conclusion Test sequence Protocol implementation interoperability Specification Protocol implementation additional information 互操作性测试主要的目的 是据被测系统的形式化模型找到尽可能多的被测协议实体之间的交互行为，并检查被测系统是否能够正确的理解交互信息并根据它们采用正确的行为。 * 内蒙古大学 计算机学院 李华 * 步骤 第1步：根据被测系统的协议规范模型例如Petri网，生成系统的可达图； 第2步：根据所得的可达图得到所有的测试路径。如何在最短的时间准确测试出2个实体间的互操作能力，尤其对于复杂而又庞大的协议更为重要。 * 内蒙古大学 计算机学院 李华 * 形式化方法---CPN * 内蒙古大学 计算机学院 李华 * 定义1 着色Petri网(Coloured Petri net)[10] 着色Petri网是一个九元组CPN=(∑, P, T, A, N, C, G, E, I)，满足下列条件： (1) ∑是非空的类型(Type)的有限集合，称之为颜色集合； (2) P是库所的有限集合； (3) T是变迁的有限集合； (4) A是弧的有限集合满足： P∩T=P∩A=T∩A=?； (5) N是定义在A上到P×T∪T×P的结点函数； (6) C是定义在P上的到∑的颜色函数； (7) G是谓词函数，定义在T上并且满足：?t?T:[Type(G(t))=B∧Type(Var(G(t)))?∑]，其中B是布尔函数； (8) E是一个定义在A上的弧的表达式函数： ?a?A:[Type(E(a))=C(p(a)MS∧Type(Var(E(a)))?∑]，其中p(a)是N(a)的库所，C(p)MS返回库所P上的多重集类型； (9) I是一个定义在P上的初始函数，?p?P:[Type(I(p))=C(p)MS]。 * 内蒙古大学 计算机学院 李华 * 定义2 在marking M中说一个绑定元素(t，b)?BE是可以点火的，当且仅当满足以下2条性质[9]： G(t)b=true， 即防卫表达式必须为真； E(p,t)b =M(p) 对于所有的p?P，即输入弧的表达式所需要的token必须在M中出现。 当一个可点火的绑定元素从marking M点火后，会达到一个新的状态M’表示为： M’(p)=(M(p)--E(p,t)b)++E(t,p)b 对于所有的p?P，即新marking等于旧marking减去输入弧消耗的token再加上输出弧产生的token。 * 内蒙古大学 计算机学院 李华 * 可选项对互操作影响研究的形式化方法 * 内蒙古大学 计算机学院 李华 * 通过检查系统所有的测试路径进行测试，显然是不现实的，因此，对上述2个步骤分别进行优化， 第1步采用部分建模，即只对可选项的作用阶段进行建模，缩小需要建模问题的范围；第 2步采用基于数据选择的方法产生可执行的测试路径集，即选择关键结点进行测试；这使得工作量大大减少。 * 内蒙古大学 计算机学院 李华 * 被测介绍 OSPFv3协议中的可选项介绍 部分模型的建立 基于数据选择测试路径 * 内蒙古大学 计算机学院 李华 * OSPFv3的Hello协议部分模型 * 内蒙古大学 计算机学院 李华 * 算法1 基于数据选择的测试路径集合的生成 输入：基于协议互操作性测试CPN模型的可达图G，关键结点集合K(key) 输出：基于数据选择的测试路径集合S //通过深度优先遍历搜