浏览全部资源
扫码关注微信
1. 国防科学技术大学计算机学院网络所
2. 国防科学技术大学计算机学院网络所,湖南,长沙,410073
纸质出版日期:2005
移动端阅览
王乐春, 朱培栋, 龚正虎. 基于RFSM的健壮性测试技术研究[J]. 通信学报, 2005,(9):21-29.
WANG Le-chun, ZHU Pei-dong, GONG Zheng-hu. BGP robustness testing based on RFSM[J]. 2005, (9): 21-29.
提出了一种系统实现协议健壮性测试的方法
该方法首先在分析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.
0
浏览量
83
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构