Ein Testverfahren für optimierende Codegeneratoren |
| |
Authors: | Ingo Stürmer und Mirko Conrad |
| |
Institution: | (1) Forschung und Technologie, DaimlerChrysler AG, Alt-Moabit 96a, 10559 Berlin, Deutschland |
| |
Abstract: | Zusammenfassung Die im Rahmen der Modell-basierten Entwicklung eingebetteter Steuerungs- und Regelungssoftware eingesetzten optimierenden
Codegeneratoren müssen einer intensiven Qualit?tssicherung unterzogen werden. Dem Einsatz von Testsuiten kommt dabei eine
zentrale Rolle zu. Der Beitrag beschreibt den Aufbau einer modularen Testsuite für Codegeneratoren und schl?gt einen Testansatz
vor, der eine systematische Prüfung der vom Codegenerator angewendeten Optimierungstechniken erm?glicht.
The optimising code generators employed as part of the model-based development of embedded control software must undergo intensive
quality assurance. The use of test suites plays a central role in this process. This article describes the construction of
a modular test suite for code generators and proposes a testing approach which makes a systematic test of the optimisations
employed by the code generator possible.
CR Subject Classification I.6.4 I.6.5,D.2.5,I.2.2,D.3.4,D.3.4 |
| |
Keywords: | Model-based development Model-based code generation Optimizations Test suite Simulink/Stateflow |
本文献已被 SpringerLink 等数据库收录! |
|