基于RFSM的健壮性测试技术研究BGProbustnesstestingbasedon.PDFVIP

第 26 卷第 9 期 通 信 学 报 Vol.26 No.9 2005 年 9 月 Journal on Communications September 2005 基于 RFSM 的健壮性测试技术研究 王 乐春 ，朱培栋 ，龚正虎 （国防科学技术大学 计算机学院网络所，湖南 长沙 4 10073 ） 摘 要：提出了一种系统实现协议健壮性测试的方法，该方法首先在分析 BGP 协议 态机的基础上，认为基本 FSM 对功能部分和健壮性处理部分未能严格区分。要提高 FSM 的健壮性，就需要通过增加 态、迁移和事件的 基础上构造具有健壮性处理过程的RFSM(robustness finite state machines) ，把 RFSM 模型应用到 BGP 健壮性测试 当中，文章详细构造了BGP 冲击集合和 RFSM ，生成了反向测试集，并对测试特征序列和测试预言等问题进行了 讨论。Cisco 7200 实际测试应用表明，用该方法生成的测试集与一致性测试集相比，其错误处理的覆盖率扩大了 54% ，检错能力提高了2 8 倍。 关键词：健壮性测试；RFSM ；反向测试集；BGP 协议 中图分类号：TP393 文献标识码 ：A 文章编号：1000-436X(2005)09-002 1-09 BGP robustness testing based on RFSM WANG Le-chun， ZHU Pei-dong， GONG Zheng-hu (Sc ool of Computer, National University of Defense Tec nology, C angs a 410073, C ina) Abstract: A systematic robustness testing approach was proposed The testing approach first inspected the disadvantages of the original concept of FSM that mixed the function procedure and the robustness procedure Then by adding states, events, and transitions to resist various impacts, the RFSM (robustness finite state machines), which an FSM Model has robustness procedures, was constructed Some important problems of generating negative test cases based on RFSM were also discussed: the characteristic sequence of robustness procedures and the test oracle Compared with the conformance test suite, robustness testing of BGP-4 (Border Gateway Protocol 4) shows that the error handlin