Automated test program generation for an industrial optimizing compiler

Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009

Volumn , Issue , 2009, Pages 36-43

  Zhao, Chen ^a   Xue, Yunzhi ^a   Tao, Qiuming ^a   Guo, Liang ^a   Wang, Zhaohui ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED APPROACH; AUTOMATED TEST; BENCHMARK TESTING; CHINESE ACADEMY OF SCIENCES; COMPILER OPTIMIZATIONS; ELECTRIC INDUSTRIAL CO.; INTEGRATED TOOLS; LOGIC MODELS; MATSUSHITA; OPTIMIZING COMPILERS; TEST PROGRAM; TEST REQUIREMENTS;

AUTOMATIC PROGRAMMING; AUTOMATION; COMPUTER SOFTWARE; TEMPORAL LOGIC; TEST FACILITIES; TESTING;

PROGRAM COMPILERS;

EID: 70349671765     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWAST.2009.5069039     Document Type: Conference Paper

References (15)

1. U. K. Banerjee. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Norwell, MA, USA, 1988.
2. F. Bazzichi and I. Spadafora. An automatic generator for compiler testing. IEEE Transactions on Software Engineering, 8(4):343-353, July 1982.
3. A. Bertolino. Software testing research: Achievements, challenges, dreams. In FOSE '07: 2007 Future of Software Engineering, pages 85-103, Washington, DC, USA, 2007. IEEE Computer Society.
4. A. S. Boujarwah, K. Saleh, and J. Al-Dallal. Testing syntax and semantic coverage of java language compilers. Information & Software Technology, 41(1):15-28, 1999.
5. The Embedded Microprocessor Benchmark Consortium, http://www.eembc.org/ about/. EEMBC.
6. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst., 9(3):319-349, 1987.
7. K. Kennedy and J. R. Allen. Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2002.
8. P. A. Z. S. Kossatchev, A. S. and S. Zelenova. Application of model-based approach for automated testing of optimizing compilers. In Proceedings of the International Workshop on Program Understanding, pages 81-88, 2004.
9. D. Lacey. Program transformation using temporal logic specifications. PhD thesis, Balliel College, University of Oxford, 2004.
10. R. Lammel. Grammar testing. In FASE '01: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, pages 201-216, London, UK, 2001. Springer-Verlag.
11. H. Li, M. Jin, C. Liu, and Z. Gao. Test criteria for context-free grammars. In COMPSAC '04: Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04), pages 300-305, Washington, DC, USA, 2004. IEEE Computer Society.
12. Matsushita Electric Industrial Co., Ltd., http://www.semicon.panasonic. co.jp/e-micom/MicomFamily/uniphier/about.html. What is UniPhier, 2008.
13. T. Rus and E. V. Wyk. Using model checking in a parallelizing compiler. Parallel Processing Letters, 8(4):459-471, 1998.
14. Standard Performance Evaluation Corporation, http://www.spec.org/cpu2006/ . SPEC CPU Benchmark.
15. Y. Xia. Loop optimization transformation using ctl specifications, in chinese. Master's thesis, Institute of Software, the Chinese Academy of Sciences, June 2006.