• 基于形式化方法的分布式协议互操作性测试研究

    基于形式化方法的分布式协议互操作性测试研究

    论文摘要大部分网络协议具有分布式特征,需要由分布在网络设备中的协议实现共同协作完成一定的协议功能。协议互操作性测试是保证位于不同网络设备上的协议实现之间正确互连和协作的重要手段...