一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术.下一代互联网协议需要提供对实时应用的有效支持,然而已有互操作性测试相关研究中并没有考虑协议中的时间约束,现有互操作性测试技术很难应用于实时协议互操作性测试中.文中提出了一种形式化的实时协议互操作性测试方法.首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA(通信多端口时间输入输出自动机),基于该模型定义了时间互操作性关系;然后提出一种以时间互操作性关系为指导的测试生成方法,根据被测系统模型生成参数化测试行为树,在该方法中还集成了可执行性预判决机制,在一定程度上缓解了状态空间爆炸问题;最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中,验证了该方法的可行性.