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

• 作者: 朱培栋 王乐春 龚正虎
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 健壮性测试 RFSM 反向测试集 BGP协议
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 学术论文
• 页码范围: 21-29,34
• 页数: 10页
• 分类号: TP393
• 字数: 8495字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2005.09.004

摘要

提出了一种系统实现协议健壮性测试的方法,该方法首先在分析BGP协议状态机的基础上,认为基本FSM对功能部分和健壮性处理部分未能严格区分.要提高FSM的健壮性,就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM(robustness finite state machines),把RFSM模型应用到BGP健壮性测试当中,文章详细构造了BGP冲击集合和RFSM,生成了反向测试集,并对测试特征序列和测试预言等问题进行了讨论.Cisco 7200实际测试应用表明,用该方法生成的测试集与一致性测试集相比,其错误处理的覆盖率扩大了54%,检错能力提高了2.8倍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱培栋	国防科学技术大学计算机学院网络所	89	1007	16.0	29.0
2	龚正虎	国防科学技术大学计算机学院网络所	54	879	15.0	29.0
3	王乐春	国防科学技术大学计算机学院网络所	6	32	3.0	5.0