论文信息 - Code Generator Testing in Practice

Code Generator Testing in Practice

This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testing of optimisations performed by the code generator. The test models and corresponding test vectors generated represent an important component in a comprehensive test suite for code generators.

Ingo Stürmer | Mirko Conrad

[1] Gabor Karsai,et al. On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..

[2] P D Edwards. THE USE OF AUTOMATIC CODE GENERATION TOOLS IN THE DEVELOPMENT OF SAFETY-RELATED EMBEDDED SYSTEMS. , 1999 .

[4] Matthias Grochtmann,et al. Classification trees for partition testing , 1993, Softw. Test. Verification Reliab..

[5] Mirko Conrad,et al. Automatisierung der Testauswertung für Steuergerätesoftware , 2003 .

[6] Ingo Stürmer,et al. Test suite design for code generation tools , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[7] Ingo Stürmer,et al. Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems , 2004, ICGT.

[8] S. Toeppe,et al. Practical validation of model based code generation for automotive applications , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[9] Joachim Wegener,et al. Evolutionary test environment for automatic structural testing , 2001, Inf. Softw. Technol..

[10] M Jungmann,et al. Automatische Code-Generierung fuer sicherheitskritische Systeme , 2003 .