![[English]](flaggeUK.jpg){kind=small}
![[Français]](flaggeF.jpg){kind=small}
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 EUROCARE (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:
|
DO-178B Level A:
Modified Condition Decision Coverage (MC/DC) Branch/Decision Coverage Statement Coverage
DO-178B Level B:
DO-178B Level C:
|
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.
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 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 CTC++ u.a. auch
für TÜV-Zertifizierungen eingesetzt.
Hier einige Referenzen.
Weitere Informationen über CTC++ sind auf der CTC++ Homepage verfügbar.
Weitere Informationen über DO-178B-Zertifizierungen mit CTC++ sind auf der hier verfügbar.
last updated: 31.03.2008
© 2005-2008 Verifysoft Technology
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Photo Airbus A380 with permission of
www.aeroweb-fr.net
all other trademarks of this site are the property of their respective owners.