%0 Journal Article
%T 基于形式化方法的因特网路由协议的一致性测试
%A 毕军？
%A 吴建平？
%J 软件学报
%P 427-434
%D 2000
%X 并发数表组合表述法(并发ttcn)是可以描述并发测试行为的测试表述法.该文提出一种基于并发ttcn的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构，然后给出基于并发ttcn测试系统的设计.最后介绍了测试集的设计.
%K 一致行测试
%K 分布式系统
%K 路由协议
%K 因特网
%K 并发数表组合表述法.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000401&flag=1