一种编译器测试预言生成及编译器测试方法

本发明公布了一种编译器测试预言生成及编译器测试方法，属于软件测试技术领域，通过对源代码与编译后的代码中间表示IR进行程序性质一致性验证，从而有效检测编译器在将程序源代码编译为最终可执行代码过程中的程序潜在缺陷。本发明方法能够有效提高编译器在处理复杂分支和控制流的源代码时对编译器的缺陷检测能力；同时，该方法无需构造单次执行的预期输出，减少了测试过程中的人工工作量，提高了测试效率和准确性。