节点文献

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

免费订阅

【作者】 戴经国王乐春钟海荣张春元

【Author】 DAI Jing-guo 1,2, WANG Le-chun2, ZHONG Hai-rong2, ZHANG Chun-yuan2(1. Department of Computer Science and Technology, Hunan University of Humanities Science and Technology, Loudi Hunan 417000, China;2. School of Computer Science, National University of Defense Technology, Changsha Hunan 410073, China)

【机构】 湖南人文科技学院计算机科学技术系国防科学技术大学计算机学院国防科学技术大学计算机学院 湖南娄底417000国防科学技术大学计算机学院湖南长沙410073

【摘要】 提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程,建立场景模型来描述决策过程和更新过程的应用环境和控制参数,并基于该模型提出了健壮性测试案例生成方法。路由协议BGP的实际测试应用表明,该方法避免了组合爆炸问题,生成的反向测试集的检错能力是正向测试集的2.3倍。

【基金】 国家自然科学基金资助项目(60573103)~~
  • 【分类号】TP393.04
  • 【被引频次】2
  • 【下载频次】58
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: