中文摘要：

提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析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.