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

作　　者：王之梁[1,2] 尹霞[3,2] 景传明[3,2] 

机构地区：[1]清华大学信息网络工程研究中心 [2]清华信息科学与技术国家实验室(筹),北京100084 [3]清华大学计算机科学与技术系

出　　处：《中国科学（E辑）》2008年第10期1614-1635,共22页Science in China(Series E)

基　　金：国家重点基础研究发展计划(批准号:2003CB314801);国家自然科学基金(批准号:60572082)资助项目

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

关 键 词：协议测试 互操作性测试 实时测试 测试生成 时间输入输出 自动机TIOA 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]