基于场景模型的BGP-4健壮性测试  

Robustness-testing of BGP-4 based on scenario model

作　　者：戴经国[1] 王乐春[2] 钟海荣[2] 张春元[2] 

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

出　　处：《计算机应用》2006年第11期2536-2538,共3页journal of Computer Applications

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

摘　　要：提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程,建立场景模型来描述决策过程和更新过程的应用环境和控制参数,并基于该模型提出了健壮性测试案例生成方法。路由协议BGP的实际测试应用表明,该方法避免了组合爆炸问题,生成的反向测试集的检错能力是正向测试集的2.3倍。A new systematic robustness testing approach was proposed. Based on the analysis of RI-PRO, the scenario model was built to describe the applied environments and control parameters in decision and route update process. Then a new generation method of robustness-testing suite was presented. Some critical techniques related to the approach were investigated, such as the relationship set and the searching spaces of the robustness testing. Robustness testing of BGP indicates that this approach can avoid combinational explosion. Compared with positive test suit, the error-detecting ability of negative test suit generated by this approach is enhanced by 1.3 times.

关 键 词：BGP协议 路由信息处理 场景模型 健壮性测试 测试集 

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