Compiler Testing Approach based on Generalized Equivalent Substitution

Abstract

Abstract:The importance of the compiler is unquestionable. In order to better guarantee the correctness of the compiler, this paper presents a compiler testing approach based on generalized equivalent substitution. This approach tests the compiler by building a large number of equivalent assemblies. It can produce more test cases with fewer original test cases and effectively avoid a test oracle. We use the way implanting variants in SNL compilers to verify the validity of the compiler test approach based on generalized equivalence substitution. The experiment results show that our approach is effective and can detect errors in the compiler.