Dissertation zur Erlangung des akademischen Grades Doktor der Ingenieurwissenschaften: Der Einsatz modellbasierter Entwicklungsmethoden für die Entwicklung eingebetteter Software ist für die Industrie von hoher Bedeutung. Der Modellbasierten Codegenerierung kommt dabei eine Schlüsselrolle zu, da sie deutliche Effizienzgewinne gegenüber der traditionellen Programmierung ermöglicht. Voraussetzung hierfür ist aber, dass bei der automatischen Übersetzung bereits getesteter Modelle keine Fehler in die Software eingebracht werden. Häufige Fehlerquellen können hierbei Optimierungstechniken sein. Es mangelt derzeitig an Testmethoden, die solche Optimierungen umfassend und weitgehend automatisiert prüfen. Diese Lücke soll das hier vorgestellte Testverfahren schließen; es bietet und integriert Lösungsmöglichkeiten für vier zentrale Problemfelder beim Test von Codegeneratoren und deren Optimierungen.