一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议，提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。

CPN based protocol testing sequence generating method

A functional property guided test sequences generation method was proposed based on Colored Petri Net (CPN) model for communication protocol conformance testing. Firstly, CPN model of protocol specification called protocol model was constructed, and the protocol functional properties were also modeled using CPN, called property model. Then, a state projection algorithm from the property model to protocol model was defined, and path matching and searching algorithms in the state space of the protocol model was proposed to form a complete property guided test sequence generation method. This method could not only avoid state space explosion problem caused by the complex protocol analysis, but also facilitate marking PCO places, where observable elements of the test sequences are extracted automatically, to make generated test sequences more feasible in the practical conformance test process. The corresponding software to was developed implement above test sequence generation method, and applied into the conformance testing of HMIPv6 protocol to the effectively validate the feasibility of the proposed method.