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
M. Conrad, H. Doerr, I. Stuermer and P. Pepper, "Systematic Testing of Model-Based Code Generators," in IEEE Transactions on Software Engineering, vol. 33, no. , pp. 622-634, 2007.