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

摘要

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