论文部分内容阅读
协议互操作性测试是一种保证网络通信协议实现质量的重要技术.下一代互联网协议需要提供对实时应用的有效支持,然而已有互操作性测试相关研究中并没有考虑协议中的时间约束,现有互操作性测试技术很难应用于实时协议互操作性测试中.文中提出了一种形式化的实时协议互操作性测试方法.首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA(通信多端口时间输入输出自动机),基于该模型定义了时间互操作性关系;然后提出一种以时间互操作性关系为指导的测试生成方法,根据被测系统模型生成参数化测试行为树,在该方法中还集成了可执行性预判决机制,在一定程度上缓解了状态空间爆炸问题;最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中,验证了该方法的可行性.
Protocol interoperability testing is an important technology to ensure the quality of network communication protocols.Next-generation Internet protocols need to provide effective support for real-time applications, but the related research in interoperability testing does not consider the time constraints in the protocol, The existing interoperability testing technology is difficult to apply to the real-time protocol interoperability testing.This paper presents a formal real-time protocol interoperability testing method.First, a protocol used to describe real-time protocol interoperability testing System formal model CMpTIOA (communication multi-port time input and output automata), defines the time interoperability relationship based on the model; and then proposes a test generation method guided by time interoperability relationship. According to the measured system model Generating a parameterized test behavior tree, the method also integrates the executable pre-judgment mechanism, to a certain extent, mitigated the state space explosion problem; Finally, the proposed theory and method used in the IPv6 neighbor discovery protocol interoperability testing In the verification of the feasibility of the method.