买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉航天中认软件测评科技(北京)有限责任公司申请的专利一种状态机检查方法、装置和计算机设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121303008B 。

龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511851657.3，技术领域涉及：G06F30/33；该发明授权一种状态机检查方法、装置和计算机设备是由赵国亮;左炳麟;侯俊平;李铁飞;金苍林;王书梅;李静;刘浩然设计研发完成，并于2025-12-10向国家知识产权局提交的专利申请。

本一种状态机检查方法、装置和计算机设备在说明书摘要公布了：本公开涉及计算机技术领域，尤其涉及一种状态机检查方法、装置和计算机设备；方法包括：获取状态机对应的语法树和目标检查事项，目标检查事项包括检查对象和检查规则；从语法树中查找与检查对象对应的目标子树；判断目标子树是否符合检查规则；根据判断结果确定状态机的规范性；本方案通过定位和遍历目标子树，实现了对状态机规范性的自动化检查，还降低了人工检查的成本，确保了检查覆盖率，还降低了在综合和仿真阶段出错的概率，提高了状态机的维护效率。

本发明授权一种状态机检查方法、装置和计算机设备在权利要求书中公布了：1.一种状态机检查方法，其特征在于，所述方法包括： 获取状态机对应的语法树和目标检查事项，所述目标检查事项包括检查对象和检查规则； 从所述语法树中查找与所述检查对象对应的目标子树； 判断所述目标子树是否符合所述检查规则； 根据判断结果确定所述状态机的规范性； 所述语法树中包括至少一个事件驱动节点和所述至少一个事件驱动节点中每一所述事件驱动节点对应的敏感信号列表，在所述获取状态机对应的语法树和目标检查事项之后，所述方法还包括： 针对每一个所述事件驱动节点，根据所述敏感信号列表中信号的信号类型，确定所述事件驱动节点的逻辑类型； 根据所述语法树中所述事件驱动节点的数量、各所述事件驱动节点的逻辑类型和以所述事件驱动节点为根节点的语法子树中包含的预设逻辑语句，确定所述状态机的结构类型； 所述逻辑类型包括时序逻辑和组合逻辑，所述预设逻辑语句包括寄存器更新语句、状态转移语句和输出语句中的至少一种，所述根据所述语法树中所述事件驱动节点的数量、各所述事件驱动节点的逻辑类型和以所述事件驱动节点为根节点的语法子树中包含的预设逻辑语句，确定所述状态机的结构类型，包括： 当所述语法树中存在一个时序事件驱动节点，且以所述时序事件驱动节点为根节点的语法子树中同时包括所述寄存器更新语句、所述状态转移语句和所述输出语句时，确定所述状态机的结构类型为一段式，所述时序事件驱动节点为逻辑类型为时序逻辑的事件驱动节点； 当所述语法树中存在一个所述时序事件驱动节点和一个组合事件驱动节点，且以所述时序事件驱动节点为根节点的语法子树中包括所述寄存器更新语句，以及以所述组合事件驱动节点为根节点的语法子树中包括所述状态转移语句时，确定所述状态机的结构类型为两段式，所述组合事件驱动节点为逻辑类型为组合逻辑的事件驱动节点； 当所述语法树中存在一个所述时序事件驱动节点和两个所述组合事件驱动节点，且以所述时序事件驱动节点为根节点的语法子树中包括所述寄存器更新语句，以第一组合事件驱动节点为根节点的语法子树中包括所述状态转移语句，以及以第二组合事件驱动节点为根节点的语法子树中包括所述输出语句时，确定所述状态机的结构类型为三段式，两个所述组合事件驱动节点中包括所述第一组合事件驱动节点和所述第二组合事件驱动节点。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人航天中认软件测评科技(北京)有限责任公司，其通讯地址为：100195 北京市海淀区闵庄路3号玉泉慧谷2号楼一层01室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。