Robustness-testing of BGP through Specification Mutations
基于规范变异的BGP4健壮性测试研究*

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 cove-rage 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.