-
题名基于RFSM的健壮性测试技术研究
被引量：2
- 1
-
-
作者
王乐春
朱培栋
龚正虎
-
机构
国防科学技术大学计算机学院网络所
-
出处
《通信学报》
EI
CSCD
北大核心
2005年第9期21-29,34,共10页
-
基金
国家"973"重点基础研究发展计划基金资助项目(2003CB314802)
国家自然科学基金资助项目(90204005)
+1 种基金
国家"863"计划基金资助项目(2003AA121510
2005AA121570)
-
文摘
提出了一种系统实现协议健壮性测试的方法,该方法首先在分析BGP协议状态机的基础上,认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性,就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM(robustnessfinitestatemachines),把RFSM模型应用到BGP健壮性测试当中,文章详细构造了BGP冲击集合和RFSM,生成了反向测试集,并对测试特征序列和测试预言等问题进行了讨论。Cisco7200实际测试应用表明,用该方法生成的测试集与一致性测试集相比,其错误处理的覆盖率扩大了54%,检错能力提高了2.8倍。
-
关键词
健壮性测试
RFSM
反向测试集
BGP协议
-
Keywords
robusmess testing
RFSM
negative test suite
BGP
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
