Erhalten Sie vollständige MISRA C 2023-Unterstützung in der neuen Parasoft C/C++-Testversion. Nehmen Sie an unserem Webinar am 8. Juni teil.
DO-178B und DO-178 C (in Europa als ED-12 B / C bezeichnet - auf dieser Seite der Einfachheit halber als DO-178B / C bezeichnet) bieten Anleitungen, die von Luft- und Raumfahrt-Software-Ingenieuren 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 kritischer Bestandteil des Genehmigungsprozesses der FAA für die Erteilung ihrer Technischen Standardverordnung (TSO), sodass DO-178 als wesentlich angesehen wird.
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.
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.
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).
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