Die Entwicklungsabteilung unseres Kunden erstellt Bibliotheken für Komponenten zur Motorsteuerung. Da diese Libraries auf verschiedenen Plattformen und in verschiedenen Produkten zum Einsatz kommen, handelt es sich um kritische Module, die strikten Tests unterzogen werden.

sepp.med beriet den Kunden bei einem prototypischen Einsatz und der Bewertung von .mzT und MBTsuite. Anhand einer ausgewählten Funktion zum Auslesen von Kennfeldern konnten wir die Effizienz von Methode und Tool nachweisen.

Bei den Kennfeldern handelt es sich um mehrdimensionale Objekte mit unterschiedlichen Datentypen und Grenzwerten. Diese wurden zentral im Modell abgebildet. Die zehn- bis zwanzigtausend Testskripten ließen sich dann schnell und systematisch aus dem Modell ableiten.

Parallel dazu entwickelte sepp.med ein Testorakel, das heißt eine unabhängige Implementierung der Interpretationsfunktion. Die Testskripten wurden dann sowohl auf dem zu testenden System als auch mit dem Testorakel durchgeführt und die Übereinstimmung der Ergebnisse wurde ausgewertet.

Unser Kunde bewertete den Einsatz von .mzT und MBTsuite positiv, da die Erstellung der Testskripten durch die Methode und das Werkzeug systematischer, effizienter und weitaus weniger fehleranfällig ist. Dies trifft auch auf die Festlegung des zu erwartenden Ergebnisses zu. Besonders die Wartung der Testskripten gestaltet sich einfacher, da Änderungen an zentraler Stelle im Modell durchgeführt und die geänderten Testskripten dann "auf Knopfdruck" automatisch generiert werden.

eMOTE (Embedded Model-based Testing) ist ein Kooperationsprojekt der Firmen sepp.med gmbh, iSYSTEM AG und des Forschungszentrums für Informatik. Kernziel des Projekts ist es, die Testmethodik für eingebettete Systeme durch Erhöhung der Systematik im Testdesign zu verbessern. Erreicht wird dies durch den Einsatz von Testmodellen, eine Erhöhung des Automatisierungsgrads über automatische Testfallgenerierung sowie die Verbindung von Whitebox- und Blackbox-Tests durch Messung der Code-Abdeckung während der Durchführung von Funktionstests (Blackbox-Tests).

Mit .mzT bietet die sepp.med gmbh ihren Kunden bereits eine leistungsfähige und effiziente Methode zur Systematisierung der Testfallerstellung. Die Anpassung von .mzT und MBTsuite an die Eigenheiten und Randbedingungen im Umfeld echtzeitfähiger eingebetteter Software erlaubt es, neue Wege bei der Qualitätssicherung für eingebettete Systeme zu beschreiten. Zu den besonderen Aspekten, die im Rahmen des eMOTE-Projekts berücksichtigt werden, gehören u. a. die Umsetzung der Anforderungen aus bestehenden und zurzeit in der Ausarbeitung befindlichen Standards unterschiedlicher Branchen zu den Themen "Embedded Systems Softwareentwicklung und -test". Nicht-invasives Testen und der Test unter Echtzeitbedingungen werden durch die erweiterten Debugging-Lösungen der Firma iSYSTEM optimal unterstützt.

Besonderheiten in der Testmethodik von .mzT bilden die Darstellung der Echtzeitbedingungen im Modell, die Verknüpfung der Testmodelle mit Code-Coverage-Analysen sowie die Einbindung von Datenquellen (zur externen Stimulation eines Embedded Systems).

Eine gemeinsame Pressemitteilung finden Sie auf den Webseiten des Forschungszentrums für Informatik.