基于UIO序列法验证有限状态机所处状态的方法

摘要

本发明公开了一种基于UIO序列法验证有限状态机所处状态的方法，主要解决在通信协议内，某些状态不存在UIO序列时，无法使用UIO序列法，状态验证过程复杂的问题。其实现步骤为：1）化简通信协议的有限状态机；2）选择不存在UIO序列的状态作为待验证状态；3）选择与待验证状态具有相同输入、输出行为的状态作为校验状态；4）根据待验证状态和校验状态的输入、输出行为选择输入事件序列；5）根据被测系统的输出事件序列是否与有限状态机的规定相符，验证出待验证状态是否为预期状态。本发明扩展了UIO序列法的应用范围，简化了一致性测试集的生成过程并缩短生成的测试序列长度，可应用于通信协议的一致性测试中测试集的设计。