针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。...针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。展开更多
在延迟容忍移动传感器网络(Delay Tolerant Mobile Senor Networks,DTMSN)的数据传输过程中容易出现数据丢失及节点因能量耗尽而导致网络生存时间减少的问题.针对上述问题本文提出了基于最优距离的可靠节能传输策略,该传输策略利用距离...在延迟容忍移动传感器网络(Delay Tolerant Mobile Senor Networks,DTMSN)的数据传输过程中容易出现数据丢失及节点因能量耗尽而导致网络生存时间减少的问题.针对上述问题本文提出了基于最优距离的可靠节能传输策略,该传输策略利用距离与能量的关系解决了DTMSN中的三个重要问题:可靠性、能源效率、网络生存时间.首先,在链路质量保证下,引入了"可靠节能距离"和"可靠能量平衡距离"两个概念.此外,通过分析节点间距离、节点运动方向及节点当前剩余能量来确定节点的综合效用值,最后根据综合效用值的大小来路由消息.实验结果表明,该策略显著提高了消息的投递率及可靠性保证下传感器节点的能量利用率,延长了网络的生存时间.展开更多
文摘针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。
文摘在延迟容忍移动传感器网络(Delay Tolerant Mobile Senor Networks,DTMSN)的数据传输过程中容易出现数据丢失及节点因能量耗尽而导致网络生存时间减少的问题.针对上述问题本文提出了基于最优距离的可靠节能传输策略,该传输策略利用距离与能量的关系解决了DTMSN中的三个重要问题:可靠性、能源效率、网络生存时间.首先,在链路质量保证下,引入了"可靠节能距离"和"可靠能量平衡距离"两个概念.此外,通过分析节点间距离、节点运动方向及节点当前剩余能量来确定节点的综合效用值,最后根据综合效用值的大小来路由消息.实验结果表明,该策略显著提高了消息的投递率及可靠性保证下传感器节点的能量利用率,延长了网络的生存时间.
