Empfohlenes Webinar: MISRA C++ 2023: Alles, was Sie wissen müssen | Zum Video

DO-178B / C.

DO-178B / C-Konformität mit Parasoft

Was ist DO-178B / C & ED 12 B / C?

DO-178B und DO-178C (in Europa als ED-12 B/C bezeichnet – auf dieser Seite der Einfachheit halber als DO-178B/C bezeichnet) bieten Leitlinien, die von Luft- und Raumfahrt-Softwareingenieuren verwendet werden, um die Lufttüchtigkeit sicherzustellen. Der DO-178-Standard ist in den Lufttüchtigkeitsanforderungen der FAA nicht ausdrücklich vorgeschrieben, aber er ist ein entscheidender Bestandteil des Genehmigungsprozesses der FAA für die Erteilung ihrer Technical Standard Order (TSO), sodass DO-178 als wesentlich angesehen wird.

Durchsetzung der DO-178B / C-Konformität mit Quellcode-Analyse, Unit-Test und Code-Abdeckung

Parasoft C / C ++ test hilft Benutzern, die Kosten für das Erreichen der Compliance zu senken, indem die vom Standard geforderten Softwaretestmethoden automatisiert werden. Die Lösung von Parasoft umfasst statische Analyse, Metrikanalyse, Komponententests, Codeabdeckung und Objekt- / Baugruppenabdeckung und bietet Teams eine praktische Möglichkeit, Fehler in ihren funktionalen Sicherheitssystemen zu verhindern, aufzudecken und zu korrigieren.

Wie Parasoft zur Erreichung der DO-178B / C-Konformität beiträgt

Die Entwicklung von DO-178B / C-kompatibler Software für Systeme in der Luft ist keine leichte Aufgabe, aber Parasoft hilft bei der Entlastung und bietet eine breite Palette von Tools für Entwicklungstests und -verifizierungen (Analyse der Einhaltung von Codierungsstandards, Analyse von Daten- und Kontrollflüssen, Komponententests, Anwendung) Überwachung, Workflow-Komponenten und mehr).

Die Testfunktionen, konfigurierbaren Kontexte und Berichtsmechanismen des Parasoft C / C ++ - Tests bieten Softwareentwicklungsteams bewährte Tools, mit denen sie die DO-178B / C-Konformität erreichen können. Benutzer von Parasoft C / C ++ - Tests können die Kosten für die Erreichung der DO-178B / C-Konformität senken, indem sie mit fortschrittlichen Softwaretestmethoden Zeit sparen. Automatisch generierte Berichte und Dashboards bieten Teams eine praktische Möglichkeit, Fehler in ihrer Software zu verhindern, aufzudecken und zu korrigieren und die für Audits erforderliche Dokumentation mithilfe der automatisierten Werkzeugqualifizierung vorzubereiten.

 

Automatisieren Sie die Abdeckung von Baugruppencodes

Das Assembly Coverage Tool (ASMTool) von Parasoft erfüllt die Empfehlungen des ausführbaren Objektcodes von DO-178B / C Level A. Mit geringem Aufwand kann ASMTool strukturelle Abdeckungsberichte aus dem ausführbaren Objektcode erstellen. Die strukturelle Abdeckung wird mit leicht überprüfbaren Einblicken in vom Compiler generierten Code gemeldet, der nicht direkt auf Quellcode-Anweisungen zurückgeführt werden kann. Es verfolgt auch switch-Anweisungen und bietet einen vollständigen Einblick in die Testausführungspfade auf der Ebene der Maschinensprachenanweisungen.

ASMTool unterstützt auch das Sammeln von Structural Coverage sowohl aus dem Software-Integrationsprozess (Zielhardwaretest) als auch aus der Desktop-Entwicklungsumgebung (Parasoft C / C ++ test für Unit-Tests).

Text links in weißer Schrift auf blauem Hintergrund: Developing DO-178C Compliant Software for Airborne Systems. Auf der rechten Seite ist eine Frontaufnahme eines Verkehrsflugzeugs auf der Landebahn zu sehen.
Whitepaper

Entwicklung von DO-178C-konformer Software für luftgestützte Systeme

Parasoft erleichtert die Einhaltung von Vorschriften, indem es eine integrierte Lösung zur Automatisierung von Softwareüberprüfungs- und -validierungsprozessen und Softwarequalitätsaufgaben gemäß DO-178B / C anbietet. Lesen Sie dieses Dokument, um mehr über diese praktische Methode zum Verhindern, Aufdecken und Korrigieren von Fehlern mithilfe des Parasoft C / C ++ - Tests zu erfahren.

Herunterladen