Code Testing
Das Wichtigste auf einen Blick
TESSY hat sich im Testprozess von BMW als unverzichtbar erwiesen. TESSY hat alle Anforderungen erfüllt und es ist geplant, auch in Zukunft mit TESSY zu testen. Diese Absicht wird durch den ausgezeichneten technischen Support von Hitex und Razorcat, dem Hersteller von TESSY, unterstützt.
TESSY ist eine unverzichtbare Hilfe beim Testen unseres automatisch generierten Codes.
TESSY Anwender: BMW
Die BMW Group ist einer der führenden Automobil- und Motorradanbieter Europas. Die drei Marken BMW, MINI und Rolls-Royce Motor Cars werden vom Hauptsitz des Konzerns in München aus gesteuert. BMW hat rund 100.000 Mitarbeiter.
Testen von automatisch generiertem Code
Im vorliegenden Projekt nutzt BMW TESSY zum Testen von Code, der hauptsächlich aus Matlab/Simulink-Modellen generiert wird, aber auch manuell geschriebenen Code enthält. Der Code wird mit einem Cross-Compiler für einen PowerPC MPC55xx von Freescale als Target kompiliert. Bei dem Produkt handelt es sich um ein intelligentes Batteriemanagementsystem für Lithium-Ionen-Zellen künftiger BMW-Hybridautos. Das Projekt ist gemäß der Norm ISO 26262 für ASIL C bewertet.
Auf den ersten Blick erscheint es sinnlos, automatisch generierten Code auf C-Quellebene zu testen. Dies ist jedoch nicht der Fall. Abgesehen davon, dass der manuell geschriebene Code ohnehin getestet werden muss, kann die Konvertierung der Gleitkomma-Arithmetik von der Modellsimulation auf dem PC in die Gleitkomma-Arithmetik auf dem Ziel fehlerhaft sein und muss daher ebenfalls getestet werden. Darüber hinaus können andere Ursachen für Probleme vorliegen. Tatsächlich wurde bei den Tests mit TESSY ein Compilerfehler festgestellt.
Oftmals bilden Signalkurven aus Simulink-Modellen die Testdaten. Es stellte sich heraus, dass solche Testdaten mithilfe von Microsoft Office Excel-Arbeitsmappen problemlos auf Tessy übertragen werden können. Testdaten in Excel-Arbeitsmappen können bequem zu/von TESSY übertragen werden.
Das Projekt umfasst etwa 40 Funktionen im Sinne der C-Sprache. Alle Funktionen außer den Hardware-Schnittstellenfunktionen werden mit TESSY getestet.