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

龙图腾网获悉上海航天计算机技术研究所申请的专利一种基于定制规则的嵌入式软件中断缺陷分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116483683B 。

龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310165397.9，技术领域涉及：G06F11/3604；该发明授权一种基于定制规则的嵌入式软件中断缺陷分析方法是由魏冬冬;尹龙雯;薛漭潮;高赛军;张风玲设计研发完成，并于2023-02-24向国家知识产权局提交的专利申请。

本一种基于定制规则的嵌入式软件中断缺陷分析方法在说明书摘要公布了：本发明公开了一种基于定制规则的嵌入式软件中断缺陷分析方法，包括步骤S1：建立嵌入式软件中断缺陷分析的规则知识库，包括可配置的中断源信息识别规则和中断缺陷识别规则；步骤S2：通过嵌入式软件源代码及相关配置文件生成程序语法分析树并根据程序语法分析树进行嵌入式软件的模块和结构分析；步骤S3：根据步骤S1的中断源信息识别规则和步骤S2的软件模块和结构信息，进行中断源信息识别和提取；步骤S4：用户根据识别出的中断源信息和业务需要，从规则知识库中选择待应用的中断缺陷分析规则，结合中断源信息定制新的符合场景需要的中断缺陷识别规则；步骤S5，结合步骤S2～S4的识别信息和规则信息，进行嵌入式软件中断缺陷分析并生成分析报表。

本发明授权一种基于定制规则的嵌入式软件中断缺陷分析方法在权利要求书中公布了：1.一种基于定制规则的嵌入式软件中断缺陷分析方法，其特征在于，包括以下步骤： 步骤S1：建立嵌入式软件中断缺陷分析的规则知识库，用于对嵌入式软件的中断相关缺陷进行分析提取，该知识库既包括可配置的中断源信息识别规则，也包括可配置的中断缺陷识别规则； 步骤S1的嵌入式软件中断缺陷分析的规则知识库，每条规则都包含了规则的名称、分类、所属标准、描述、识别特征，其中识别特征通过多种判定条件的逻辑组合共同确定，表示为判定条件四元组Li，Ti，Ci，Vi的集合，其中，Li为逻辑组合关系标识；Ti为参与判定的目标值；Ci为Ti判定的关系运算符；Vi为待判定的判定值，可由用户指定配置；若一条规则识别特征的所有判定条件按照Li逻辑表达式组合后的结果为真，该条规则被识别命中； 步骤S2：通过嵌入式软件源代码及相关配置文件生成程序语法分析树，并根据程序语法分析树进行嵌入式软件的模块和结构分析； 步骤S3：根据步骤S1的中断源信息识别规则和步骤S2的软件模块和结构信息，进行中断源信息识别和提取，用户可以对中断源信息识别和提取结果进行修改和确认； 步骤S4：用户根据识别出的中断源信息和业务需要，从规则知识库中选择待应用的中断缺陷分析规则，或结合中断源信息定制新的符合场景需要的中断缺陷识别规则； 步骤S5，结合步骤S2~步骤S4的识别信息和规则信息，进行嵌入式软件中断缺陷分析，并生成嵌入式软件中断缺陷分析报表。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海航天计算机技术研究所，其通讯地址为：201109 上海市闵行区中春路1777号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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