Compiler Testing Approach based on Generalized Equivalent Substitution
Authors
Xinwei Wu, Peng Zhang, Qiang Huang, Qirong Ma, Guanglei Shao, Pengcheng Li
Corresponding Author
Xinwei Wu
Available Online June 2016.
- DOI
- 10.2991/mecs-17.2017.91How to use a DOI?
- Keywords
- compiler, generalized equivalence substitution, mutation operator.
- 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.
- Copyright
- © 2017, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Xinwei Wu AU - Peng Zhang AU - Qiang Huang AU - Qirong Ma AU - Guanglei Shao AU - Pengcheng Li PY - 2016/06 DA - 2016/06 TI - Compiler Testing Approach based on Generalized Equivalent Substitution BT - Proceedings of the 2017 2nd International Conference on Machinery, Electronics and Control Simulation (MECS 2017) PB - Atlantis Press SN - 2352-5401 UR - https://doi.org/10.2991/mecs-17.2017.91 DO - 10.2991/mecs-17.2017.91 ID - Wu2016/06 ER -