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