-
题名在协议集成测试系统上开展路由协议测试
- 1
-
-
作者
赵邑新
尹霞
吴建平
-
机构
清华大学计算机系
-
出处
《高技术通讯》
EI
CAS
CSCD
2002年第2期10-15,20,共7页
-
基金
863计划 ( 863 30 0 0 2 0 8 0 9)
国家自然科学基金 ( 69682 0 0 2
6972 5 0 0 3)资助项目
-
文摘
在分析路由协议的特性及其测试需求的基础上 ,提出利用窗口黑盒来描述被测协议 ,利用多通道测试方法扩展对被测实现的控制和观察 ,通过扩充参考实现增强系统的测试能力。将这些理论、技术应用于系统中 ,对路由协议开展了有效的测试活动 ,为国产高性能路由器的开发提供了有力的支持 。
-
关键词
协议集成测试系统
路由协议
测试方法
网络
-
Keywords
Protocol integrated test system, Routing protocols, Test method, Reference implementation
-
分类号
TN915.06
[电子电信—通信与信息系统]
-
-
题名基于形式化技术的帧中继信令协议一致性测试研究
- 2
-
-
作者
韩博
姬雷生
尹霞
-
机构
清华大学计算机科学与技术系网络所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第12期1425-1429,共5页
-
基金
国家自然科学基金支持 ( No.69682 0 0 2
No.6972 5 0 0 3)
-
文摘
帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 。
-
关键词
形式化技术
帧中继
信令协议
一致性测试
帧中继信令协议
协议集成测试系统
计算机网络
-
Keywords
protocol conformance testing
frame relay signalling protocol
TTCN
protocol integrated test system
-
分类号
TN919.22
[电子电信—通信与信息系统]
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名密钥交换协议性能测试研究
被引量：1
- 3
-
-
作者
孙卫平
尹霞
施新刚
-
机构
清华大学计算机科学与技术系
-
出处
《计算机应用》
CSCD
北大核心
2006年第4期824-827,共4页
-
基金
国家自然科学基金资助项目(90104002)
国家973规划资助项目(2003CB314801)
-
文摘
提出了一种针对密钥交换(IKE)协议性能的黑盒测试方法,该方法基于自主开发的协议集成测试系统平台。针对IKE协议的特点设计了灵活的测试集,并对主机上的IKE实现进行了测试,分析了各种参数对IKE性能的影响。该方法可用于测试多种不同设备上的IKE实现。
-
关键词
密钥交换协议
性能测试
协议集成测试系统
-
Keywords
Intcrnet Key Exchange（IKE） protocol
performance test
Protocol Integrated Test System（PITS）
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于TTCN-3的LDP一致性测试研究
被引量：2
- 4
-
-
作者
陈元
尹霞
王之梁
-
机构
清华大学计算机科学与技术系
清华大学信息网络工程研究中心
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第1期286-288,共3页
-
基金
国家自然科学基金资助项目(60572082)
-
文摘
为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。
-
关键词
一致性测试
测试和测试控制表示法v3
协议集成测试系统v3
标记分发协议
-
Keywords
conformance test
TTCN-3
PITSv3 （ protocol integrated testing system version 3 ）
label distribution protocol （ LDP ）
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
