摘要
提出了一种系统实现协议健壮性测试的方法,该方法首先在分析BGP协议状态机的基础上,认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性,就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM(robustnessfinitestatemachines),把RFSM模型应用到BGP健壮性测试当中,文章详细构造了BGP冲击集合和RFSM,生成了反向测试集,并对测试特征序列和测试预言等问题进行了讨论。Cisco7200实际测试应用表明,用该方法生成的测试集与一致性测试集相比,其错误处理的覆盖率扩大了54%,检错能力提高了2.8倍。
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 handling coverage of the negative test suite generated by this approach is increased by 54 percent, and the error-detecting capability is enhanced by 2.8 times.
出处
《通信学报》
EI
CSCD
北大核心
2005年第9期21-29,34,共10页
Journal on Communications
基金
国家"973"重点基础研究发展计划基金资助项目(2003CB314802)
国家自然科学基金资助项目(90204005)
国家"863"计划基金资助项目(2003AA121510
2005AA121570)
作者简介
王乐春（1971-），男，山东德州人，国防科技大学博士生，主要研究方向为网络基准测试、协议工程。
朱培栋（1971-），男，山东兖州人，博士，国防科技大学副教授、硕士生导师，主要研究方向为路由技术和网络安全。
龚正虎（1945-），男，湖南长沙人，国防科技大学教授、博士生导师，主要研究方向为路由器和交换机结构与实现技术，网络体系结构，新一代互联网路由与交换理论等。
