MicroNova und ALL4TEC kooperieren bei Automotive-Testautomatisierung

Zur wechselseitigen Unterstützung bei Distribution und Schulung kooperieren MicroNova und die französische ALL4TEC. Die Zusammenarbeit erstreckt sich auf EXAM als Lösung zur Testautomatisierung, und MaTeLo, ALL4TECs Tool zur Testmodellierung. Entwicklungsingenieuren soll somit ein durchgängiges Paket für visualisiertes und automatisiertes Testen geboten werden.

Da die Komplexität von Testumfängen im Automotive-Bereich stetig zunimmt, werden Testfälle vermehrt systematisch richtlinienbasiert aus Modellen mit Hilfe von Lösungen wie etwa EXAM und MaTeLo generiert. Durch die Kombination der Testautomatisierung EXAM und dem Test-Modellierungswerkzeug MaTeLo lassen sich effektive Testfälle im Rahmen einer speziellen Teststrategie erstellen.

Im Zuge der Kooperation agiert MicroNova als exklusiver Partner von ALL4TEC, wenn EXAM und MaTeLo gemeinsam zum Einsatz kommen. Insbesondere im Volkswagen Konzern – Porsche einbezogen – wird MicroNova für ALL4TEC tätig sein. Darüber hinaus werden weitere Kunden in Deutschland beim Einsatz von MaTeLo unterstützt. Zudem wird MicroNova als Software-Distributor für MaTeLo im deutschsprachigen Raum sowie in Tschechien auftreten und First Level Support sowie Wartung für MaTeLo anbieten. Im Gegenzug wird ALL4TEC in Frankreich, Belgien und der französischsprachigen Schweiz exklusiver Distributionspartner für EXAM. Beide Unternehmen werden in ihrem Sprachraum zertifizierte Trainingscenter einrichten und betreiben.

EXAM (EXtended Automation Method)
MicroNova hatte die erste Version von EXAM im Jahr 2006 gemeinsam mit der AUDI AG und der Volkswagen AG zur Prüfstandsautomation entwickelt; seitdem ist die grafische Testautomatisierung zur Unterstützung des Testprozesses konzernweit und bei zahlreichen Zulieferern aus der Automotive-Branche im Einsatz. Seit Mitte 2009 ist EXAM als Freeware mit Open-Source-Basisbibliotheken für Plattformanbindungen bei MicroNova über die Website www.exam-ta.de erhältlich. Da der Entwicklungsprozess im Automotive-Sektor einem steten Wandel unterworfen ist, muss auch die zum Testen verwendete Tool-Kette an diese neuen Anforderungen anpasst werden. Aus diesem Grund werden mit EXAM 3.0, das im Januar 2011 erscheinen wird, zahlreiche neue Features veröffentlicht, die dem Tester die Arbeit erleichtern und neue Anwendungsbereiche für die Testautomatisierung erschließen.

So wurde neben zahlreichen anderen neuen Funktionen ein grafischer Debugger integriert; dieser ermöglicht es dem Anwender, seinen Code sowohl auf UML-Ebene (grafisch) als auch auf Python-Code-Ebene zu analysieren und Fehler in der Programmierung zu finden. Um auch Bereiche bedienen zu können, die mit stark zustandsbasierten Systemen arbeiten (Beispiel Infotainment), können parallele Abläufe modelliert werden. Damit wird EXAM 3.0 der Weiterentwicklung im Automotive-Sektor gerecht und stellt dem Anwender ein noch leistungsfähigeres Testwerkzeug zur Verfügung. Ab Seite 7 dieser Ausgabe wird detailliert über die neuen Features berichtet.

MaTeLo (Markow Test Logic)
MaTeLo ist ALL4TECs Lösung für modellbasiertes Testen, die u.a. OEMs in Frankreich einsetzen und die auch von der AUDI AG genutzt wird. Die Software stellt professionelle und nützliche Features für Unternehmen in den Bereichen Automotive, Schienenverkehr, Energie und IT zur Verfügung. MaTeLo besteht unter anderem aus dem Usage Model Designer, dem Testfall-Generator sowie einer Analyse- und Reportingfunktion für Testkampagnen.

