北京大学张路获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉北京大学申请的专利一种编译器测试预言生成及编译器测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120066933B 。
龙图腾网通过国家知识产权局官网在2025-11-14发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510214660.8，技术领域涉及：G06F11/3604；该发明授权一种编译器测试预言生成及编译器测试方法是由张路;刘逸达;朱明煊;郝丹设计研发完成，并于2025-02-26向国家知识产权局提交的专利申请。
本一种编译器测试预言生成及编译器测试方法在说明书摘要公布了：本发明公布了一种编译器测试预言生成及编译器测试方法，属于软件测试技术领域，通过对源代码与编译后的代码中间表示IR进行程序性质一致性验证，从而有效检测编译器在将程序源代码编译为最终可执行代码过程中的程序潜在缺陷。本发明方法能够有效提高编译器在处理复杂分支和控制流的源代码时对编译器的缺陷检测能力；同时，该方法无需构造单次执行的预期输出，减少了测试过程中的人工工作量，提高了测试效率和准确性。
本发明授权一种编译器测试预言生成及编译器测试方法在权利要求书中公布了：1.一种编译器测试预言生成及编译器测试方法，其特征在于，通过对源代码与编译后的代码中间表示IR进行程序性质一致性验证，无需构造单次执行的预期输出，有效检测编译器在将程序源代码编译为最终可执行代码过程中的程序潜在缺陷；包括如下步骤： 1获取具有多路径特性的测试程序，并生成测试程序的完整路径集合； 2将测试程序编译为中间代码IR后，识别并提取IR文件中的调试信息，利用调试信息将IR中的指令精确地映射到源代码的行号，从而建立源代码路径与IR路径之间的映射关系； 3基于生成的路径集合，对源代码路径进行可达性分析，判断关键代码行是否能够被执行；检查对应的IR代码行是否也被执行；包括： 31利用生成的源代码路径集合，对源代码中的关键代码行进行可达性分析，判断源代码路径集合其中的每一条源代码路径是否能够被执行； 32根据生成的IR路径集合，检查对应的IR代码路径是否同样被执行； 33若源代码路径被执行，但对应IR路径未被执行，则识别为编译器在生成IR时存在缺陷； 即实现基于程序执行路径的一致性检查生成编译器测试预言及编译器测试。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京大学，其通讯地址为：100871 北京市海淀区颐和园路5号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励