Issue No.09 - September (2007 vol.33)
Unlike for conventional compilers for imperative programming languages such as C or ADA, no establishedmethods for safeguarding artifacts generated by model-based code generators exist despite progress in the field of formalverification. Several test approaches dominate the engineering practice. This paper describes a general and toolindependenttest architecture for code generators used in model-based development. We evaluate the effectiveness of ourtest approach by means of testing optimizations performed by the TargetLink code generator, a widely accepted andcomplex development tool used in automotive model-based development.
Testing and Debugging
Ingo Stuermer, Mirko Conrad, Heiko Doerr, Peter Pepper, "Systematic Testing of Model-Based Code Generators", IEEE Transactions on Software Engineering, vol.33, no. 9, pp. 622-634, September 2007, doi:10.1109/TSE.2007.70708