logo

DO-178B-Zertifizierungen von Avionics Software mit Testwell CTC++ Test Coverage Analyzer

Die Norm DO-178B "Software Considerations in Airborne Systems and Equipment Certification" (Richtlinie zur Entwicklung von Software für Geräte und Ausstattungen in der Luft- und Raumfahrt) ist der de facto Standard der für die Luftfahrt bestimmten Softwareentwicklung.
Die von der Radio Technical Commission for Aeronautics RTCA im FAA Advisory Circular AC20-115B veröffentlichten Vorschriften werden der Zertifizierung der Software bzw. des Softwareentwicklungsprozesses zugrunde gelegt.
Hierbei arbeitete man eng mit der EUROCAE (European Organisation for Civil Aviation Equipment) zusammen, die die entsprechenden Vorgaben in der Richtlinie ED-12B veröffentlicht hat.

Um die Zertifizierung der Federal Aviation Administration (FAA) zu erhalten, muß Software für Luftverkehrssysteme den Richtlinien von DO-178B für requirement-basiertes Testen und Code Coverage Analysen genügen.
Je nach verlangtem Niveau müssen verschiedene Dokumente erstellt und Nachweise erbracht werden.

Die einzelnen DO-178B-Levels orientieren sich an den Konsequenzen möglicher Softwarefehler:
katastrophal (Level A), gefährlich/schwerwiegend (Level B), erheblich (Level C), geringfügig (Level D) bzw. keine Auswirkungen (Level E).

Je nach DO-178B-Level wird der 100%-ige Nachweis folgender Testabdeckungen (Code Coverages) verlangt:

Airbus 380 DO178-B DO-178B Level A:
Modified Condition Decision Coverage (MC/DC)
Branch/Decision Coverage
Statement Coverage

DO-178B Level B:
Branch/Decision Coverage
Statement Coverage

DO-178B Level C:
Statement Coverage

Für die DO-178B-Zertifizierung müssen neben der eigentlichen Software eine Menge begleitender Dokumente und Nachweise erstellt werden (u.a. Test-Protokolle).
Um den Aufwand hierfür in Grenzen zu halten, ist eine durchgängige Toolunterstützung - auch bei Zulieferern - erforderlich.

Der Code Coverage Analyzer Testwell CTC++ deckt alle Testüberdeckungsarten bis zur Modified Condition Decision Coverage (MC/DC) ab und kann für Zertifizierungen nach DO-178B für alle Niveaus (A, B, C und selbstverständlich D und E) eingesetzt werden.

Testwell CTC++ "Test Coverage Analyzer for C and C++" ist ein benutzerfreundliches und einfach einsetzbares Testabdeckungstool, das klare und einfach auswertbare Ergebnisse liefert.

Bei der Entwicklung von Embedded Software kann Testwell CTC++ aufgrund seines geringen Instrumentation-Overheads grundsätzlich für alle Targets - auch solche mit geringem Speicherplatz - eingesetzt werden. Anpassungen für alle gängigen Zielsysteme werden mit dem Coverageanalyzer ausgeliefert. Der im Quellcode mitgelieferte Host-Target-Add-on erlaubt zudem eine schnelle Anpassung an neue Targets.

Testwell CTC++ ist in einer Vielzahl von sicherheitskritischen Projekten für Luft- und Raumfahrt, im Schienenverkehr, der Automobilindustrie und der Medizintechnik im Einsatz.
Neben Projekten, die eine DO-178B-Zertifizierung benötigen, wird der Code Coverage Analyzer Testwell CTC++ u.a. auch für TÜV-Zertifizierungen eingesetzt.
Hier einige Referenzen.

Weitere Informationen über Testwell CTC++ sind auf der CTC++ Homepage verfügbar.

Weitere Informationen über DO-178B-Zertifizierungen mit Testwell CTC++ sind auf der hier verfügbar.