Unsere Referenzen im Bereich Modellbasiertes Testen

Fraunhofer-Institut für Experimentelles Software Engineering IESE

Model-Based Testing

Referenzprojekte

Das Fraunhofer IESE hat verschiedene industriegetriebene Forschungsprojekte in den Bereichen Qualitätssicherung von software-intensiven technischen Systemen, Testautomatisierung und modellbasiertes Testen geleitet bzw. daran teilgenommen. Die relevanten nationalen und internationalen Projekte sind im Folgenden aufgeführt:

  • ranTEST

    Der Fokus des Projekts ranTEST lag auf dem systematischen risikobasierten Testen komplexer Softwaresysteme und der Quantifizierung nicht-funktionaler Qualitätseigenschaften (wie Performanz und Zuverlässigkeit von sicherheitskritischen Funktionen) mittels automatisiertem Testen. Textuelle Anforderungen und Risikoanalysen wurden in formale Testmodelle umgewandelt, die vollautomatisiertes Testen auf Systemtestebene ermöglichten. Eine industrielle Validierung fand in der Eisenbahnbranche statt.

  • D-Mint

    Im europäischen ITEA2-Projekt D-Mint wurden modellbasierte Testansätze für die Qualitätssicherung großer und verteilter industrieller software-intensiver Systeme entwickelt. Domänenspezifische Lösungen für die Domänen Automotive, Telekommunikation und industrielle Automatisierung wurden erstellt und angepasst. Das Fraunhofer IESE arbeitete besonders an der systematischen Konstruktion von Testmodellen durch Formalisierung unvollständiger oder inkonsistenter Systemspezifikationen und den Einsatz von automatisiertem Zuverlässigkeitstesten basierend auf Betriebsprofilen.

  • VIERforES

    Das Ziel von VIERforES bestand darin, nicht-physikalische Eigenschaften von Produkten mithilfe von Virtual Reality und Augmented Reality zu visualisieren. Zu den Resultaten gehören u.a. Methoden für ganzheitliche und VR-gestützte Analyse und Qualitätssicherung, besonders das automatisierte modellbasierte Testen von sicherheitskritischen eingebetteten Systemen in Bezug auf die Qualitätseigenschaften Betriebssicherheit (Safety), Informationssicherheit (Security) und Zuverlässigkeit. Die entwickelten Methoden wurden in den Domänen ambiente Lebensassistenzsysteme und Automobiltechnologie evaluiert.

Projektergebnisse

Industrielle Testprozesse sind von unterschiedlichen Testzielen, Komplexitätsgraden und Reifegraden geprägt. Bisher führten all unsere Projekte im Bereich modellbasiertes Testen und Testautomatisierung zu signifikanten Verbesserungen der Testqualität bezüglich Abdeckung und Ausfallerkennung sowie zu großen Kostensenkungen im Vergleich zur manuellen Ableitung und Wartung von Testfällen. Zusammengefasst sind die wichtigsten Wirkungen:

  • Reduzierung der Testkosten um mindestens 15% (mehrere Fallstudien wiesen sogar eine Senkung der Testkosten um bis zu 50% auf)
  • Verbesserte Abdeckung von Anforderungen, Entwurfsartefakten und Testzielen von mindestens 10%
  • Amortisation bei der 2. oder 3. Iteration, wenn modellbasiertes Testen in nachfolgenden Releases, Versionen oder Varianten angewendet wird
  • Verbesserte Testbarkeit der Testobjekte und verbesserte Qualität der Systemspezifikationen aufgrund systematischer Testmodellerstellung