An automatic testing approach for compiler based on metamorphic testing technique

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2010, Pages 270-279

  Tao, Qiuming ^a   Wu, Wei ^a   Zhao, Chen ^a   Shen, Wuwei ^b  

^a INSTITUTE OF SOFTWARE   (China)

^b Western Michigan University   (United States)

Author keywords

Compiler; Metamorphic testing; Test automation; Test input generation; Test oracle

Indexed keywords

COMPILER; METAMORPHIC TESTING; TEST AUTOMATION; TEST INPUT GENERATION; TEST ORACLE;

AUTOMATION; ERRORS; FAULT DETECTION; PROGRAM COMPILERS; SEMANTICS; SOFTWARE DESIGN; TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 79951758281     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2010.39     Document Type: Conference Paper

References (22)

1. T. Yoshikawa, K. Shimura, and T. Ozawa, "Random program generator for Java JIT compiler test system," in Proc. QSIC'03, 2003, pp. 20-25.
2. C. Zhao, Y. Xue, Q. Tao, L. Guo, and Z. Wang, "Automated test program generation for an industrial optimizing compiler," in Proc. AST'09, 2009, pp. 36-43.
3. D. L. Bird and C. U. Munoz, "Automatic generation of random self-checking test cases," IBM Syst. J., vol. 22, no. 3, pp. 229-245, 1983.
4. C. J. Burgess and M. Saidi, "The automatic generation of test cases for optimizing fortran compilers," Information and Software Technology, vol. 38, no. 2, pp. 111 - 119, 1996. (Pubitemid 126349291)
5. T. Y. Chen, F. C. Kuo, T. H. Tse, and Z. Q. Zhou, "Meta-morphic testing and beyond," in Proc. STEP'03, 2003, pp. 94-100.
6. Z. Q. Zhou, D. H. Huang, T. H. Tse, Z. Yang, H. Huang, and T. Y. Chen, "Metamorphic testing and its applications," in Proc. ISFST'04, 2004.
7. A. Kalinov, A. Kossatchev, M. Posypkin, and V. Shishkov, "Using asm specification for automatic test suite generation for mpc parallel programming language compiler," in Proc. 4th Intl. Workshop on Action Semantics and Related Frameworks, 2002, pp. 96-106.
8. A. S. Kossatchev, A. K. Petrenko, S. B. Zelenov, and S. A. Zelenova, "Application of model-based approach for automated testing of optimizing compilers," in Proc. Intl. Workshop on Program Understanding, 2003, pp. 81-88.
9. W. McKeeman, "Differential testing for software," Digital Technical Journal of Digital Equipment Corporation, vol. 10, no. 1, pp. 100-107, 1998.
10. H. Samet, "Compiler testing via symbolic interpretation," in Proc. ACM'76, 1976, pp. 492-497.
11. A. S. Boujarwah and K. Saleh, "Compiler test case generation methods: A survey and assessment," Information and Software Technology, vol. 39, no. 9, pp. 617-625, 1997. (Pubitemid 127403210)
12. A. Kossatchev and M. Posypkin, "Survey of compiler testing methods," Programming and Computer Software, vol. 31, no. 1, pp. 10-19, 2005. (Pubitemid 40329579)
13. W. K. Chan, T. Y. Chen, H. Lu, T. H. Tse, and S. S. Yau, "Integration testing of context-sensitive middleware-based applications: A metamorphic approach," Intl. J. Software Engineering and Knowledge Engineering, vol. 16, no. 5, pp. 677-703, 2006. (Pubitemid 44600677)
14. T. Y. Chen, J. Feng, and T. H. Tse, "Metamorphic testing of programs on partial differential equations: A case study," in Proc. COMPSAC'02, 2002, pp. 327-333.
15. X. Xie, J. Ho, C. Murphy, G. Kaiser, B. Xu, and T. Y. Chen, "Application of metamorphic testing to supervised classifiers," in Proc. QSIC'09, 2009, pp. 135-144.
16. T. Y. Chen, F. C. Kuo, H. Liu, and S. Wang, "Conformance testing of network simulators based on metamorphic testing technique," in Proc. FMOODS'09/FORTE'09, 2009, pp. 243-248.
17. H. R. Nielson and F. Nielson, Semantics with Applications: A Formal Introduction. Wiley, 1992.
18. B. A. Malloy and J. F. Power, "An interpretation of purdom's algorithm for automatic generation of test cases," in Proc. 1st Annu. Intl. Conf. Computer and Information Science, 2001, pp. 310-317.
19. K. Kennedy and J. R. Allen, Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers, 2002.
20. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools (2nd Ed). Addison Wesley, 2006.
21. T. Y. Chen, D. H. Huang, T. H. Tse, and Z. Q. Zhou, "Case studies on the selection of useful relations in metamorphic testing," in Proc. JIISIC'04, 2004, pp. 569-583.
22. GCC Bugzilla. http://gcc.gnu.org/bugzilla.