公共文化服务平台

基于状态的SDN网络测试与不变式验证研究: 伴随“互联网+”概念的提出，信息化在社会生产生活中起到的重要作用日益深入人心。其中网络作为促进信息流通的重要载体与具体手段，扮演着核心角色。随着新的网络范型不断出现，网络维度由最初的陆基网络扩展到了海基网络、空基网络以及...; 李元平; 关键词：网络测试; 文献传递

基于XML的OSPFv3一致性测试研究被引量：1: 2007年; 协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究,分析了OSPFv2和OSPFv3的不同,给出了用XML来描述OSPFv3测试套的测试模板,并对OSPFv3协议在Linux下的实现进行了一致性测试,列举了部分测试结果,对测试结果进行了分析,发现了被测实现存在与协议说明不一致的地方。; 李华张涛叶新铭郭怡静李元平白瑞峰; 关键词：路由协议 OSPFV3

通用分布式路由协议测试系统的设计被引量：1: 2009年; 协议测试系统是执行协议测试的基本组成部分,一个设计完善的系统既优化测试套的编写,又可以减少对硬件的需求,从而使得测试工作得以高效的运行.系统介绍了一个通用的分布式路由协议测试系统的设计与实现方法,详细描述了该系统的设计思路以及一些实现算法.通过对OSPFv3进行的两个从测的测试实验,验证了该系统的有效性,最后对该系统的特点进行了总结,并且提出了下一步应该考虑的工作.; 李华叶新铭李元平杭成宝; 关键词：分布式系统路由协议 OSPFV3

有限状态机模型测试序列生成算法研究被引量：4: 2016年; 在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。; 李元平李华赵俊岚

OSPFv3协议的一致性测试研究及分布式测试系统实现: 随着下一代互连网IPv6的快速发展，作为其重要路由协议的OSPFv3越来越受到路由设备与软件开发商的重视，因此需要对于OSPFv3进行一致性测试。协议一致性测试的核心工作包括测试套的生成和测试系统的开发。 ...; 李元平; 关键词：协议一致性测试 OSPFV3 PETRI网分布式系统测试套; 文献传递

行业云环境用户需求到可执行方案自动生成方法和系统: 本发明提供一种行业云环境用户需求到可执行方案自动生成方法和系统，涉及计算机技术领域。本发明通过根据用户需求申请表获取用户需求，再根据用户需求获取用户需求资源。对用户需求资源和平台现有资源信息进行满足性验证，通过满足性验证...; 李华王显荣李元平张筵雍范美婷陈锐锐李晓迪

基于时间着色Petri网的OpenFlow协议建模研究被引量：3: 2016年; 介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.; 李元平李华赵俊岚

OpenFlow协议IPv6属性测试研究被引量：2: 2018年; 鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。; 李元平李元平李华阮宏玮; 关键词：IPV6 测试引擎

SDN全局状态视图构建及应用被引量：1: 2020年; 随着云计算、大数据以及物联网的兴起,网络流量以爆炸性的速度增长,与此同时网络带宽的增长速度却无法与之相应匹配。在可预见的将来,日益增长的网络流量与缓慢增长的网络带宽之间的矛盾将长期存在。如何改变当前粗放式的网络管理手段,实现精细化的网络管理,解决上述矛盾是需要面对的问题。提出基于状态的视图模型,描述了全局状态视图的形式化概念,同时详细介绍了全局状态视图的构建算法,并拓展其外延,提出状态视图栈的概念,扩充定义网络各层状态视图。利用层次Petri网对传输层协议建模并分析其特征,构建其状态管理表。分析了端口碰撞应用,并构建该应用的状态视图,说明了状态视图栈的一般性扩充方法。同时以负载均衡功能结合全局状态视图应用为例,说明基于状态的网络管理可以提高资源的利用率。; 李元平李华李华; 关键词：网络模型 CPN

基于形式化的测试框架及实例分析被引量：1: 2018年; 测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标。设计了通用的测试框架,依托基于模型的测试理论,支持通用的测试序列产生方法,由抽象测试序列得到相应的可执行测试序列,论证了此框架的合理性。同时依托该框架设计并实现了相应的关键测试构件之后,利用相应测试构件,在IPv6环境下针对Open Flow协议进行了一致性测试,发现了Open Flow协议实现对IPv6支持的一些实现错误,达到了预期效果。; 李元平李华李华赵俊岚阮宏玮; 关键词：IPV6 测试引擎

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

李元平