Empfohlenes Webinar: Vorstellung von Parasoft C/C++test CT für kontinuierliche Tests und Compliance-Exzellenz | Zum Video

Abstraktes Konnektivitäts-Hintergrundbild

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 und C/C++test CT helfen Benutzern, die Kosten für die Einhaltung von Vorschriften zu senken, indem sie die vom Standard geforderten Softwaretestmethoden automatisieren. Die Lösung von Parasoft umfasst statische Analyse, Metrikanalyse, Unit-Tests, Codeabdeckung und Objekt-/Assembly-Abdeckung und bietet Teams eine praktische Möglichkeit, Fehler in ihren funktionalen Sicherheitssystemen zu verhindern, aufzudecken und zu korrigieren.

Grafik eines fliegenden Flugzeugs mit Wolkenkratzer im Hintergrund

Wie Parasoft dabei hilft, die DO-178C-Konformität zu erreichen

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 C/C++test- und C/C++test CT-Testfunktionen, konfigurierbaren Kontexte und Berichtsmechanismen von Parasoft bieten Softwareentwicklungsteams bewährte Tools, die ihnen helfen, die DO-178B/C-Konformität zu erreichen. Mit beiden Lösungen können Benutzer die Kosten für die Einhaltung der DO-178B/C-Konformität reduzieren, 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 beheben und mithilfe der automatisierten Tool-Qualifizierung die für Audits erforderliche Dokumentation 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 trägt dazu bei, die Compliance-Belastung zu verringern, indem es eine integrierte Lösung zur Automatisierung von Softwareverifizierungs- und -validierungsprozessen und Softwarequalitätsaufgaben gemäß DO-178C anbietet. Lesen Sie dieses Dokument, um mehr über diese praktische Möglichkeit zum Verhindern, Aufdecken und Korrigieren von Fehlern mithilfe von Parasoft für C/C++-Tests zu erfahren.

Herunterladen