基于规范变异的BGP-4健壮性测试研究  

Robustness-testing of BGP through Specification Mutations

作　　者：戴经国[1] 王乐春[2] 张春元[2] 羊四清[1] 

机构地区：[1]湖南人文科技学院计算机系,湖南娄底417000 [2]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《计算机应用研究》2007年第7期234-237,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(60573103)

摘　　要：提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程,提出场景模型来描述决策过程和更新过程的应用环境和控制参数,基于该模型通过定义场景单元、表达式、谓语、接口、行为和功能重新表述了RI-Pro过程,并提出了适用于BGP的RI-Pro的变异操作集合,通过规范变异方法构建了用于构造健壮性测试案例的关系集合。实验表明,使用该方法生成案例数目相对单纯依靠协议文本生成的反向测试案例在数量上提高24%,其检错能力是正向测试集的2.3倍。A systematic robustness testing approach was proposed. First the RI-Pro of BGP was analyzed. Then the scenario model was built to describe the applied environment and control parameters of the process of decision and route update. The new model studied the RI-Pro from the relationship of scenario units instead of the function of RI-Pro. Based on this model, gave a new specification of RI-Pro by redefining its scenario unit, expression, predicate, interface, action, and behavior. A mutation operator set for RI-Pro of BGP was presented, addressing ： scenario unit, expression and interface. Through specification mutating, the conflict relationships set which is used for constructing the robustness-testing case can be generated completely. All the above compose the systematic robustness testing approach. Experiments showed that the error handling coverage of the negative test suite generated by this approach is increased by 24 percent, and the error-detecting capability is enhanced by 1.3 times.

关 键 词：健壮性测试 边界网关协议 场景模型 规范变异 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]