Proceedings of the 2017 2nd International Conference on Machinery, Electronics and Control Simulation (MECS 2017)

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/).

Download article (PDF)

Volume Title
Proceedings of the 2017 2nd International Conference on Machinery, Electronics and Control Simulation (MECS 2017)
Series
Advances in Engineering Research
Publication Date
June 2016
ISBN
978-94-6252-352-4
ISSN
2352-5401
DOI
10.2991/mecs-17.2017.91How to use a DOI?
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  -