-
题名IPv6中RIPng协议的一致性测试研究与实践
被引量：2
- 1
-
-
作者
喻星
尹霞
王之梁
陈东洛
-
机构
清华大学计算机科学与技术系网络实验室
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第20期117-119,共3页
-
基金
国家自然科学基金资助项目"下一代互联网络体系结构及其协议理论研究"(90104002)
国家"973"计划基金资助项目"新一代互联网体系结构理论研究"(2003CB314801)
国家"863"计划基金资助项目"lPv6协议测试技术"(2001AA121015)
-
文摘
协议的一致性测试是保证协议实现正确高效的重要手段。在介绍RIPng协议的基础上,提出了适合RIPng一致性测试的多端口的测试结构,采用适用于中继系统的穿越式测试法,设计了RIPng一致性测试集及相应的参考实现,并在CNGI骨干网设备选型中对7款路由器进行了测试实践。
-
关键词
RIPNG
一致性测试
多端口的测试结构
穿越式测试法
CNGI
-
Keywords
RIPng
Conformance test
Multi-port test structure
Traverse test method
CNGI
-
分类号
TP393.06
[自动化与计算机技术—计算机应用技术]
-
-
题名网络协议中的时间约束测试
被引量：2
- 2
-
-
作者
陈东洛
尹霞
吴建平
-
机构
清华大学计算机系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2002年第12A期1947-1952,共6页
-
基金
国家自然科学基金资(No.69725003
No.90104002)
国家863计划基金(No.2001AA112061)
-
文摘
对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.
-
关键词
网络协议
时间自动机
协议测试
PIP
测试生成Wp方法
TTCN
-
Keywords
timed automata
protocol testing
RIP
Wp method
TTCN
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
