原创力文档- 0
- 0
- 约2.49万字
- 约 22页
- 2023-09-06 发布于四川
- 举报
本申请涉及一种状态机模型的状态标注与模型检测的方法及装置，其中，方法包括：映射约束模型与待检测状态机模型的输入和输出，得到分数计算方式；基于分数计算方式计算匹配分数，并根据匹配分数搜索待检测状态机模型状态到约束模型状态的最匹配映射关系；基于待检测状态机模型状态与约束模型状态之间的最匹配映射关系构建重组模型；使用约束模型标注重组模型的状态与重组模型相较于约束模型不一致的状态转移。由此，解决了相关技术中，在进行系统的测试时，由于模型学习方法得到的模型没有状态信息而需要开发和维护人员人工审计状态机模型
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 116701137 A
(43)申请公布日 2023.09.05
(21)申请号 202310485976.1
(22)申请日 2023.04.28
(71)申请人 北京航空航天大学
地址 1001
文档评论（0）