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

龙图腾网获悉西北大学申请的专利一种基于测试用例生成和变异的MLIR定向模糊测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118606203B 。

龙图腾网通过国家知识产权局官网在2025-12-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410810008.8，技术领域涉及：G06F11/3668；该发明授权一种基于测试用例生成和变异的MLIR定向模糊测试方法是由汤战勇;童维媛;徐梦茹;曹博灿;王梓旭;叶贵鑫设计研发完成，并于2024-06-21向国家知识产权局提交的专利申请。

本一种基于测试用例生成和变异的MLIR定向模糊测试方法在说明书摘要公布了：本发明公开了一种基于测试用例生成和变异的MLIR定向模糊测试方法，包括如下步骤：步骤1、基于MLIR的tosa方言，通过提取操作规范，生成作为初始种子的测试用例IR，称作tosa图；步骤2、评估MLIR中方言的脆弱性，构建定向降级规则，引导IR沿着脆弱性方言定向降级，在定向降级过程中选择包含脆弱性方言的初始种子；步骤3、对步骤2产生的具有混合IR的中间结果进行变异，构建出用于收集变异所需必要信息的IR分析器，然后对IR执行混合变异和替换变异；步骤4、对测试用例IR进行逐级降级和转换，执行对MLIR的定向迷糊测试。本发明通过结合tosa图生成和变异技术，能够覆盖MLIR中多个方言和大量操作，提高了编译器的模糊测试效率。

本发明授权一种基于测试用例生成和变异的MLIR定向模糊测试方法在权利要求书中公布了：1.一种基于测试用例生成和变异的MLIR定向模糊测试方法，其特征在于，包括如下步骤： 步骤1、基于MLIR的tosa方言，通过提取操作规范，生成作为初始种子的测试用例IR，称作tosa图，具体过程为： 步骤1.1、通过解析MLIR中tosa操作的TableGen文件，定义每个tosa的操作规范，包括操作数、属性及结果的约束元组； 步骤1.2、将tosa图定义为有向无环图，使用图论描述tosa图的构造过程，生成tosa图，具体过程为：采用创建新分支、尾部插入和随机插入的方法逐步在有向无环图中插入随机操作，生成tosa图； 步骤2、评估MLIR中方言的脆弱性，构建定向降级规则，引导IR沿着脆弱性方言定向降级，在定向降级过程中选择包含脆弱性方言的种子，具体过程为： 步骤2.1、利用bug预测技术和专家模型对MLIR源代码进行评估，预测目标版本中各个模块的bug倾向分数，找出MLIR中易出错的脆弱性方言； 步骤2.2、构建定向降级规则，引导IR定向降级，全面覆盖MLIR中易出错的脆弱性方言； 步骤2.3、根据定向降级规则进行种子选择； 步骤3、对步骤2产生的具有混合IR的中间结果进行变异，构建出用于收集变异所需必要信息的IR分析器，然后对IR执行混合变异和替换变异； 步骤4、对测试用例IR进行逐级降级和转换，执行对MLIR的定向迷糊测试。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西北大学，其通讯地址为：710069 陕西省西安市太白北路229号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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