基于等价拓扑合成的内部网关协议差分测试方法和系统

本发明公开一种基于等价拓扑合成的内部网关协议差分测试方法和系统，使用计算机理论领域的图建模技术、程序分析领域中的等价程序生成技术、以及软件测试领域的差分测试理念，自动化地捕获路由协议实现程序中存在的缺陷。该方法能够随机生成符合协议规范的路由网络，并系统性地合成多组语义等价的拓扑程序，通过将这些程序输入路由协议实现进行模拟运行，差分其测试结果，以无需人工期望结果的方式，高效发现协议实现程序中的一致性缺陷和标准偏离问题。