论文研究 基于规范变异的BGP4健壮性测试研究.pdf

提出了一种系统实现协议健壮性测试的新方法。该方法通过深入分析BGP的路由信息处理过程，提出场景模型来描述决策过程和更新过程的应用环境和控制参数，基于该模型通过定义场景单元、表达式、谓语、接口、行为和功能重新表述了RIPro过程，并提出了适用于BGP的RIPro的变异操作集合，通过规范变异方法构建了用于构造健壮性测试案例的关系集合。实验表明，使用该方法生成案例数目相对单纯依靠协议文本生成的反向测试案例在数量上提高24%，其检错能力是正向测试集的2.3倍。