IEC 61850 Ed 2.0技术分析 被引量：63

1

作者 任雁铭 操丰梅 张军 《电力系统自动化》 EI CSCD 北大核心 2013年第3期1-5,53,共6页

对IEC 61850Ed 2.0的文件构成和技术路线进行了介绍。对比IEC 61850Ed 1.0,从数据模型、工程配置语言和一致性测试3个方面,对IEC 61850Ed 2.0的技术特点进行了技术分析。从设备制造商和检测中心2个方面,讨论了如何从IEC 61850Ed 1.0迁徙... 对IEC 61850Ed 2.0的文件构成和技术路线进行了介绍。对比IEC 61850Ed 1.0,从数据模型、工程配置语言和一致性测试3个方面,对IEC 61850Ed 2.0的技术特点进行了技术分析。从设备制造商和检测中心2个方面,讨论了如何从IEC 61850Ed 1.0迁徙到IEC 61850Ed 2.0。 展开更多

关键词 IEC 61850 数据模型 工程配置语言 一致性测试

在线阅读 下载PDF 职称材料

IEC 61850配置文件测试的研究 被引量：22

2

作者 王珍珍 孙丹 《电力系统保护与控制》 EI CSCD 北大核心 2011年第6期95-98,123,共5页

介绍了IEC 61850配置文件,分析了对其测试的必要性,研究了国内广泛应用的几种测试工具,总结了这些工具测试的关注点,并且根据其测试能力提出测试方案。通过工程应用中的探索,总结出强制性的测试内容。通过分析测试中出现的典型问题,提... 介绍了IEC 61850配置文件,分析了对其测试的必要性,研究了国内广泛应用的几种测试工具,总结了这些工具测试的关注点,并且根据其测试能力提出测试方案。通过工程应用中的探索,总结出强制性的测试内容。通过分析测试中出现的典型问题,提出了对于扩展的数据项的测试依据。对于标准中定义不一致的数据属性类型,明确了使用方法。对测试中有待完善的若干问题进行了探讨,说明了目前配置文件测试的局限性,研究了测试发展的方向。 展开更多

关键词 IEC 61850 互操作性 一致性测试 配置文件 变电站配置语言

在线阅读 下载PDF 职称材料

IPv6中IPSec协议一致性测试 被引量：2

3

作者 于东 郑红霞 +2 位作者 张玉军 田军 李忠诚 《计算机工程》 CAS CSCD 北大核心 2003年第2期166-168,191,共4页

IPv6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPv6协议一致性测... IPv6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPv6协议一致性测试系统。文章给出了该系统的测试方法与测试结构，通过一个测试实例介绍了测试集的形式化，并对一种Unix实现上的测试结果进行了分析。 展开更多

关键词 IPSEC协议 一致性测试 IPV6协议 通信协议 测试集 形式化描述语言 计算机网络

在线阅读 下载PDF 职称材料

IPv6中Neighbor Discovery协议及其测试 被引量：1

4

作者 张玉军 田军 +3 位作者 于东 付晓宇 郑红霞 李忠诚 《计算机工程与应用》 CSCD 北大核心 2002年第7期177-180,共4页

IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进... IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进行IPv6一致性测试的系统。该文提出了逻辑测试结构和虚拟测试器的概念,并在这个测试系统中应用了这两种测试结构和概念,还给出了一个邻居发现协议的测试实例。最后,给出了笔者对一种UNIX系统上实现的邻居发现协议进行一致性测试得到的结果,并对其与标准文本不一致的部分进行了分析说明。 展开更多

关键词 IPV6协议 NEIGHBOR Discovery协议 通信协议 测试

在线阅读 下载PDF 职称材料

SDN数据平面软件一致性测试用例生成方法 被引量：2

5

作者 张雯雯 许天予 +1 位作者 章玥 郑孝遥 《软件学报》 EI CSCD 北大核心 2020年第9期2709-2722,共14页

SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备... SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试,是将一致性测试用例发送给P4网络设备,评估实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simpleswitch虚拟交换机为测试对象,说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具,并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性. 展开更多

关键词 一致性测试 测试用例生成 测试覆盖 SDN(software-defined networks) P4(programming protocol-independent packet processors)中间节点编程语言

在线阅读 下载PDF 职称材料

NEMO协议一致性测试集的设计与实现 被引量：1

6

作者 杜宁 郑红霞 谢高岗 《计算机工程》 CAS CSCD 北大核心 2007年第24期93-95,共3页

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测... 基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。 展开更多

关键词 NEMO协议 MIPv6互联网 协议一致性测试 测试例描述语言

在线阅读 下载PDF 职称材料

基于TCL的6LoWPAN协议一致性测试 被引量：4

7

作者 杨德兴 刘钦明 +1 位作者 魏磊 史红周 《计算机工程》 CAS CSCD 2012年第4期263-265,268,共4页

针对6LoWPAN协议,提出一种基于TCL的一致性测试系统。在该系统中,界面控制部分提供用户操作和结果查看等功能,测试执行部分提供用例解释执行、结果分析等功能,底层通信部分提供物理层收发的功能。使用TCL脚本语言设计测试用例和扩展命令... 针对6LoWPAN协议,提出一种基于TCL的一致性测试系统。在该系统中,界面控制部分提供用户操作和结果查看等功能,测试执行部分提供用例解释执行、结果分析等功能,底层通信部分提供物理层收发的功能。使用TCL脚本语言设计测试用例和扩展命令,从而增强系统的可扩展性。对Contiki系统中的uIPv6协议栈进行测试,结果表明,该测试系统的可扩展性较好,可满足6LoWPAN协议的一致性测试要求。 展开更多

