%0 Journal Article
%T A Formal Approach to Conformance Testing of Internet Routing Protocols<br>基于形式化方法的因特网路由协议的一致性测试
%A BI Jun
%A WU Jian-ping
%A <br>毕军
%A 吴建平
%J 软件学报
%D 2000
%I 
%X Concurrent TTCN (tree and tabular combined notation) is a test notation that can handle concurrent test behaviors. This paper proposes an approach to the conformance testing of distributed routing protocols based on concurrent TTCN. It first discusses the test architecture for the routing protocol entity, and then the concurrent TTCN based test system design is presented. Finally, this paper introduces the test suite design.
%K Conformance testing
%K distributed system
%K routing protocol
%K internet
%K concurrent TTCN<br>一致行测试，分布式系统，路由协议，因特网，并发数表组合表述法.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0E39B4A650605A58&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=E158A972A605785F&sid=CB3428B1EFB1C133&eid=E57FE519484CFB70&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4