自动OSPF协议测试的形式化及算法

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程。首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试。在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足。将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量。