关键词 6LoWPAN协议 802.15.4标准 IPV6协议 TCL脚本语言 一致性测试 uIPv6协议栈

在线阅读 下载PDF 职称材料

基于SoT的BGP4+协议一致性测试系统设计 被引量：2

8

作者 颜勇 谢高岗 张大方 《计算机工程与应用》 CSCD 北大核心 2005年第21期139-141,145,共4页

底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首... 底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首先介绍了BGP4协议的特点和一致性测试的概念,提出了对测试集形式化描述的改进,并在此基础上详细阐述了BGP4+协议一致性系统的架构和设计方法。 展开更多

关键词 一致性测试 BGP4+ 测试集形式化描述语言

在线阅读 下载PDF 职称材料

IPv6地址协议一致性测试系统设计与实现 被引量：2

9

作者 陈想 周华春 苏伟 《计算机应用与软件》 CSCD 北大核心 2013年第11期28-31,49,共5页

IPv6协议一致性测试是保证IPv6协议实现正确性及有效性的方法。当前IPv6一致性测试系统共同的不足是标准协议的数量受限,并且对新型协议的支持不够。在这种需求的驱动下,提出一种可扩展模块化测试描述语言EMTL(Extensible Modular Test ... IPv6协议一致性测试是保证IPv6协议实现正确性及有效性的方法。当前IPv6一致性测试系统共同的不足是标准协议的数量受限,并且对新型协议的支持不够。在这种需求的驱动下,提出一种可扩展模块化测试描述语言EMTL(Extensible Modular Test Description Language),设计并开发了IPv6协议一致性测试系统,描述该系统各部件的具体功能。在对IPv6无状态地址自动分配协议的标准描述分析的基础上设计一套测试集,用IPv6协议一致性测试系统在Linux系统平台上对该协议进行测试,成功得到了相应测试结果,验证了该系统具有很好的测试能力和功能通用性。 展开更多

关键词 协议一致性测试 模块化 测试描述语言 测试系统

在线阅读 下载PDF 职称材料

AUTOSAR符合性测试适配器的实现方法 被引量：3

10

作者 周毅 张晓先 陈丽蓉 《计算机工程》 CAS CSCD 2014年第1期291-294,共4页

系统适配器是AUTOSAR符合性测试框架的重要组成部分,针对测试机和被测系统运行环境不同的特点,通过将过程调用动作转化为消息发送的方式,提出一种新的系统适配器设计方法。该方法将系统适配器分为SUT适配器和目标适配器,两者运行于不同... 系统适配器是AUTOSAR符合性测试框架的重要组成部分,针对测试机和被测系统运行环境不同的特点,通过将过程调用动作转化为消息发送的方式,提出一种新的系统适配器设计方法。该方法将系统适配器分为SUT适配器和目标适配器,两者运行于不同平台上,按照一种模块无关的报文格式通信。以LinSM基础软件为被测目标,采用AUTOSAR提供的标准测试脚本,依据该方法实现系统适配器。实践结果表明,通过该方法运行LinSM的30个用例均与预期结果符合,证明该方法能成功执行异构环境下的符合性测试。 展开更多

关键词 AUTOSAR标准 符合性测试 TTCN-3语言 系统适配器 报文格式 可移植性

在线阅读 下载PDF 职称材料

iSCSI协议一致性测试研究与实现 被引量：1

11

作者 易奇 贾婧 +2 位作者 路杨 张玉 胡怀湘 《计算机工程与应用》 CSCD 2014年第6期77-82,134,共7页

不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给... 不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给出了较为完整的iSCSI协议一致性测试例。使用该测试例对某产品的iSCSI协议实现进行一致性测试,发现了被测实现存在与协议规范不一致的地方。 展开更多

关键词 Internet小型计算机系统接口(iSCSI)协议 一致性测试 测试系统 可扩展标记语言(XML) 测试套 测试例

在线阅读 下载PDF 职称材料

网络移动IPv6协议测试生成的研究与实现 被引量：1

12

作者 杜宁 杨柳 +1 位作者 郑红霞 谢高岗 《科学技术与工程》 2007年第14期3555-3560,共6页

协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实... 协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。 展开更多

关键词 NEMO MIPV6 协议一致性测试 测试例描述语言

在线阅读 下载PDF 职称材料

基于SPARDL的模型和程序一致性测试

13

作者 陈玉祥 蒲戈光 +4 位作者 綦艳霞 陈铭松 王政 陈朝晖 顾斌 《计算机应用研究》 CSCD 北大核心 2013年第3期787-791,共5页

针对周期控制系统的时序一致性进行研究,提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法,通过模型抽取获取模式迁移图和控制流程图,通过程序插桩获取程序执行路径,实现了自动检测周期控制系统中的模... 针对周期控制系统的时序一致性进行研究,提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法,通过模型抽取获取模式迁移图和控制流程图,通过程序插桩获取程序执行路径,实现了自动检测周期控制系统中的模式迁移和模块调用的一致性,给出了基于模式迁移图和控制流程图的覆盖检测并用于指导程序测试用例的生成。结合具体的周期控制系统,验证了一致性测试方法在实际工程中的有效性。 展开更多

关键词 时序一致性 SPARDL 一致性测试 接受检测 覆盖检测

在线阅读 下载PDF 职称材料