Seien Sie am 30. April dabei: Vorstellung von Parasoft C/C++test CT für kontinuierliche Tests und Compliance-Exzellenz | Registrierung
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.
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).
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
Verbessern Sie Ihre Softwaretests mit Parasoft-Lösungen.