Im Usage Model Designer werden die Testmodelle erstellt, mit Anforderungen verknüpft und Testfunktionen definiert. Darüber hinaus lassen sich die Testprofile kalibrieren; dies geschieht mit einer benutzerfreundlichen Oberfläche. Die Erstellung der Testmodelle ist einfach und verständlich aufgebaut. Die Modelle bilden die Grundlage der generierten Testfälle.

Mit dem Testfall-Generator können Entwicklungs- und Testingenieure modellierte Zustände sowie Zustandsübergänge mit Hilfe eines Benutzungsmodells in Testfälle und Testsequenzen überführen. Testdesigner können sich dabei für unterschiedliche Teststrate­gien entscheiden. Beispielsweise lassen sich alle Pfade des Benutzungsmodells durch Testfälle überprüfen. Alternativ können auch benutzerbasierte Teststrategien ausgewählt werden, z.B. um die Zustandsübergänge mit der größten Wahrscheinlichkeit nach der Methodik der Markow-Ketten zu ermitteln. Dadurch können Entwickler die häufigsten Funktionen des Testobjekts früh im Testmodellierungsprozess berücksichtigen. Durch eine vereinfachte Wartung des Modells und eine automatisierte Neugenerierung lässt sich schnell und effektiv eine höhere Testabdeckung des Systems (SUT: System Under Test) erzielen, als es mit bestehenden Verfahren möglich ist.

Als weiterführende Lösung kann mit MaTeLo ein Prozess installiert werden, mit dem Managern die Effizienz ihrer Testprojekte optimieren können: Bei jeder Testkampagne stellt MaTeLo Reports zur Verfügung, welche die aktuelle Testabdeckung und die Vertrauensindikatoren über die Qualität des getesteten Systems enthalten.

Abbildung: Zusammenspiel zwischen Requirements Management, MaTeLo und EXAM, © ALL4TEC

Ein durchgängiges Testpaket mit EXAM und MaTeLo
Durch Verknüpfung der Methoden und Funktionen von EXAM können Entwickler aus MaTeLo heraus automatisiert Testfälle in EXAM erzeugen. Die generierten Testfälle kann EXAM im Anschluss als Testautomatisierung an den Prüfständen ausführen. Beide Systeme setzen aufeinander auf, so dass Anwendern zahlreiche Vorteile wie eine stärkere Visualisierung oder eine vereinfachte, noch tiefer greifende Automatisierung der Testläufe geboten werden.

Sowohl MaTeLo als auch EXAM verfügen über eine Anbindung an Requirement Management Tools wie Telelogic DOORS. Daher ist es möglich, eine durchgängige Nachverfolgbarkeit der Anforderungen vom Lastenheft bis zum Testergebnis zu erzielen.

Fazit
EXAM und MaTeLo bilden ein optimales Gespann, von der Anforderung bis hin zum ausführbaren Testskript. Der Fokus von MaTeLo liegt dabei auf der Modellierung des Benutzungsverhaltens des Systems und bietet durch die Auswahl verschiedener Algorithmen zur Testerstellung die Möglichkeit, möglichst effektive Testfälle zu erzeugen. Durch die Verbindung zum Requirement Management ist die Nachverfolgbarkeit der Testabdeckung, der Zuverlässigkeit und anderer Kenngrößen direkt im Tool möglich. EXAM ist unabhängig von Plattformen. Aus diesem Grund ist es die passende Lösung, um die mit MaTeLo erzeugten Testfälle auf verschiedenen Zielplattformen auszuführen.

Mit der Verbindung des MaTeLo-Import-Plugins und EXAM ist ein weiterer Schritt hin zu einem integrierten Test-Framework getan. Denn nur durch eine in sich verzahnte, trotzdem aber variable Tool-Kette ist es möglich, auf künftige Anforderungen schnell und effektiv reagieren zu können, ohne bestehende Mechanismen und Tools immer wieder neu entwickeln zu müssen.