期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到147篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
MVB协议一致性测试研究与实现 被引量：26
1
作者 朱琴跃 谢维达 谭喜堂 《铁道学报》 EI CAS CSCD 北大核心 2007年第4期115-120,共6页
多功能车辆总线(MVB)是列车通信网络标准中明确定义的通信协议,用于车辆内部各功能设备间的信息传输。为了确保来自不同生产厂家的MVB设备的兼容性和互操作性,必须对各个MVB设备进行协议一致性测试。本文在简单介绍协议一致性测试基本... 多功能车辆总线(MVB)是列车通信网络标准中明确定义的通信协议,用于车辆内部各功能设备间的信息传输。为了确保来自不同生产厂家的MVB设备的兼容性和互操作性,必须对各个MVB设备进行协议一致性测试。本文在简单介绍协议一致性测试基本工作原理的基础上,分析了MVB协议的特点,提出了对MVB进行协议一致性测试的测试方法和应包括的测试内容。并以过程数据链路层协议为例,详细阐述了MVB设备的测试要求、测试实例的生成、测试运行及测试评估等具体的测试实现过程。最后基于上述测试原理,在实验室环境下设计并构建了基于PC104总线的80486硬件平台和μC/OS-II实时多任务操作系统软件平台的测试系统,完成了MVB过程数据链路层协议的高覆盖一致性测试,给MVB协议其他方面的一致性测试提供了一定的借鉴。 展开更多
关键词 列车通信网 协议一致性测试 MVB 实时协议 过程数据
下载PDF
TTCN-3测试系统的设计与实现 被引量：10
2
作者 蒋凡 季向东 曾凡平 《计算机工程》 EI CAS CSCD 北大核心 2005年第11期80-81,153,共3页
TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。
关键词 测试与测试控制记法(版本3) 测试系统 协议一致性测试
下载PDF
网络协议一致性测试研究综述 被引量：17
3
作者 朱雪峰 许建军 +2 位作者 邹彪 张哲 孙雷 《计算机科学》 CSCD 北大核心 2009年第12期5-7,36,共4页
一致性测试是网络协议验证中最为基本的部分。虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成... 一致性测试是网络协议验证中最为基本的部分。虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路。 展开更多
关键词 网络协议 一致性测试 形式化方法
下载PDF
计算机网络协议测试及其发展 被引量：6
4
作者 毕军 史美林 《电信科学》 北大核心 1996年第7期51-54,共4页
协议测试已经成为计算机网络和分布式系统协议工程学中最活跃的领域之一。近年来，协议一致性测试技术得到了很好的发展和完善，与此同时，互操作测试和性能测试逐渐成为新的研究热点。本文在分析协议一致性测试的基础上，对协议测试的... 协议测试已经成为计算机网络和分布式系统协议工程学中最活跃的领域之一。近年来，协议一致性测试技术得到了很好的发展和完善，与此同时，互操作测试和性能测试逐渐成为新的研究热点。本文在分析协议一致性测试的基础上，对协议测试的发展进行讨论。 展开更多
关键词 协议工程学 协议测试 计算机网络
下载PDF
一种新的UIO测试序列生成算法 被引量：11
5
作者 徐军委 赵保华 屈玉贵 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第6期710-715,共6页
基于贪心算法提出了寻找FSM(finitestatemachine)各个状态的UIO(uniqueinputoutput)序列的伪多项式时间算法,可以快速地找出FSM的UIO序列,基于“由近及远”的方法提出了寻找最短UIO测试序列的算法,可以找出FSM的最短UIO序列.
关键词 通信协议 一致性测试FSM UIO序列 贪心算法
下载PDF
TTCN-3在RRC协议一致性测试中的应用 被引量：14
6
作者 董宏成 张宁 李小文 《电子技术应用》 北大核心 2013年第7期117-120,共4页
设计了一种通过开发测试和测试控制表示法版本3(TTCN-3)抽象测试套进行测试的新方法。利用德国Testing tech公司开发的TTworkbench平台运行TTCN-3测试套,自动生成图形表示格式(GFT),有效验证了RRC层功能实现的一致性。目前该方案已成功... 设计了一种通过开发测试和测试控制表示法版本3(TTCN-3)抽象测试套进行测试的新方法。利用德国Testing tech公司开发的TTworkbench平台运行TTCN-3测试套,自动生成图形表示格式(GFT),有效验证了RRC层功能实现的一致性。目前该方案已成功应用于LTE系统TTCN扩展测试集仪表的项目开发中。 展开更多
关键词 TTCN-3 LTE 无线资源控制 协议一致性测试 图形表示格式
下载PDF
并发TTCN测试执行机的设计与实现 被引量：4
7
作者 张卫星 蒋凡 《软件学报》 EI CSCD 北大核心 2003年第3期606-611,共6页
提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而... 提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而且提供了可视化的测试执行跟踪界面,使错误定位变得更加容易.实现的执行机在附加上相应的PTI部分之后就可以进行测试,目前已投入使用. 展开更多
关键词 设计 通信协议 协议一致性测试 并发TTCN 报文传输接口 测试组件 测试组件配置
下载PDF
协议一致性测试平台的搭建及仿真实现 被引量：11
8
作者 陈发堂 牛勇清 +1 位作者 韩娜娜 徐莉 《电子技术应用》 北大核心 2014年第4期137-140,共4页
鉴于以往协议一致性测试平台整体框架的不完善,首先搭建了新的协议一致性测试平台,然后通过TTCN-3设计了关于重选测试套的新方案来进行仿真。通过将仿真图与原来GFT图比较得出了测试方案的优越性以及所搭建平台的合理性与可行性。
关键词 长期演进 协议一致性测试 测试套 测试平台 重选
下载PDF
网络协议测试生成方法综述 被引量：6
9
作者 朱振华 许毅平 周曼丽 《计算机工程与应用》 CSCD 北大核心 2005年第15期172-175,共4页
在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍。同时对基于扩展有限状态机、确... 在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍。同时对基于扩展有限状态机、确定有限状态机、标号变迁系统、外部行为描述等模型的方法也作了介绍。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。 展开更多
关键词 网络协议 一致性测试 测试生成
下载PDF
基于标号变迁系统的测试集自动生成 被引量：6
10
作者 蒋凡 宁华中 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1435-1445,共11页
首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ... 首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS. 展开更多
关键词 标号变迁系统 形式化方法 有限状态机 测试集 自动生成 网络协议 ISO9646
下载PDF
基于UIO序列的测试方法及UIO生成算法研究 被引量：7
11
作者 古军 蔡国永 董荣胜 《计算机工程与应用》 CSCD 北大核心 2005年第17期46-49,共4页
测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序... 测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。 展开更多
关键词 一致性测试 UIO序列 测试序列生成 有限状态机
下载PDF
基于XML的协议一致性测试系统的设计与实现 被引量：9
12
作者 李华 叶新铭 +1 位作者 曾敏 丁雪莲 《计算机科学》 CSCD 北大核心 2006年第10期275-278,共4页
本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以... 本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。 展开更多
关键词 协议 一致性测试 XML
下载PDF
一种形式化的协议互操作性测试方法 被引量：6
13
作者 郝瑞兵 吴建平 《计算机学报》 EI CSCD 北大核心 1997年第4期350-359,共10页
对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段．在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法．并发ＴＴＣＮ是一种能够处理并发测试行为描述的语言，我们通过使用标号变迁系统形式... 对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段．在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法．并发ＴＴＣＮ是一种能够处理并发测试行为描述的语言，我们通过使用标号变迁系统形式化地定义了它的操作语义，并描述了基于这种语言的操作语义的互操作性测试系统的测试执行和测试判决过程．我们认为这种方法对研究形式化的协议互操作性测试理论是很有帮助的． 展开更多
关键词 协议互操作性测试 协议一致性测试 标号变迁系统
下载PDF
协议一致性测试研究进展 被引量：8
14
作者 李强 余祥 +1 位作者 齐建业 许庆光 《西南科技大学学报》 CAS 2013年第4期85-92,共8页
协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术入手,... 协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术入手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。 展开更多
关键词 协议测试 一致性测试 测试序列 测试用例 形式化
下载PDF
一种基于形式化描述的测试序列生成改进方法 被引量：5
15
作者 张立东 刘积仁 李华天 《软件学报》 EI CSCD 北大核心 1995年第3期142-147,共6页
自动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题，特别是提出了“部分Ｔ序列叠加算法... 自动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题，特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进，大大减少了测试开销． 展开更多
关键词 形式化描述 软件测试 测试生成 软件工程
下载PDF
网络通信协议一致性测试研究 被引量：6
16
作者 姚学礼 《通信技术》 2009年第5期172-173,176,共3页
网络通信协议设计及开发的复杂性导致了协议工程技术的出现。文章主要研究协议测试理论中的一致性测试技术。在深入分析了一致性测试技术的原理及参考标准的基础上,针对现有的几种测试方法,分别阐述了它们各自的测试原理,并分析比较了... 网络通信协议设计及开发的复杂性导致了协议工程技术的出现。文章主要研究协议测试理论中的一致性测试技术。在深入分析了一致性测试技术的原理及参考标准的基础上,针对现有的几种测试方法,分别阐述了它们各自的测试原理,并分析比较了几种方法的优缺点及适用场合。 展开更多
关键词 网络通信协议 协议测试:一致性测试
原文传递
FF HSE和FF H1协议网关的基本原理与实现 被引量：5
17
作者 刘丹 于海斌 +1 位作者 王宏 吕勇 《信息与控制》 CSCD 北大核心 2004年第6期719-723,共5页
研究了通过协议转换式网关实现不同总线协议之间互联和互操作的基本原理 ,解决了在开发FFHSE和FFH1网关软件过程中的多个关键技术 .FF一致性测试软件包的测试结果表明该网关符合FF协议标准 .
关键词 网关 FF HSE协议栈 FF H1协议栈 协议转换 一致性测试
下载PDF
关于通信协议测试生成形式方法的探讨 被引量：2
18
作者 刘积仁 都军 《东北大学学报（自然科学版）》 EI CAS CSCD 1995年第2期165-170,共6页
结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别是：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法．并且，针对以上五种方法分别给出... 结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别是：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法．并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界． 展开更多
关键词 形式方法 测试序列 计算机通信 通信协议
下载PDF
基于Petri网的数据流与控制流相结合的协议测试 被引量：5
19
作者 李华 叶新铭 《内蒙古大学学报（自然科学版）》 CAS CSCD 1998年第5期702-709,共8页
提出一种数据流与控制流相结合的测试方法，在Ｐｅｔｒｉ网模型上对于控制流选定操作符覆盖标准，对于数据流采用ａｌ－ｄｅｆｓ标准。
关键词 协议 一致性测试 PETRI网 计算机 数据流 控制流
下载PDF
消防远程监控通信协议测试系统的研究 被引量：6
20
作者 李志刚 齐宝金 +1 位作者 张迪 杨树峰 《消防科学与技术》 CAS 北大核心 2012年第9期961-965,共5页
简介进行消防远程监控报警传输网络通信协议一致性测试的行业背景。介绍消防监控系统体系架构及一致性测试对象,详细说明通信模式和重发机制的检测、通信协议数据包结构检测,并简要说明应用数据单元检测。阐述一致性测试系统的框架设计... 简介进行消防远程监控报警传输网络通信协议一致性测试的行业背景。介绍消防监控系统体系架构及一致性测试对象,详细说明通信模式和重发机制的检测、通信协议数据包结构检测,并简要说明应用数据单元检测。阐述一致性测试系统的框架设计,建立对用户信息传输装置、监控中心和联机在线监测的测试模型,陈述进行一致性测试的积极意义。 展开更多
关键词 消防远程监控 通信协议 一致性测试
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
使用帮助 返回顶部