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

龙图腾网获悉北京航空航天大学申请的专利以太坊虚拟机缺陷的根本原因检测方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119668913B 。

龙图腾网通过国家知识产权局官网在2026-01-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411742485.1，技术领域涉及：G06F11/07；该发明授权以太坊虚拟机缺陷的根本原因检测方法及装置是由高莹;马杰;刘亮鑫;郭蕾设计研发完成，并于2024-11-29向国家知识产权局提交的专利申请。

本以太坊虚拟机缺陷的根本原因检测方法及装置在说明书摘要公布了：本申请涉及以太坊虚拟机缺陷检测技术领域，特别涉及一种以太坊虚拟机缺陷的根本原因检测方法及装置，其中，方法包括：基于目标大语言模型生成以太坊虚拟机的测试用例；基于测试用例和预先构建的差分测试引擎，获取以太坊虚拟机的执行过程信息和执行结果；基于执行过程信息和执行结果，结合目标缺陷鉴别指标，判断以太坊虚拟机对操作码实现的源代码是否存在缺陷；如果以太坊虚拟机对操作码实现的源代码存在缺陷，则基于操作码实现的源代码和目标大语言模型确定缺陷的根本原因。由此，解决了相关技术中，无法生成语义有效且多样化的以太坊虚拟机测试用例，无法自动化鉴别以太坊虚拟机实现的缺陷并定位缺陷的根本原因等问题。

本发明授权以太坊虚拟机缺陷的根本原因检测方法及装置在权利要求书中公布了：1.一种以太坊虚拟机缺陷的根本原因检测方法，其特征在于，包括以下步骤： 基于目标大语言模型生成以太坊虚拟机的测试用例； 基于所述测试用例和预先构建的差分测试引擎，获取所述以太坊虚拟机的执行过程信息和执行结果； 基于所述执行过程信息和所述执行结果，结合目标缺陷鉴别指标，判断所述以太坊虚拟机对操作码实现的源代码是否存在缺陷；其中，所述目标缺陷鉴别指标包括所述以太坊虚拟机的返回值、燃气消耗和存储中的至少一个； 如果所述以太坊虚拟机对所述操作码实现的源代码存在缺陷，则基于所述操作码实现的源代码得到对应的操作码实现函数，并结合所述目标大语言模型确定所述缺陷的根本原因； 其中，所述基于目标大语言模型生成以太坊虚拟机的测试用例，包括： 基于以太坊执行层规范，确定所述以太坊虚拟机中操作码的第一提示词； 基于所述第一提示词，利用所述目标大语言模型得到实现所述操作码的第一种子生成器； 获取所述操作码实现函数的过程间控制流图； 基于所述第一种子生成器输出的种子、所述种子的助记词和所述过程间控制流图确定所述操作码实现函数的第二提示词； 基于所述第二提示词，利用所述目标大语言模型得到实现所述操作码的第二种子生成器，并利用所述第二种子生成器得到所述测试用例； 所述基于目标大语言模型生成以太坊虚拟机的测试用例，还包括： 判断所述第二种子生成器输出的种子是否需要变异； 如果所述种子需要变异，则随机获取所述操作码的操作数的边界值，以利用所述边界值代替所述种子的操作数，得到所述测试用例； 在基于所述测试用例和预先构建的差分测试引擎，获取所述以太坊虚拟机的执行过程信息和执行结果之前，还包括： 获取所述以太坊虚拟机的网络分叉； 获取所述以太坊虚拟机的账户状态； 获取所述以太坊虚拟机的全局状态； 基于相同的网络分叉、相同的账户状态、相同的全局状态构建所述差分测试引擎。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京航空航天大学，其通讯地址为：100191 北京市海淀区学院路37号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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