期刊文献+
共找到143篇文章
< 1 2 8 >
每页显示 20 50 100
基于建模与仿真的完备协议测试验证技术
1
作者 肖鹏 聂嘉浩 +2 位作者 吴博 杨丰玉 郑巍 《中国测试》 北大核心 2025年第7期154-163,共10页
针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成... 针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成;利用模型仿真实现测试过程的动态视图与测试结果动态验证;最后,基本测试流程模型实现协议测试的完备性评估。该技术为模型驱动的完备协议测试验证提供系统化理论支撑和完整方案,通过实验表明,使用该技术的测试方法相比传统基于脚本驱动测试方法,能够缩短30%测试时间,减少50%测试设计出错率,且在首轮测试覆盖中提升70%覆盖率。 展开更多
关键词 协议测试 完备性评估 建模与仿真 模型驱动
在线阅读 下载PDF
基于UIO的协议测试序列生成方法的改进 被引量:12
2
作者 田野 屈玉贵 赵保华 《计算机工程与应用》 CSCD 北大核心 2000年第12期153-155,175,共4页
文章在FSM模型下基于UIO序列的协议测试生成算法的基础上,介绍了UIO(S)序列和IO(S,K)序列的生成算法.并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.最后,给出了完整的测试序列生成方法.
关键词 UIO序列 网络通信协议 协议测试生成算法
在线阅读 下载PDF
一种通信协议测试序列生成的新方法 被引量:7
3
作者 孙宇霖 屈玉贵 赵保华 《通信学报》 EI CSCD 北大核心 2001年第6期122-127,共6页
本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等... 本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。 展开更多
关键词 协议测试 构造类别代数规范 有限状态机 通信协议
在线阅读 下载PDF
路由协议测试研究——边界网关路由协议BGP-4测试 被引量:4
4
作者 赵邑新 吴建平 韩博 《通信学报》 EI CSCD 北大核心 2001年第9期91-98,共8页
现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点 ,现有测试系统的能力已经难以满足测试需求。本文介绍了在路由协议测试中进行的探索和实践 ,深入分析了路由协议的特点 ,在此基础上对现有测试方法... 现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点 ,现有测试系统的能力已经难以满足测试需求。本文介绍了在路由协议测试中进行的探索和实践 ,深入分析了路由协议的特点 ,在此基础上对现有测试方法的适用性进行考察 ,选择了相应的测试方法和结构 ;扩充了测试系统中的参考实现增强测试能力 ,设计了TTCN格式的测试集。通过测试实践 ,证实所用方法手段的有效性 。 展开更多
关键词 协议测试 通信协议 路由协议 网关 BGP-4协议
在线阅读 下载PDF
路由协议测试的窗口黑盒模型和多通道的测试方法 被引量:3
5
作者 赵邑新 韩博 +1 位作者 尹霞 吴建平 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1446-1453,共8页
路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率... 路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率和测试覆盖率 .通过与被测模块交互的其它模块 ,增强了测试的控制观察能力 ,测试例的执行时间相比原有方式下降 5 0 % ;消除或减小了以往不能测试的范围和内容 ,相应测试例个数增加 3倍以上 ; 展开更多
关键词 路由协议测试 测试方法 窗口黑盒模型 通信协议
在线阅读 下载PDF
基于TTCN的IPv6协议测试 被引量:4
6
作者 周斌 张英堂 +3 位作者 屈玉贵 方毅 刘桂英 徐骏 《小型微型计算机系统》 CSCD 北大核心 2004年第7期1256-1259,共4页
基于标准的协议测试描述语言 TTCN,设计了一种针对于 IPv6协议簇的软件接口 ,搭建了具体的网络测试环境 ,能够在该测试环境中进行 IPv6协议的一致性测试 .最后 ,作为例子 ,对 WIN2 0 0 0的 ICMPv6协议实现进行了测试 .
关键词 IPV6 一致性测试 TTCN ITEX 协议测试软件接口
在线阅读 下载PDF
基于协议集成测试系统的BGP-4协议测试 被引量:3
7
作者 赵邑新 吴建平 韩博 《计算机工程》 CAS CSCD 北大核心 2001年第8期12-14,106,共4页
针对BGP-4作为路由协议的特点,对现有测试方法进行了分析,选择了测试方法和测试结构;对参考实现进行了扩展,引入了动态计算等子模块以增强测试能力;TTCN格式的测试集采用自动生成和手工编写相结合的方式,以提高覆盖率;... 针对BGP-4作为路由协议的特点,对现有测试方法进行了分析,选择了测试方法和测试结构;对参考实现进行了扩展,引入了动态计算等子模块以增强测试能力;TTCN格式的测试集采用自动生成和手工编写相结合的方式,以提高覆盖率; BGP-4测试在协议集成测试系统(PITS)上进行,测试发现了包括Cisco产品在内的BGP-4协议实现中的错误,证实了测试工作的有效性。测试成果促进了国产高性能路由器的开发与改进,为其他路由协议的测试提供了有益的借鉴,同时增强了PITS系统的测试能力,扩大了系统的适用范围。 展开更多
关键词 协议测试 集成测试系统 边界网关协议 通信协议 BGP-4协议
在线阅读 下载PDF
一种模型驱动的协议测试故障注入引擎设计 被引量:3
8
作者 徐珞 吴际 刘超 《计算机工程与应用》 CSCD 北大核心 2007年第16期111-113,145,共4页
故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。
关键词 故障注入 协议测试 模型驱动测试
在线阅读 下载PDF
计算机网络协议测试及其发展 被引量:6
9
作者 毕军 史美林 《电信科学》 北大核心 1996年第7期51-54,共4页
协议测试已经成为计算机网络和分布式系统协议工程学中最活跃的领域之一。近年来,协议一致性测试技术得到了很好的发展和完善,与此同时,互操作测试和性能测试逐渐成为新的研究热点。本文在分析协议一致性测试的基础上,对协议测试的... 协议测试已经成为计算机网络和分布式系统协议工程学中最活跃的领域之一。近年来,协议一致性测试技术得到了很好的发展和完善,与此同时,互操作测试和性能测试逐渐成为新的研究热点。本文在分析协议一致性测试的基础上,对协议测试的发展进行讨论。 展开更多
关键词 协议工程学 协议测试 计算机网络
在线阅读 下载PDF
协议测试标准TTCN-3的实现 被引量:4
10
作者 杨敬峰 蒋凡 《计算机工程与应用》 CSCD 北大核心 2004年第5期119-121,共3页
TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结... TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结构,在提高测试效率的同时增强了测试系统的实用性。 展开更多
关键词 TTCN-3 协议测试 测试方法
在线阅读 下载PDF
基于Petri网进程的协议测试例生成方法及其实例 被引量:2
11
作者 范昊 束德勤 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期25-28,共4页
提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri... 提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。基于Petri网进程的协议测试例生成方法,使得协议的分析更加准确直观。 展开更多
关键词 协议测试 LAPD协议 PETRI网 Petri网进程
在线阅读 下载PDF
局域网协议测试仪的设计与实现 被引量:1
12
作者 郑啸 魏仰苏 《计算机工程》 CAS CSCD 北大核心 2005年第13期228-230,共3页
为了有效地管理网络,通常需要使用协议测试仪这样的工具。文章介绍了网络协议测试软件LPT-2000的体系结构和实现细节。通过对比测试表明,LPT-2000具有较高的包捕获能力和产生负载能力。
关键词 网络管理 协议测试 包捕获
在线阅读 下载PDF
协议测试系统中的测试管理研究 被引量:1
13
作者 尹霞 《计算机工程与设计》 CSCD 北大核心 1999年第4期1-6,共6页
测试管理是协议测试系统中一个重要的组成部分,但是一直没有得到系统地研制和论述,作者在给出了测试管理的定义后,详细讨论了测试管理的组成结构和设计实现。其中,根据实践定义的形式化的协议实现功能说明PIFS和协议实现参数说明PIP... 测试管理是协议测试系统中一个重要的组成部分,但是一直没有得到系统地研制和论述,作者在给出了测试管理的定义后,详细讨论了测试管理的组成结构和设计实现。其中,根据实践定义的形式化的协议实现功能说明PIFS和协议实现参数说明PIPS,不仅具有合理性和可实现性,而且为协议测试系统的研制开发提供了一种有益的实践。 展开更多
关键词 协议测试系统 测试管理 通信协议
在线阅读 下载PDF
应用于路由协议测试的增强参考实现
14
作者 赵邑新 尹霞 +1 位作者 韩博 吴建平 《小型微型计算机系统》 CSCD 北大核心 2004年第1期10-15,共6页
参考实现是协议测试系统中接收测试执行的命令和数据 ,通过服务提供者与被测模块进行通信的功能模块 .本文讨论了协议集成测试系统 (PITS)中参考实现的扩充和增强技术 .通过引入测试数据产生、动态计算等子模块增强其处理能力 ,通过引... 参考实现是协议测试系统中接收测试执行的命令和数据 ,通过服务提供者与被测模块进行通信的功能模块 .本文讨论了协议集成测试系统 (PITS)中参考实现的扩充和增强技术 .通过引入测试数据产生、动态计算等子模块增强其处理能力 ,通过引入多个通道以增强控制、观察能力 ,为适应高速网络的测试 ,将参考实现划分为接收子层和提交子层 ,与帧扩展等技术相配合 ,增强了参考实现的功能 ,解决了系统在路由协议测试中遇到的问题 ,提高了 PITS的灵活性和效率 ,并保证了 PITS的兼容性 .增强的参考实现在路由协议的测试中发挥了良好的作用 . 展开更多
关键词 参考实现 路由协议测试 测试系统 PITS
在线阅读 下载PDF
一种基于虚拟机机制的NTP同步协议测试方法
15
作者 江魁 罗雪晖 +1 位作者 张凡 杨文玲 《电信科学》 北大核心 2007年第2期84-87,共4页
协议的一致性测试是验证各协议实现遵循协议标准文本的过程,本文首先分析了传统的协议测试方法,随后针对这些方法在IPv6路由协议一致性测试中的不足提出了一种基于虚拟机的NTP(网络时间协议)同步协议测试方法,并阐述了该方法的实现原理。
关键词 网络时间协议 一致性测试 IPv6虚拟机 NTP同步协议测试
在线阅读 下载PDF
集成数据流和控制流的协议测试集自动生成方法研究
16
作者 王建国 潘启澍 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1998年第4期15-20,共6页
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。提出了一种基于EBE模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。EBE模型只对协议的外部行为进行描述,强调变迁之间的数据依赖... 测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。提出了一种基于EBE模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。EBE模型只对协议的外部行为进行描述,强调变迁之间的数据依赖性。在TUGEN中,我们引入控制流测试中的UIO序列算法和描述协议不确定性的AIO树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性。并采用测试集的验证技术分析测试集的覆盖能力。TUGEN工具已运用于OSI协议和TCP/IPRFC等协议的测试生成。 展开更多
关键词 测试 计算机网络 数据流 控制流 协议测试
在线阅读 下载PDF
协议测试中用户信息的形式化描述技术
17
作者 尹霞 吴建平 《计算机工程与科学》 CSCD 2000年第1期43-47,共5页
无论是协议的一致性测试、互操作测试还是协议性能的测试 ,都只有在接收了用户信息后才开始实际的测试工作。自定义的用户信息缺乏形式化的定义 ,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在... 无论是协议的一致性测试、互操作测试还是协议性能的测试 ,都只有在接收了用户信息后才开始实际的测试工作。自定义的用户信息缺乏形式化的定义 ,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在内容上进行了合理的划分 ,并对其进行了形式化定义 。 展开更多
关键词 协议测试 计算机网络 用户信息 PITS
在线阅读 下载PDF
一种面向对象的协议测试环境研究
18
作者 尹霞 吴建平 邹鸿 《计算机工程与应用》 CSCD 北大核心 1999年第5期13-17,共5页
该文介绍了协议集成测试系统PITS中的一个子系统─—面向对象的协议测试环境00-PTE,它包括消息管理机制、共享缓冲区管理机制、公用时钟、系统日志机制和辅助通道五个组成部分。OO-PTE解决了测试系统内部的通信和相互协调问题,前两... 该文介绍了协议集成测试系统PITS中的一个子系统─—面向对象的协议测试环境00-PTE,它包括消息管理机制、共享缓冲区管理机制、公用时钟、系统日志机制和辅助通道五个组成部分。OO-PTE解决了测试系统内部的通信和相互协调问题,前两个组成部分实现了测试系统中消息的传送功能,后三者是建立在前两者基础上的系统共享功能。基于面向对象协议的测试环境OO-PTE减少了模块间的耦合度,增强了可维护性,提高了协议测试系统的通用性。 展开更多
关键词 面向对象 协议测试环境 计算机网络 网络协议
在线阅读 下载PDF
SIP协议测试方法和测试工具的研究 被引量:5
19
作者 林浒 王阳 +2 位作者 雷为民 于东海 杜玲 《小型微型计算机系统》 CSCD 北大核心 2008年第3期406-410,共5页
介绍SIP性能测试领域的一些技术背景,包括在测试中使用的性能评价标准以及测试方案.在对SIP性能测试方法和测试工具综合研究的基础上,设计一种新的测试工具的工作模式以及媒体流的传输机制,使得这种测试工具能够支持大量的媒体流并发的... 介绍SIP性能测试领域的一些技术背景,包括在测试中使用的性能评价标准以及测试方案.在对SIP性能测试方法和测试工具综合研究的基础上,设计一种新的测试工具的工作模式以及媒体流的传输机制,使得这种测试工具能够支持大量的媒体流并发的测试,并且突破了对于媒体源进行编解码的难点,提出一种新的解决方案.这种SIP性能测试工具可以为被测系统提供全面准确的性能测试结果,提高了测试结果的可信度. 展开更多
关键词 SIP SIP性能测试 测试工具 SIP协议测试
在线阅读 下载PDF
基于LabVIEW的电池管理系统与充电机通信协议测试 被引量:2
20
作者 刘武 武国良 +3 位作者 徐冰亮 李晓宇 冯飞 朱春波 《现代电子技术》 2013年第17期114-117,共4页
为了促进电动汽车技术的标准化,实现对基于J1939协议的《电动汽车非车载传导式充电机与电池管理系统之间的通信协议》进行测试,利用NI PXI CAN接口板卡和LabVIEW软件开发平台构建J1939协议CAN通信平台,在此平台上模拟充电机,通过监测与... 为了促进电动汽车技术的标准化,实现对基于J1939协议的《电动汽车非车载传导式充电机与电池管理系统之间的通信协议》进行测试,利用NI PXI CAN接口板卡和LabVIEW软件开发平台构建J1939协议CAN通信平台,在此平台上模拟充电机,通过监测与电池管理系统通信的各报文发送接收状态来测试通信过程是否出现错误,将解析的通信信息以及错误类型通过用户界面显示。实验证明很好实现了J1939协议多帧传输机制,模拟了充电机与电池管理系统的通信,并能实时显示通信状态、指出错误类型。 展开更多
关键词 LABVIEW J1939协议 电池管理系统 充电机 协议测试
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部