【西部产学研在线-成果库】基于UIO序列法验证有限状态机所处状态的方法

您当前的位置：科技专利 > 基于UIO序列法验证有限状态机所处状态的方法

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

104

2019/10/16

咨询专利

发布专利

基本信息

专利类型高等院校
委托机构西安电子科技大学
专利持有方西安电子科技大学
行业领域通信
项目名称基于UIO序列法验证有限状态机所处状态的方法
知识产权发明专利
项目简介本发明公开了一种基于UIO序列法验证有限状态机所处状态的方法，主要解决在通信协议内，某些状态不存在UIO序列时，无法使用UIO序列法，状态验证过程复杂的问题。其实现步骤为：1）化简通信协议的有限状态机；2）选择不存在UIO序列的状态作为待验证状态；3）选择与待验证状态具有相同输入、输出行为的状态作为校验状态；4）根据待验证状态和校验状态的输入、输出行为选择输入事件序列；5）根据被测系统的输出事件序列是否与有限状态机的规定相符，验证出待验证状态是否为预期状态。本发明扩展了UIO序列法的应用范围，简化了一致性测试集的生成过程并缩短生成的测试序列长度，可应用于通信协议的一致性测试中测试集的设计。

交易信息