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

龙图腾网获悉北京大学申请的专利面向资源解耦的域名系统权威引擎自动化验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120950418B 。

龙图腾网通过国家知识产权局官网在2026-01-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511492445.0，技术领域涉及：G06F11/3668；该发明授权面向资源解耦的域名系统权威引擎自动化验证方法是由金鑫;向昱行;黄日林;郑乃千设计研发完成，并于2025-10-20向国家知识产权局提交的专利申请。

本面向资源解耦的域名系统权威引擎自动化验证方法在说明书摘要公布了：本申请公开了一种面向资源解耦的域名系统权威引擎自动化验证方法，涉及软件测试技术领域，该方法包括：先获取DNS权威引擎的目标代码以及顶层规范，然后根据目标代码的执行路径生成控制流图，并根据控制流图获取目标代码对应的效果的树，接着根据效果的树获取目标代码对应的函数摘要，并将函数摘要中的合并状态分割为多个单个具体状态值，获取即时函数摘要，并对即时函数摘要进行优化之后，采用顶层规范对优化得到的即时函数摘要进行自动化验证，通过即时函数摘要来捕捉DNS权威引擎对域名区域配置的依赖所带来的程序不变量，提升分层验证的自动化程度，与DNS权威引擎的具体实现解耦合，且可用性强，能够广泛用于生产实践中。

本发明授权面向资源解耦的域名系统权威引擎自动化验证方法在权利要求书中公布了：1.一种面向资源解耦的域名系统权威引擎自动化验证方法，其特征在于，包括： 获取目标代码以及顶层规范；其中，所述目标代码表征域名系统权威引擎代码，所述顶层规范表征域名系统权威引擎预期的正确实现； 根据所述目标代码的执行路径，生成控制流图，并根据所述控制流图获取目标代码对应的效果的树； 根据所述目标代码对应的效果的树，获取所述目标代码对应的函数摘要，并将所述函数摘要中的合并状态分割为多个单个具体状态值，获取即时函数摘要；其中，所述合并状态表征变量存在多个取值的状态； 对所述即时函数摘要进行状态取值验证、符号化区域处理以及冗余信息处理，得到优化之后的即时函数摘要； 以所述顶层规范为基础，对所述优化之后的即时函数摘要进行自动化验证，得到域名系统权威引擎对应的自动化验证结果； 所述得到优化之后的即时函数摘要，包括： 对所述即时函数摘要进行状态取值验证，确定即时函数摘要验证结果；其中，所述即时函数摘要验证结果包括验证成功或者验证失败； 在即时函数摘要验证结果为验证失败的情况下，重新生成即时函数摘要； 在即时函数摘要验证结果为验证成功的情况下，对所述即时函数摘要进行符号化区域处理，得到符号化之后的即时函数摘要；其中，所述符号化区域处理表征通过符号表示程序中的内存状态； 对所述符号化之后的即时函数摘要进行摘要编码优化处理，得到优化之后的即时函数摘要；其中，所述摘要编码优化处理表征去除无用节点以及去除相同数据的处理。

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

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