The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2007 vol.33)
pp: 622-634
ABSTRACT
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.
INDEX TERMS
Testing and Debugging
CITATION
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
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool