可变报文格式测试工具设计方法

可变报文格式(VMF)测试工具旨在发现被测系统中 VMF 编解码功能的故障，本文设计了一种测试 VMF 语法规则及部分语义限制符合性的自动化测试工具。设计了测试工具框架，包括 VMF 数据元素字典、测试任务管理器、测试用例生成器、VMF 编解码器、测试报告生成器、格式转换接口等模块；针对编码及解码功能，设计了使用合法及非法测试用例的测试过程；从 VMF 语法规则、语义规则两个方面分析了测试需求，设计了可基于 VMF 数据元素字典自动生成的测试用例类型；给出了测试用例的生成方法：首先生成所有测试用例类型中的一种，然后通过修改该类型测试用例的报文内容或报文编码生成其它类型的测试用例，测试用例生成方法为多项式复杂度，有效地避免了组合膨胀。实验结果表明本文设计的测试工具是可行有效的。