面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例，这种方法缺乏理论支撑，导致测试覆盖性弱，测试结果缺乏说服力，较难形成行业标准.为了解决上述问题，提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先，通过对GB/T 27930—2015协议的详细解读，分析充电机和BMS之间的通信过程，使用FSM形式化语言描述充电机和BMS之间的充电过程，保证协议的不同实体之间的通信一致性.其次，在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列，进而得到最终的测试用例.在生成测试用例时，采用递归算法考虑前置用例，让每一个测试用例都有完整的输入输出.最后，生成的用例结果表明，基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑，而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.