【摘 要】
：
提出一种基于着色Petri网（Colored Petri Net，CPN）、面向属性的协议一致性测试序列生成方法. 首先，构建被测协议规范的CPN模型，即协议模型，并将被测协议的若干功能属性采用CPN进行
【机 构】
：
内蒙古大学计算机学院, 呼和浩特 010021
【出 处】
：
第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议
论文部分内容阅读
提出一种基于着色Petri网（Colored Petri Net，CPN）、面向属性的协议一致性测试序列生成方法. 首先，构建被测协议规范的CPN模型，即协议模型，并将被测协议的若干功能属性采用CPN进行形式描述，形成属性模型；提出属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法. 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题，而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理，使得处理后的测试序列可直接用于协议实际测试过程.为有效验证本文所提测试序列生成方法的可行性，开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中，实践表明，这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持.
其他文献
提出了一种基于服务请求的角色映射与策略集成机制来解决服务组合中的访问控制问题。为了准确有效地建立域间角色映射，提出了唯一可映射集UMS(Unique Mapping Set)的概念，通过
土地测量工作中涉及的内容较多,应用人工方式不仅需要大量的人力资源,还需要花费相对较长的时间.相比之下,数字化测绘技术在这项工作中的应用优势较为明显.本文从数字化测绘
电气自动化控制技术在工厂企业中的应用非常广泛,随着科技发展和电气自动化程度的不断提高,电气自动化控制系统的开发和应用备受关注.本文阐述了工厂电气自动化控制技术的基
随着城市化发展进程的不断加快,地面交通压力日益显著,地下空间开发无疑成为解决城市地面交通压力的最好选择,在日益成熟的地铁建设中,由于受布线条件的限制,暗挖双连拱断面
第六届中国盆景展览筹备工作会议于2003年10月28日在福建省泉州市召开。中国风景园林学会花卉盆景赏石分会理事长甘伟林,副理事长傅珊仪、韦金笙,泉州市副市长周煜民,中国盆
随着社会经济的快速发展,我国基础工程建设步伐不断加快,对工程测量的要求也不断提高.近几年,随着GPS技术的快速发展,基于该技术建成的GPS RTK实时动态定位系统,实现了观测点
主动式数据仓库的维护或数据流处理环境中，视图增量计算都是关键问题。由于多数据源的并发更新及网络传输代价，视图增量计算变得复杂且代价很高，如何有效地降低视图增量计算的代
针对模式分类任务，提出一种基于粗糙－规则的神经网络构造方法，利用粗糙集理论和遗传算法约简输入特征，在尽量保持分类能力不变的情况下降低条件属性维数，导出简练的分类规则集合，以
“煤气化”是煤化工业的重要组成部分,指的是煤炭在高温环境下与气化剂(空气、水蒸气等)反应生成煤气的过程;从煤炭到煤气的转变,就完成了能源形式变化的目的.本文将对碎煤加
进入新时期以来，随着中国城市化进程的快速推进，排水管道的施工在整个市政道路排水管道建设系统中占据着重要地位，在市政道路排水管道的建设过程中，排水管道的铺设会直接影响到城