BGP-4协议一致性测试序列生成  

Conformance Test Sequence Generation of BGP-4 Protocol

作　　者：葛猛[1] 赵保华[1] 

机构地区：[1]中国科学技术大学计算机系,合肥230027

出　　处：《计算机工程与应用》2005年第22期108-110,共3页Computer Engineering and Applications

基　　金：国家自然科学基金重大研究计划项目(编号:90104010);国家自然科学基金项目(编号:60241004);国家973重点基础研究发展规划项目(编号:2003CB314801)

摘　　要：该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入,易于自动化实现,同时生成的测试序列较短,提高了测试效率。A protocol test sequence generation method is introduced,in this method,finite state machine model is used as formal description technique,then test sequence is generated based on UIO sequence and Rural Chinese Postman Tour algorithm.Then the paper applies the method in the conformance test of BGP-4 protocol.This method takes formal description of protocols as input,and is easy to be automated,also generates a shorter test sequence,promotes the test efficiency.

关 键 词：BGP 协议一致性测试 有限状态机 UIO序列 

分 类 号：TN915.04[电子电信—通信与信息系统]