排序方式: 共有60条查询结果,搜索用时 15 毫秒
41.
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。 相似文献
42.
车载自组网通过节点间的多跳数据包转发为智能交通应用提供支持.节点数目多和分布密度不均匀的特点易使其在网络局部产生通信拥塞,造成数据包传递延迟增大甚至丢失.针对典型的城市应用场合,提出了一种新的拥塞适应路由协议,通过监测信道状态来估计各节点可用带宽,从而获得拥塞程度指标;同时利用邻居道路口通告和数据包捎带机制,发布网络通... 相似文献
43.
安全Petri网位置不变式的一种生成算法 总被引:1,自引:0,他引:1
Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法. 相似文献
44.
Petri网的可达图与可达树的比较 总被引:1,自引:0,他引:1
Petri网的可达图和可达树都是用于分析Petri网的工具,章将展示如何用可产完成Petri风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更为有一种分析工具. 相似文献
45.
叶新铭 《内蒙古大学学报(自然科学版)》1986,(3)
一、引言人材的培养是我国计算机推广应用的重要问题,而操作系统课是计算机专业的一门重要基础课。教学的实践告诉我们,要想使学生能深入了解操作系统的原理和设计技巧,需要有一个典型的教学用的操作系统,这个系统应是一个简单的、设计思想先进的操作系统,学生可根据所学的知识在该系统上进行修改和开发,经过调试后能在具体机器上实际运行。 相似文献
46.
各种非环的数据库模式有许多好的性质,特别是在分布式环境中,研究关系数据库的非环性程度是一个重要的课题.对Alpha,Beta,Gamma,Berge这几种非环数据库模式,我们给出一组分布式算法.该算法的最坏消息复杂度是O(|N|2),而最坏时间复杂度是O(|N|2),其中|N|是给定的网络中结点的个数. 相似文献
47.
命名服务与目录服务属于移动Ad Hoc网络(MANET)中的基础服务。目前MANET中实现命名服务的一种主要方式是通过设备的硬件地址自动生成,这种方式由于与硬件地址绑定带来了用户不友好、不便记忆、更换设备需要更换名字等缺点。提出了一种分布式的名字自动分配机制,名为NetNeighbor,可以为MANET中的移动主机提供命名服务与目录服务。仿真结果表明,系统运行稳定后NetNeighbor协议命名冲突的概率为0,有效地避免了移动主机名字冲突对数据通讯造成的影响:每个节点中保存的全局信息量达到98%,使局部存储的信息精确地反映了网络全局视图,提高了目录服务的准确率。 相似文献
48.
对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS.并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用. 相似文献
49.
研究数据流与控制流相结合的测试方法,为进行比较,采用了三个不同的数据流标准,对于控制流选定操作符覆盖标准,提出了求可执行变迁序更列的算法,并且给出了关于测试方法,测试序列数目及错误覆盖能力的比较。 相似文献
50.
通用分布式路由协议测试系统的设计 总被引:1,自引:0,他引:1
协议测试系统是执行协议测试的基本组成部分,一个设计完善的系统既优化测试套的编写,又可以减少对硬件的需求,从而使得测试工作得以高效的运行.系统介绍了一个通用的分布式路由协议测试系统的设计与实现方法,详细描述了该系统的设计思路以及一些实现算法.通过对OSPFv3进行的两个从测的测试实验,验证了该系统的有效性,最后对该系统的特点进行了总结,并且提出了下一步应该考虑的工作. 相似文献