基于形式化方法的因特网路由协议的一致性测试

并发数表组合表述法(并发ttcn)是可以描述并发测试行为的测试表述法.该文提出一种基于并发ttcn的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构，然后给出基于并发ttcn测试系统的设计.最后介绍了测试集的设计.