网络协议中的时间约束测试

被引：12

作者：

陈东洛

尹霞

吴建平

机构：

[1] 清华大学计算机系,清华大学计算机系,清华大学计算机系北京,北京,北京

来源：

电子学报 | 2002年 / S1期

关键词：

时间自动机; 协议测试; RIP; 测试生成Wp方法; TTCN;

D O I：

暂无

中图分类号：

TN915.04 [通信规程、通信协议];

学科分类号：

080906 [电磁信息功能材料与结构];

摘要：

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.

引用

页码：1947 / 1952

页数：6