公开(公告)号：CN118606203A

公开(公告)日：2024-09-06

申请号：CN202410810008.8

申请日：2024-06-21

申请人： 西北大学

发明人： 汤战勇 ,  童维媛 ,  徐梦茹 ,  曹博灿 ,  王梓旭 ,  叶贵鑫

IPC分类号： G06F11/36

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