一种基于CPN的协议测试序列生成方法
提出一种基于着色Petri网（Colored Petri Net，CPN）、面向属性的协议一致性测试序列生成方法. 首先，构建被测协议规范的CPN模型，即协议模型，并将被测协议的若干功能属性采用CPN进行形式描述，形成属性模型；提出属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法. 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题，而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理，使得处理后的测试序列可直接用于协议实际测试过程.为有效验证本文所提测试序列生成方法的可行性，开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中，实践表明，这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持.
CPN 测试序列 PCO库
孙涛 叶新铭 刘靖 杨蒙
内蒙古大学计算机学院, 呼和浩特 010021 中国科学院计算技术研究所, 北京 100080
国内会议
第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议
南京
中文
1-5
2010-11-26（万方平台首次上网日期，不代表论文的发表时间）