您当前的位置：成果库 > 基于UIO序列法验证有限状态机所处状态的方法
253
2019/10/16
咨询成果
发布成果基本信息
- 成果类型 高等院校
- 委托机构 西安电子科技大学
- 成果持有方 西安电子科技大学
- 行业领域 通信
- 项目名称 基于UIO序列法验证有限状态机所处状态的方法
- 知识产权 发明专利
- 项目简介 本发明公开了一种基于UIO序列法验证有限状态机所处状态的方法，主要解决在通信协议内，某些状态不存在UIO序列时，无法使用UIO序列法，状态验证过程复杂的问题。其实现步骤为：1）化简通信协议的有限状态机；2）选择不存在UIO序列的状态作为待验证状态；3）选择与待验证状态具有相同输入、输出行为的状态作为校验状态；4）根据待验证状态和校验状态的输入、输出行为选择输入事件序列；5）根据被测系统的输出事件序列是否与有限状态机的规定相符，验证出待验证状态是否为预期状态。本发明扩展了UIO序列法的应用范围，简化了一致性测试集的生成过程并缩短生成的测试序列长度，可应用于通信协议的一致性测试中测试集的设计。
交易信息
- 意向交易额 面议
- 挂牌时间 2020/10/16
- 委托机构 西安电子科技大学
- 联系人姓名 王小刚
- 联系人电话 15802954800
- 联系人邮箱 745490733@qq.com
- 分享至：
