MLIR编译器编译语义不一致缺陷模糊测试方法及系统

本发明公开了一种MLIR编译器编译语义不一致缺陷模糊测试方法及系统，S1，进行MLIR编译器测试程序中所有潜在的未定义行为操作消除，获得风险消除后的所有已定义行为操作；S2，根据已定义行为操作确定所述已定义行为操作的最优下降路径，将所述已定义行为操作转换为MLIR编译器测试程序的可执行程序；S3，执行S2的所述MLIR编译器测试程序的可执行程序，进行所述可执行程序是否被MLIR编译器正确编译的差分测试。