/SC04/
Ingo Stürmer, Mirko Conrad:
Code Generator Certification: A Testsuite-Oriented Approach

Workshop Automotive - Safety & Security, Stuttgart (D), Okt. 2004

+ Download

Abstract:
Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since this code is often deployed in safety-related environments, the quality of the code generators is of high importance. In order to gain confidence in their correct functioning, the use of test suites is a promising approach. This paper gives an overview of such a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is to test 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. As regards the actual certification situation for development tools, the test suite proposed could be a substantial contribution to current certification practises.