基于规范变异的BGP-4健壮性测试研究摘要：提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程，提出场景模型来描述决策过程和更新过程的应用环境和控制参数，基于该模型通过定义场景单元、表达式、谓语、接口、行为和功能重新表述了RI－Pro过程，并提出了适用于BGP的RI－Pro的变异操作集合，通过规范变异方法构建了用于构造健壮性测试案例的关系集合。实验表明，使用该方法生成案例数目相对单...
