%0 Journal Article
%T Robustness-testing of BGP through Specification Mutations<br>基于规范变异的BGP4健壮性测试研究*
%A DAI Jing-guo
%A WANG Le-chun
%A ZHANG Chun-yuan
%A YANG Si-qing
%A <br>戴经国
%A 王乐春
%A 张春元
%A 羊四清
%J 计算机应用研究
%D 2007
%I 
%X 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.
%K robustness-testing
%K BGP
%K scenario model
%K specification mutations<br>健壮性测试
%K 边界网关协议
%K 场景模型
%K 规范变异
%K 规范
%K 变异
%K 健壮性测试
%K 研究
%K Mutations
%K 测试集
%K 能力
%K 检错
%K 文本生成
%K 依靠
%K 测试案例
%K 使用
%K 实验
%K 关系集合
%K 构造
%K 操作集
%K 重新表述
%K 功能
%K 行为
%K 接口
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=C793235A4E87B8F6A0E74D3E73D38B67&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=DF92D298D3FF1E6E&sid=D9AE183D3F5C3C75&eid=FE4C96E058BB2280&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=17