Luft- und Raumfahrt / Verteidigung

Sicherheitskritische Software für Anwendungen in Luft- und Raumfahrt müssen mit höchster Sorgfalt und Qualität entwickelt werden. Die strengen Auflagen für die Sicherheit steigen stetig an. Die Norm DO-178C gibt strikte Regeln hinsichtlich des Nachweises und der Überprüfung der Softwareentwicklung in der Luftfahrtindustrie vor. Sicherheitsstandards werden ebenso in anderen sicherheitskritischen Bereichen wie der Verteidigung genutzt, obwohl die Beachtung der Norm dort nicht verpflichtend ist.
Je nach Sicherheitstufe verlangt die DO-178 Code-Coverage-Analysen bis zur Modified Condition Decision Structural Coverage (MC/DC).
Statische Codeanalyse kann als Teil eines Gesamtkonzepts zur Qualitätssicherung genutzt werden.

Erfüllen Sie die Anforderungen der DO178-C bzgl. der Code Coverage mit Testwell CTC++ Test Coverage Analyser

Im Hinblick auf die möglichen Konsequenzen auf Flugzeug, Crew und Passagiere unterscheidet der DO-178C-Standard verschiedene Software Level, auch bekannt als Design Assurance Level (DAL) oder Item Development Assurance Level (IDAL).
Die DO-178C verlangt die Ausführung der folgenden Testabdeckungsstufen:

• DAL A: Modified Condition Decision Structural Coverage (MC/DC)
• DAL B: Decision/Condition Structural Coverage
• DAL C: Statement Structural Coverage

Testwell CTC++ Test Coverage Analyser zeigt Ihnen alle von der Norm DO-178C verlangten Testabdeckungsstufen.
Das Werkzeug zeigt Statement Coverage, Decision/Condition Coverage, Modified Condition Decision Structural Coverage (MC/DC) und selbst Multiple Condition Coverage (welche ein Level höher ist als MC/DC-Coverage).
Testwell CTC++ Test Coverage Analyzer für C und C++ ist ein benutzerfreundliches und einfach zu anzuwendendes Test Coverage Tool, das klare und simple Analyseergebnisse ausgibt. Testwell CTC++ hat einen sehr geringen Speicherbedarf. Es kann mit allen Compilern und allen Embedded Targets genutzt werden - selbst für sehr kleine.
Das Tool Qualification Kit for Testwell CTC++ macht die Qualifizierung von Testwell CTC++ in Ihren DO-178C-Projekten einfach.
Erfahren Sie hier mehr über Testwell CTC++


Avionics Standard DO-178C: Code Coverage Analyse mit Testwell CTC++: Jetzt Video ansehen

Statische Code Analyse

GrammaTech CodeSonar ist ein Statisches Code Analyse Tool, welches speziell für Umgebungen konzipiert wurde, die absolut fehlerfrei funktionieren müssen.
CodeSonar leistet einen signifikanten Beitrag zu DO-178C betreffenden Aktivitäten. Anspruchsvolle Analysen liefern zahlreiche Hilfen für die Verifizierung.
Mit seiner fortschrittlichen statischen Analyse ist CodeSonar eines der effektivsten Tools um die kostenintensivsten und am schwierigsten zu findenden Fehler bereits früh während der Software-Entwicklung aufzudecken.
GrammaTech CodeSonar findet automatisch Bugs in Software, die in C, C++ oder Java geschrieben wurde. Dank der interprozeduralen Analyse ist das Werkzeug außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter. Es hat in zahlreichen Vergleichen als bestes Werkzeug abgeschnitten.
Airbus, Boeing, NASA und viele andere Firmen und Organisationen vertrauen für die statische Codeanalyse in DO-178 Projekten auf GrammaTech CodeSonar.
Erfahren Sie mehr in unserem Whitepaper: Simplifying DO-178 Certification with GrammaTech Static Analysis Tools

Imagix 4D ist ein Tool, das dabei hilft, Third Party oder Legacy Source Code in C, C++ und Java zu verstehen und zu dokumentieren. Das Tool kann dazu genutzt werden, komplexen Code zu verbessern. Es automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten wie im Punkt 6.3.4. der DO-178C "Compliance with software architecture" vorgeschrieben. Außerdem erkennt Imagix 4D Probleme im Datenverbrauch und in Task-Interaktionen.
Mit Imagix 4D erhöhen Sie die Produktivität, verbessern die Qualität und reduzieren Risiken.

Ein in DO-178C genanntes Ziel ist es, sicherzustellen, dass die Software Code Standards wie z.B. Komplexitätseinschränkungen während der Entwicklung des Codes beachtet werden.
Testwell CMT++ analysiert die wichtigsten Metriken wie Zeilenmetriken (LOC), Halstead-Metriken, die McCabe Cyclomatic Number v(G), den Wartbarkeitsindex (Maintainability Index) und Max ND / Maximum Nesting Depth. Das Tool ist sehr einfach zu nutzen, extrem schnell und analysiert auch sehr große Codebasen.

Seminare

Entwickler und Manager von sicherheitskritischer Software benötigen bestes Fachwissen um exzellente Software liefern zu können.
Verifysoft unterstützt Sie mit Seminaren und Workshops.

Hunderte von Unternehmen und Organisationen verbessern ihre Softwarequalität mit Testlösungen von Verifysoft

Verifysofts Testlösungen haben nachweisliche Erfolge in der sicherheitskritischen Softwareentwicklung in der Luft- und Raumfahrt sowie der Verteidigungsindustrie.
Zu unseren zufriedenen Kunden zählen unter anderem:





Lesen Sie hier was Kunden aus dem Bereich Luft- und Raumfahrt und Verteidigung über unsere Tools sagen:




Opinion: Future Digitalization of the Aviation Industry Calls for Increased Testing by Svend Holme Sørensen (GateHouse SatCom) and Klaus Lambertz (Verifysoft Technology)