期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
路由协议一致性测试系统研究及实现 被引量:8
1
作者 李建 周颢 赵保华 《计算机工程与应用》 CSCD 北大核心 2005年第16期119-123,共5页
文章通过对路由协议特点的分析,指出了路由协议一致性测试所包含的内容和目的,根据测试的内容和对现有的测试方法和测试系统的研究,提出了一种针对路由协议一致性测试的分布式虚拟测试法,它使用一个控制模块组织多个虚拟测试体协同工作... 文章通过对路由协议特点的分析,指出了路由协议一致性测试所包含的内容和目的,根据测试的内容和对现有的测试方法和测试系统的研究,提出了一种针对路由协议一致性测试的分布式虚拟测试法,它使用一个控制模块组织多个虚拟测试体协同工作实现对待测体的测试。依据这种方法,实现了一个可扩展的路由协议测试系统,并完成了IPv6路由协议的一致性测试。文中以对OSPFv3的测试作为示例。 展开更多
关键词 一致性测试 路由协议 测试系统 ospfv3
在线阅读 下载PDF
TTCN-3测试系统的设计与实现 被引量:10
2
作者 蒋凡 季向东 曾凡平 《计算机工程》 EI CAS CSCD 北大核心 2005年第11期80-81,153,共3页
TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。
关键词 测试与测试控制记法(版本3) 测试系统 协议一致性测试
在线阅读 下载PDF
TTCN-3在RRC协议一致性测试中的应用 被引量:14
3
作者 董宏成 张宁 李小文 《电子技术应用》 北大核心 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
基于Tcl的路由协议一致性测试 被引量:7
4
作者 余营志 赵保华 屈玉贵 《北京邮电大学学报》 EI CAS CSCD 北大核心 2003年第z2期37-41,共5页
针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
关键词 一致性测试 路由协议 测试系统 TCL
在线阅读 下载PDF
路由协议一致性测试的系统设计 被引量:4
5
作者 杨晶 屈玉贵 赵保华 《计算机应用》 CSCD 北大核心 2001年第5期7-9,共3页
目前对通信协议进行一致性测试的方法和实现比较完善 ,而在对路由协议进行一致性测试方面的系统经验还比较少 ,本文基于实践工作的内容 ,提出了一种路由协议一致性测试系统的设计方法 ,并且讨论了实现过程中的一些问题。
关键词 路由协议 通信协议 一致性测试系统 系统设计 INTERNET
在线阅读 下载PDF
一种下一代路由协议测试框架及其实现 被引量:1
6
作者 李华 叶新铭 任彪 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第S1期80-82,共3页
给出了路由协议测试的测试目的、测试方法及测试集的表示方法 ,针对下一代路由协议测试可能在测试系统中产生的信息流的瓶颈问题 ,分析了问题的产生 ,提出了一种路由协议测试框架 。
关键词 路由协议 一致性测试 TTCN
在线阅读 下载PDF
基于MSC的网络游戏软件测试方法研究 被引量:1
7
作者 赵会群 苏玉兰 孙晶 《计算机应用研究》 CSCD 北大核心 2009年第1期146-148,161,共4页
针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体... 针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。 展开更多
关键词 网络游戏 消息顺序图 测试及测试控制表示法第3版 协议一致性测试 基于模型的测试
在线阅读 下载PDF
基于TTCN-3重建测试架构的设计与实现 被引量:2
8
作者 张德民 许小寒 +2 位作者 伍会娟 吴中华 张有缘 《自动化仪表》 CAS 2016年第3期13-16,22,共5页
对LTE接入演进型分组系统(EPS)网络架构进行了研究,构造出了对应网络架构中各模块的测试平台;然后对各模块功能进行分离与归纳,提出各模块的实现平台;并在此基础上搭建了无线资源管理(RRM)无线资源控制(RRC)连接重建测试例的一致性测试... 对LTE接入演进型分组系统(EPS)网络架构进行了研究,构造出了对应网络架构中各模块的测试平台;然后对各模块功能进行分离与归纳,提出各模块的实现平台;并在此基础上搭建了无线资源管理(RRM)无线资源控制(RRC)连接重建测试例的一致性测试平台;最后编写RRC连接重建测试例的测试脚本,并在此平台上进行验证。通过对验证结果进行分析,得出了测试用例设计的正确性以及测试平台的可行性与合理性。 展开更多
关键词 长期演进 无线资源管理 演进型系统网络架构 协议一致性测试平台 树表结合表示法 4G TTCN-3
在线阅读 下载PDF
Linux环境下的BGP4+一致性测试研究 被引量:1
9
作者 丁雪莲 《电子科技》 2011年第6期83-86,共4页
针对边界网关协议BGP4+进行了一致性测试研究,分析了BGP4+协议的特点,给出了用XML来描述BGP4+测试套的测试模板,并对BGP4+协议在Linux下的实现,进行了一致性测试,列举了部分测试结果,对测试结果进行分析,发现了被测实现与协议说明不一... 针对边界网关协议BGP4+进行了一致性测试研究,分析了BGP4+协议的特点,给出了用XML来描述BGP4+测试套的测试模板,并对BGP4+协议在Linux下的实现,进行了一致性测试,列举了部分测试结果,对测试结果进行分析,发现了被测实现与协议说明不一致的地方。 展开更多
关键词 路由协议 协议一致性测试 BGP4+ XML
在线阅读 下载PDF
基于TTCN-3的LISP协议一致性测试 被引量:2
10
作者 王文庆 张圣琨 《西安邮电大学学报》 2017年第4期109-113,共5页
应用测试和测试控制表示法第三版(testing and test control notation version 3,TTCN-3)设计了一种名址分离协议(locator/identity separation protocol,LISP)的一致性自动化测试系统。该系统根据LISP协议标准RFC6830和RFC6833,运用抽... 应用测试和测试控制表示法第三版(testing and test control notation version 3,TTCN-3)设计了一种名址分离协议(locator/identity separation protocol,LISP)的一致性自动化测试系统。该系统根据LISP协议标准RFC6830和RFC6833,运用抽象语法规则1(abstract syntax notation one,ASN.1)描述报文结构,设计测试用例,编写测试脚本。脚本通过自动下发配置,构造数据报文,完成交互过程。对LISP基本功能实现的9个测试点进行协议一致性测试,测试结果表明,9个测试点均通过测试。 展开更多
关键词 LISP TTCN-3 一致性测试
在线阅读 下载PDF
LTE系统RRC协议一致性测试例的设计与实现
11
作者 张宁 孟文超 李小文 《电视技术》 北大核心 2014年第7期80-83,共4页
以LTE(长期演进)系统RRC(无线资源控制)实现的协议一致性为目的,并结合LTE协议一致性测试的特点和实际开发经验,设计一种通过开发TTCN-3(测试和测试控制表示法版本3)测试例来验证协议一致性的新方案。并基于德国Testing Tech公司开发的T... 以LTE(长期演进)系统RRC(无线资源控制)实现的协议一致性为目的,并结合LTE协议一致性测试的特点和实际开发经验,设计一种通过开发TTCN-3(测试和测试控制表示法版本3)测试例来验证协议一致性的新方案。并基于德国Testing Tech公司开发的TTworkbench平台运行TTCN-3测试例,自动生成GFT图(图形表示格式),有效检验了RRC层功能实现的协议一致性。目前该方案已成功应用于LTE系统TTCN扩展测试集仪表开发的项目中。 展开更多
关键词 LTE 无线资源控制 协议一致性测试 TTCN-3 图形表示格式
在线阅读 下载PDF
基于形式化方法的因特网路由协议的一致性测试(英文)
12
作者 毕军 吴建平 《软件学报》 EI CSCD 北大核心 2000年第4期427-434,共8页
并发数表组合表述法 (并发 TTCN)是可以描述并发测试行为的测试表述法 .该文提出一种基于并发TTCN的分布式路由协议的测试方法 .首先讨论路由协议实体的测试结构 ,然后给出基于并发 TTCN测试系统的设计 .
关键词 一致行测试 路由协议 INTERNET网 形式化方法
在线阅读 下载PDF
一种有效的形式描述技术:GE-LOTOS
13
作者 赵玉兰 叶新铭 贾斌 《内蒙古大学学报(自然科学版)》 CAS CSCD 2000年第3期325-328,共4页
利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描... 利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描述的一个算法 . 展开更多
关键词 GE-LOTOS 形式描述技术 路由协议测试 工具软件
在线阅读 下载PDF
天地一体化网络新型路由协议一致性测试研究 被引量:2
14
作者 王庆 王之梁 +6 位作者 姚姜源 施新刚 尹霞 王鹏 陈健军 戴庆龙 牟超 《中国电子科学研究院学报》 北大核心 2018年第1期72-80,共9页
天地一体化网络是未来网络发展的一个重要方向,与传统网络相比,天地一体化网络具有拓扑动态变化、节点计算能力受限等特点,难以直接应用传统的路由协议。这种情况下,出现了面向天地一体化网络的OSPF+、BGP+等新型路由协议。针对新型路... 天地一体化网络是未来网络发展的一个重要方向,与传统网络相比,天地一体化网络具有拓扑动态变化、节点计算能力受限等特点,难以直接应用传统的路由协议。这种情况下,出现了面向天地一体化网络的OSPF+、BGP+等新型路由协议。针对新型路由协议的特点,采用形式化测试描述语言TTCN-3设计开发了适用于OSPF+、BGP+协议的一致性测试集。基于通用协议集成测试系统PITSv3,使用该测试集对新型路由协议进行了一致性测试,测试结果表明,该测试集能有效发现天地一体化网络新型路由协议实现与其设计规范的不一致,为新型路由协议的开发优化提供有力的帮助。 展开更多
关键词 天地一体化网络 路由协议 一致性测试 OSPF+ BGP+
在线阅读 下载PDF
基于TTCN-3的LDP一致性测试研究 被引量:2
15
作者 陈元 尹霞 王之梁 《计算机应用研究》 CSCD 北大核心 2009年第1期286-288,共3页
为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP... 为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。 展开更多
关键词 一致性测试 测试和测试控制表示法v3 协议集成测试系统v3 标记分发协议
在线阅读 下载PDF
一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建 被引量:7
16
作者 胡响 李勇 《西安科技大学学报》 CAS 2012年第6期765-767,780,共4页
TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LT... TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。 展开更多
关键词 TD—LTE 协议一致性测试 TTCN-3
在线阅读 下载PDF
下一代边界网关协议测试研究
17
作者 丁雪莲 《成都信息工程学院学报》 2011年第5期549-554,共6页
为了促进互联网协议第6版的顺利部署和提高第4+版边界网关协议实现的准确性和可靠性,对边界网关协议第4+版进行了协议一致性测试研究。通过分析该协议的工作机制,为其选择了相应的测试方法,然后针对协议的特点组建了测试实验网、开发了... 为了促进互联网协议第6版的顺利部署和提高第4+版边界网关协议实现的准确性和可靠性,对边界网关协议第4+版进行了协议一致性测试研究。通过分析该协议的工作机制,为其选择了相应的测试方法,然后针对协议的特点组建了测试实验网、开发了相应的测试系统、提出了边界网关协议第4+版的一致性测试规范,最后在Red Hat Linux 9.0环境下对边界网关协议第4+版的协议实现进行一致性测试,所获得的测试结果对第4+版边界网关协议产品的开发具有一定的指导意义。 展开更多
关键词 计算机应用技术 下一代互联网 边界网关协议第4+版 路由协议 协议一致性测试 互联网协议第6版 测试例
在线阅读 下载PDF
基于Petri网模型的OSPF路由算法的测试序列生成 被引量:1
18
作者 王红霞 叶新铭 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第3期340-343,共4页
OSPF协议是一种动态路由协议 ,它利用内部的链路状态数据库来维护和计算路由 ,它的路由算法是本协议的关键部分 .本文给出了路由算法的 Petri网模型 ,并使用控制流和数据流测试相结合的一种方法 ,在此基础上产生测试序列 .
关键词 动态路由协议 最短路径树 一致性测试 测试序列 变量使用 通讯协议 PETRI网模型
在线阅读 下载PDF
TD-SCDMA终端协议一致性测试方法 被引量:4
19
作者 曾年 曾莉 《数字通信》 2009年第6期49-52,共4页
通信设备的协议非一致性问题日趋严重。以我国提出的TD-SCDMA标准为基础,利用SDL提供的TTCN测试工具对终端协议栈GMM层路由更新过程进行测试与仿真,得出仿真的结果消息序列图MSC来介绍3GPP中的协议一致性测试过程。
关键词 TD-SCDMA移动通信系统 终端无线接口协议 一致性测试 路由更新过程 消息序列图
在线阅读 下载PDF
基于属性的协议互操作性测试的TTCN-3实现
20
作者 洪有芬 刘龙 李华 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第5期591-595,共5页
目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但... 目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率. 展开更多
关键词 互操作测试 路由协议 属性 TTCN-3
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部