Fresenius Medical Care

Das Vorgehen

Für die Validierung beauftragte Fresenius Medical Care die sepp.med gmbh. sepp.med führte zunächst eine Bestandsaufnahme der bestehenden Werkzeuge durch. Diese „Inventur“ ergab eine Liste von zwanzig Werkzeugen, die je nach Projekt zum Einsatz kommen können. Des Weiteren klärte sepp.med in einer Reihe von Stakeholder-Interviews die geplante Verwendung der CI-Toolkette. So wurde u.a. ermittelt, welche Programmiersprachen relevant sind, welche Werkzeuge verwendet werden und wie die Anwendungsfälle aussehen. Diese wurden graphisch als UML-Diagramm dokumentiert und in Aktivitätsdiagrammen weiter detailliert.

Parallel dazu führte Fresenius Medical Care eine Risikoanalyse (FMEA) durch und identifizierte eine Reihe von Maßnahmen. Die Risikoanalyse bildete zusammen mit den in den Interviews ermittelten Workflows die Grundlage für die Anforderungsspezifikation der Toolkette.

Besonders im Fokus stand die Validierung der MISRA C++ Regeln und der von Fresenius spezifizierten Ausnahmen, die nicht zu Fehlermeldungen führen dürfen. Für die zu validierenden Compiler wurden verschiedene Szenarien geprüft, darunter die Konfiguration, der Abbruch im Fehlerfall, mögliche Warning Levels und natürlich das Erzeugen der Binaries. Darüber hinaus spezifizierte sepp.med im Validierungsplan Workflow-Tests, die sich an den ermittelten Abläufen orientierten.

Bereits zu Beginn des Projektes war klar, dass ein Teil der Tests automatisiert werden sollte. Erstens wäre es zeitraubend und fehlerträchtig gewesen, die verschiedenen Testdaten „per Hand“ zuzuweisen und die Log-Dateien im wörtlichen Sinne „lesend“ auszuwerten. Zweitens war die Menge der Testdaten händisch nicht handhabbar, da allein mehrere hundert MISRA-Regeln verifiziert werden mussten. Drittens war absehbar, dass eine größere Anzahl der Tests erneut durchgeführt werden muss. sepp.med evaluierte verschiedene Alternativen. Die Wahl fiel schließlich auf das Testautomatisierungs-Framework Spock, das Testdurchführungs-Werkzeug gradle und die Programmiersprache Groovy. Die zentrale Steuereinheit bildet der Jenkins-Server, über welchen das Testprojekt ausgecheckt und konfiguriert wird.

Die Anforderungen, Testfälle und die Testdurchführung der manuellen und automatisierten Tests durch sepp.med wurden im ALM-Werkzeug Polarion dokumentiert. Zum Abschluss erstellte sepp.med einen Validierungsbericht.