期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
IEC 61850 Ed 2.0技术分析 被引量:62
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
XML网络管理接口一致性测试中XML解析器的开发 被引量:2
4
作者 董文莉 孟洛明 +2 位作者 林魏 宁凯 陈亿根 《北京邮电大学学报》 EI CAS CSCD 北大核心 2004年第1期89-92,共4页
XML解析器是XML网络管理接口一致性测试的关键部分,解析器可以读入一个XML并分析它的结构.根据XML特点研制开发的适用于XML网络管理一致性测试的XML解析器可对XML文档进行词法分析、语法分析和语义分析,并为测试系统提供数据信息.
关键词 网络管理 一致性测试 XML 解析器 可扩展标识语言
下载PDF
IPv6中Neighbor Discovery协议及其测试 被引量:1
5
作者 张玉军 田军 +3 位作者 于东 付晓宇 郑红霞 李忠诚 《计算机工程与应用》 CSCD 北大核心 2002年第7期177-180,共4页
IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进... IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进行IPv6一致性测试的系统。该文提出了逻辑测试结构和虚拟测试器的概念,并在这个测试系统中应用了这两种测试结构和概念,还给出了一个邻居发现协议的测试实例。最后,给出了笔者对一种UNIX系统上实现的邻居发现协议进行一致性测试得到的结果,并对其与标准文本不一致的部分进行了分析说明。 展开更多
关键词 IPV6协议 NEIGHBOR Discovery协议 通信协议 测试
下载PDF
SDN数据平面软件一致性测试用例生成方法 被引量:2
6
作者 张雯雯 许天予 +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
基于Tcl的路由协议一致性测试 被引量:7
7
作者 余营志 赵保华 屈玉贵 《北京邮电大学学报》 EI CAS CSCD 北大核心 2003年第z2期37-41,共5页
针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
关键词 一致性测试 路由协议 测试系统 TCL
下载PDF
NEMO协议一致性测试集的设计与实现 被引量:1
8
作者 杜宁 郑红霞 谢高岗 《计算机工程》 CAS CSCD 北大核心 2007年第24期93-95,共3页
基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测... 基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。 展开更多
关键词 NEMO协议 MIPv6互联网 协议一致性测试 测试例描述语言
下载PDF
基于TCL的6LoWPAN协议一致性测试 被引量:4
9
作者 杨德兴 刘钦明 +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
10
作者 颜勇 谢高岗 张大方 《计算机工程与应用》 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
11
作者 陈想 周华春 苏伟 《计算机应用与软件》 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
iSCSI协议一致性测试研究与实现 被引量:1
12
作者 易奇 贾婧 +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
13
作者 杜宁 杨柳 +1 位作者 郑红霞 谢高岗 《科学技术与工程》 2007年第14期3555-3560,共6页
协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实... 协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。 展开更多
关键词 NEMO MIPV6 协议一致性测试 测试例描述语言
下载PDF
AUTOSAR符合性测试适配器的实现方法 被引量:2
14
作者 周毅 张晓先 陈丽蓉 《计算机工程》 CAS CSCD 2014年第1期291-294,共4页
系统适配器是AUTOSAR符合性测试框架的重要组成部分,针对测试机和被测系统运行环境不同的特点,通过将过程调用动作转化为消息发送的方式,提出一种新的系统适配器设计方法。该方法将系统适配器分为SUT适配器和目标适配器,两者运行于不同... 系统适配器是AUTOSAR符合性测试框架的重要组成部分,针对测试机和被测系统运行环境不同的特点,通过将过程调用动作转化为消息发送的方式,提出一种新的系统适配器设计方法。该方法将系统适配器分为SUT适配器和目标适配器,两者运行于不同平台上,按照一种模块无关的报文格式通信。以LinSM基础软件为被测目标,采用AUTOSAR提供的标准测试脚本,依据该方法实现系统适配器。实践结果表明,通过该方法运行LinSM的30个用例均与预期结果符合,证明该方法能成功执行异构环境下的符合性测试。 展开更多
关键词 AUTOSAR标准 符合性测试 TTCN-3语言 系统适配器 报文格式 可移植性
下载PDF
EFSM模型动态解释技术的研究 被引量:2
15
作者 徐俊 舒挺 +1 位作者 贾宇波 宋瑾钰 《工业控制计算机》 2012年第2期75-77,共3页
扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法。然后,在分析两类方法优缺点的基础上,提出了一种基... 扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法。然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法。新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题。最后,通过一个应用实例验证了新方法的可行性。 展开更多
关键词 EFSM模型 动态脚本 通信协议 一致性测试
下载PDF
基于SPARDL的模型和程序一致性测试
16
作者 陈玉祥 蒲戈光 +4 位作者 綦艳霞 陈铭松 王政 陈朝晖 顾斌 《计算机应用研究》 CSCD 北大核心 2013年第3期787-791,共5页
针对周期控制系统的时序一致性进行研究,提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法,通过模型抽取获取模式迁移图和控制流程图,通过程序插桩获取程序执行路径,实现了自动检测周期控制系统中的模... 针对周期控制系统的时序一致性进行研究,提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法,通过模型抽取获取模式迁移图和控制流程图,通过程序插桩获取程序执行路径,实现了自动检测周期控制系统中的模式迁移和模块调用的一致性,给出了基于模式迁移图和控制流程图的覆盖检测并用于指导程序测试用例的生成。结合具体的周期控制系统,验证了一致性测试方法在实际工程中的有效性。 展开更多
关键词 时序一致性 SPARDL 一致性测试 接受检测 覆盖检测
下载PDF
维哈柯文通用软件标准符合性检测方法与实施
17
作者 何正安 代红 +1 位作者 张东升 殷建民 《信息技术与标准化》 2010年第8期69-72,共4页
提出一种维哈柯文通用软件标准符合性的自动测试方法。该方法适用于Windows等操作系统的被测试软件,首先建立测试软件与被测试软件的通讯机制,再利用脚本语言模拟键盘鼠标消息和对剪贴板的监控,通过检测被测试软件的输入信息、输出结果... 提出一种维哈柯文通用软件标准符合性的自动测试方法。该方法适用于Windows等操作系统的被测试软件,首先建立测试软件与被测试软件的通讯机制,再利用脚本语言模拟键盘鼠标消息和对剪贴板的监控,通过检测被测试软件的输入信息、输出结果,实现维哈柯文通用软件标准符合性的自动检测。该研究成果已应用于维哈柯文通用软件标准符合性测试,有利于促进维哈柯文标准化的实施。 展开更多
关键词 维哈柯文标准 脚本语言 通用软件 标准 符合性检测
下载PDF
通信协议测试的形式化技术
18
作者 段之宓 《中央民族大学学报(自然科学版)》 2013年第3期47-55,共9页
自然语言协议的自动形式化是通信协议自动测试的前提,从而也是数据链协议自动测试的重要研究方向。此问题出现已久,但尚无可靠解决方案。隐词形理论和格语法是排岐能力很强的自然语言处理方法。运用此套方法。通过分析协议文本,确定隐... 自然语言协议的自动形式化是通信协议自动测试的前提,从而也是数据链协议自动测试的重要研究方向。此问题出现已久,但尚无可靠解决方案。隐词形理论和格语法是排岐能力很强的自然语言处理方法。运用此套方法。通过分析协议文本,确定隐词形特征,可编写出隐词形词典、隐词形语法规则以及自动机生成规则。根据这些词典、规则,可生成自然语言协议文本对应的自动机。本方案有助于解决自然语言协议文本自动形式化,实现通信协议测试的全面自动化。 展开更多
关键词 通信协议 数据链 一致性测试 自然语言处理 协议形式化 隐词形理论 格语法
下载PDF
全新的黑盒测试语言TTCN-3
19
作者 陈文刚 孟虹 《国外电子测量技术》 2001年第1期29-31,共3页
测试标准历来是协议标准的重要组成部分,TTCN第3版标准(TTCN-3)将于2001年正式发布,这一全新版本中灵活的测试语言对测试人员编写测试用例将有很大的帮助,了解和掌握这种语言对于针对协议测试特别是第三代移动通信协议测试的专业人员来... 测试标准历来是协议标准的重要组成部分,TTCN第3版标准(TTCN-3)将于2001年正式发布,这一全新版本中灵活的测试语言对测试人员编写测试用例将有很大的帮助,了解和掌握这种语言对于针对协议测试特别是第三代移动通信协议测试的专业人员来说是必不可少的,本文对学习这种测试语言将有很好的指导作用。 展开更多
关键词 TTCN-3 一致性测试 黑盒测试语言 协议测试
下载PDF
Predicting Amazon customer reviews with deep confidence using deep learning and conformal prediction 被引量:3
20
作者 Ulf Norinder Petra Norinder 《Journal of Management Analytics》 EI 2022年第1期1-16,共16页
In this investigation,we have shown that the combination of deep learning,including natural language processing,and conformal prediction results in highly predictive and efficient temporal test set sentiment estimates... In this investigation,we have shown that the combination of deep learning,including natural language processing,and conformal prediction results in highly predictive and efficient temporal test set sentiment estimates for 12 categories of Amazon product reviews using either in-category predictions,i.e.the model and the test set are from the same review category or cross-category predictions,i.e.using a model of another review category for predicting the test set.The similar results from in-and cross-category predictions indicate high degree of generalizability across product review categories.The investigation also shows that the combination of deep learning and conformal prediction gracefully handles class imbalances without explicit class balancing measures. 展开更多
关键词 Amazon customer reviews machine learning conformal prediction deep learning natural language processing temporal test sets
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部