Verwenden Sie Agentic AI, um intelligentere API-Tests zu generieren. In wenigen Minuten. Erfahren Sie mehr >>
DO-178C
DO-178C-Konformität
Erfüllen Sie die Softwareüberprüfung und -validierung von DO-178C mit Parasoft C/C++-Testlösungen. Reduzieren Sie die Kosten für die Erreichung der DO-178C-Konformität, indem Sie die vom Standard geforderten Testmethoden automatisieren.
DO-178C
Was ist DO-178C?
DO-178C ist ein internationaler Standard, der die Entwicklung von Software in Bordsystemen und -geräten regelt, um die funktionale Sicherheit während des gesamten Lebenszyklus von Luftfahrtprodukten zu gewährleisten.
Erfüllen Sie DO-178C
Bewältigen Sie die Verifizierungsanforderungen von DO-178C, vermeiden Sie kritische Fehler und stellen Sie die Lufttüchtigkeitszertifizierung sicher, damit Ihre Bordsoftware die höchsten Sicherheitsstandards erfüllt.
Leitfaden zur DO-178C-Konformität für die Luft- und Raumfahrt sowie Verteidigung
Informieren Sie sich über den strengen funktionalen Sicherheitsstandard DO-178C. Entdecken Sie ein umfassendes Framework zum Aufbau eines stabilen, nachhaltigen Compliance-Prozesses.
Vorteile, die Parasoft zu DO-178C beiträgt
Erfüllen Sie die Ziele von DO-178C durch die Automatisierung von Verifizierungs- und Validierungsmethoden wie Codeüberprüfungen, Anforderungsverfolgbarkeit, statische Analyse, Unittests, Codeabdeckung und mehr. Reduzieren Sie Entwicklungskosten und beschleunigen Sie Zertifizierungszeitpläne, während Sie gleichzeitig die Sicherheitskonformität aufrechterhalten.
Statische Analyse
Untersuchen Sie Ihren Quellcode automatisch mit der leistungsstarken Codeanalyse-Engine von Parasoft, um potenzielle Fehler, Sicherheitslücken und Codierungsstandard Verstöße, ohne den Code auszuführen.
Erfüllen Sie die Konformitätsstandards DO-178C | Parasoft bietet Compliance-Unterstützung für luftfahrtspezifische und allgemeine Codierungsstandards und gewährleistet robuste und zuverlässige C- und C++-Anwendungen. | |
Sicherheitstests mit statischer Analyse (SAST) | Integrieren Sie die Einhaltung von Sicherheitscodierungsregeln und -richtlinien von Standards wie CWE, CERT, OWASP und DISA ASD STIG in Ihre statischen Analyseprozesse, um eine robuste Softwaresicherheit für Bordsysteme zu gewährleisten. | |
Kontrollflussanalyse | Die Kontrollflussanalyse von Parasoft erkennt die möglichen Ausführungspfade durch ein Programm und wie die Steuerung von einem Teil des Codes zum anderen wechselt. Dies hilft dabei, potenzielle Probleme im Zusammenhang mit der Logik, dem Ablauf, der Struktur usw. des Programms zu erkennen. | |
Datenflussanalyse | Durch die Datenflussanalyse können Schwachstellen wie nicht initialisierte Variablen, Injektionsfehler und unsichere Datenverarbeitung in kritischer Avionik-Software erkannt werden. | |
Rundgänge und Inspektionen | Erweitern Sie die statische Analyse mit Walkthroughs oder dem Code Review-Modul. Unsere Lösung wurde entwickelt, um Peer Reviews durch Automatisierung von Vorbereitung, Benachrichtigung und Nachverfolgung praktischer und produktiver zu gestalten. Sie identifiziert aktualisierten Code automatisch, ordnet ihn bestimmten Prüfern zu und verfolgt den Fortschritt jedes Prüfelements bis zum Abschluss. | |
Intelligenter testen mit KI und ML | Parasoft integriert künstliche Intelligenz und maschinelles Lernen, um die Produktivität im statischen Analyse-Workflow Ihres Teams zu verbessern, indem es die Verstöße markiert und priorisiert, die zuerst behoben werden müssen. Wenn Sie den VS Code-Editor verwenden, wenden Sie unsere C/C++-Testerweiterung an und nutzen Sie den KI-Assistenten von Parasoft, um Verstöße gegen die statische Analyse zu erklären und Vorschläge zu deren Behebung zu erhalten. |
Dynamische Analyse – DO-178C
Unser umfassendes Softwaretest-Framework für C und C++ unterstützt Unittests, Integrationstests, Systemtests und mehr. Das Framework automatisiert die Testerstellung und umfasst das Ausführen des Programms mit verschiedenen Eingaben und Konfigurationen, um Probleme zu erkennen, die während der Ausführung auftreten.
Unit Tests | Isolieren Sie die zu testende Einheit mit einem automatisierten Stubbing-Framework und Mock-ups, um zu überprüfen, ob die einzelnen Einheiten wie erwartet funktionieren und sich bei einer Vielzahl von Eingaben korrekt verhalten, auch in Fällen, in denen der abhängige Code nicht verfügbar ist. | |
Automatisierte Testfallgenerierung | Die automatische Testfallgenerierung erstellt automatisch Testfälle, einschließlich Randfällen und Fehlerzuständen, die manuell geschriebene Tests für C- und C++-Code möglicherweise nicht abdecken. Dies verbessert den Testprozess, indem der manuelle Aufwand reduziert, Konsistenz sichergestellt und die Testabdeckung erhöht wird. | |
Strukturelle Codeabdeckung | Erfüllen Sie alle Codeabdeckungsanforderungen von DO-178C mit Parasofts Unterstützung für verschiedene Abdeckungstypen, einschließlich Anweisungs-, Zweig-, MC/DC- und Assembly- oder Objektcode. Diese und andere Abdeckungstypen tragen zur Gewährleistung der Codesicherheit und -zuverlässigkeit bei, indem sie ungetesteten Code, toten Code und potenzielle Defekte identifizieren. |
Rückverfolgbarkeit der Anforderungen
Automatisieren und gewährleisten Sie die bidirektionale Rückverfolgbarkeit von DO-178C zwischen Anforderungen, Testfällen, Testergebnissen, Quellcode und Codeüberprüfungen, um die Ziele von DO-178C zu erfüllen und die Konformität sicherzustellen.
Compliance-Berichterstattung
Verfolgen Sie die Einhaltung von DO-178C automatisch und erstellen Sie Berichte, um die Einhaltung bestimmter gesetzlicher und organisatorischer Standards mit unserem dynamischen Berichts-Dashboard nachzuweisen. Es unterstützt auch erweiterte Berichtsstrategien mithilfe historischer Daten, selbst für große Codebasen und Legacy-Code, bei denen die Sichtbarkeit normalerweise eine Herausforderung darstellt.
Integrieren Sie statische und dynamische Analysen in Ihren CI/CD-Workflow
Unsere statische Analyse, Unit-Tests, Regressionstests, Code-Abdeckung und Anforderungsrückverfolgbarkeit lassen sich problemlos in Ihre CI/CD-Pipeline integrieren. Teams können einige dieser Funktionen auch in andere Test-Frameworks wie GoogleTest für kontinuierliche Tests integrieren, um die Bereitstellung von sicherem, geschütztem und zuverlässigem Code zu ermöglichen und gleichzeitig die Einhaltung der DO-178C-Standards zu optimieren.
Werkzeugqualifikation
Die C/C++-Testlösungen von Parasoft umfassen Tool-Qualifizierungskits zur Validierung ihrer Verwendung in sicherheitskritischen Anwendungen in jedem Entwicklungsökosystem. Diese Kits automatisieren die Bewertung unserer statischen Analyse-, Unit-Test- und Code-Coverage-Funktionen, um sicherzustellen, dass sie die in DO-330 und DO-178C definierten Konformitätsanforderungen erfüllen.
Lösungen zur Erfüllung der DO-178C-Ziele
C / C ++ - Test
C/C++test ist eine leistungsstarke automatisierte Softwaretestlösung für sicherheitskritische Anwendungen und bietet statische und dynamische Analysen, Anforderungsrückverfolgbarkeit und mehr. Es gewährleistet die Einhaltung von DO-178C und lässt sich nahtlos in C- und C++-IDEs, CI/CD-Pipelines und containerisierte Bereitstellungen integrieren, um die Verifizierungs- und Validierungsanforderungen des Standards zu erfüllen.
Mehr lesen
C/C++-Test-CT
Der speziell entwickelte C/C++test CT erfüllt die strengen Anforderungen der Flugsicherheit und sicherheitskritischer Anwendungen durch die Automatisierung der Codeabdeckung und der nach DO-178C und DO-326A geforderten Methoden zur Überprüfung der Rückverfolgbarkeit von Anforderungen. Er lässt sich nahtlos in gängige Open-Source-Unit-Test-Frameworks wie GoogleTest, CI/CD-Pipelines und containerisierte Bereitstellungen integrieren. Darüber hinaus dient er als hervorragende Erweiterung für VS Code.
Mehr lesen
DTP
Parasoft DTP aggregiert die Ergebnisse verschiedener Testverfahren und die Rückverfolgbarkeit der Anforderungen, um die Einhaltung von DO-178C sicherzustellen. Das Berichts-Dashboard ermöglicht eine intelligente und kontinuierliche Überwachung der Testergebnisse und sorgt so für mehr Transparenz bei Lücken und zeigt, was funktioniert und was nicht.
Mehr lesen
++ versichern
Erkennen Sie automatisch Speicherprobleme, Laufzeitfehler und Sicherheitslücken wie Speicherbeschädigungen, Speicherlecks, Pufferüberlauf/-unterlauf, Stapelüberläufe und visualisieren Sie Speicherzuweisungen und -freigaben mit grafischen Anzeigen.
Mehr lesen„Das beste DO-178 On-Target-Testtool, das ich ausprobiert habe.“
Insgesamt übertraf das Benutzererlebnis unsere Erwartungen an die Konkurrenz.
Mit anderen Tools dauerte es WOCHEN, bis unsere Codebasis richtig instrumentiert war und wir die Abdeckung vom Ziel extrahiert hatten. Mit Parasoft brauchte ich an zwei Arbeitstagen 16 Stunden und stieß auf nur sehr wenige Probleme, die auf das Tool zurückzuführen waren. Parasoft hat viele sinnvolle Lösungen für die Probleme von DO-178 und DO-330 implementiert und die meiste Zeit funktionierten sie im Gegensatz zu diesen anderen Tools sofort und ohne Probleme.
- Timothy F., Softwareentwickler
Warum Parasoft?
Parasoft bietet einzigartige Vorteile für die DO-178C-Verifizierung und -Validierung mit modernen, umfassenden Lösungen, die kritische Prozesse wie statische und dynamische Analyse, Anforderungsverfolgbarkeit und strukturelle Codeabdeckung automatisieren. Unsere Lösungen lassen sich nahtlos in vorhandene CI/CD-Pipelines integrieren, reduzieren den manuellen Aufwand und gewährleisten gleichzeitig die Einhaltung von Vorschriften. Im Folgenden finden Sie weitere Möglichkeiten, wie Parasoft Embedded-Softwareteams unterstützt.
Dedizierte Integrationen
Unsere C/C++-Testlösungen bieten dedizierte Integrationen mit sicherheitskritischen Entwicklungsumgebungen wie INTEGRITY-178 tuMP von Green Hills Software, Wind River VxWorks und anderen zertifizierten Lösungen. Zusätzliche Integrationen mit eingebetteten IDEs, Debuggern und CI/CD-Pipelines unterstützen luftfahrtspezifische Umgebungen wie Eclipse, VS Code, Green Hills MULTI, Wind River Workbench, ARM MDK, ARM DS-5, TI CCS, Visual Studio und mehr.
Wir unterstützen DevSecOps-Praktiken und stellen sicher, dass Sicherheit und Compliance nahtlos in den Entwicklungslebenszyklus integriert werden. Diese Integrationen ermöglichen einen reibungslosen Arbeitsablauf, der den komplexen und sicherheitskritischen Anforderungen der Luft- und Raumfahrtsoftwareentwicklung gerecht wird.
Tests auf Systemebene für Anwendungen in der Luft- und Raumfahrt
Führen Sie mit unseren Lösungen netzwerkbasierte Tests auf Systemebene durch, die für die Entwicklung von Softwaresystemen für die Luft- und Raumfahrt von entscheidender Bedeutung sind. Automatisieren Sie durchgängige funktionale API-Tests mit der erweiterten Testerstellung in SOAtest, das Anwendungen mit mehreren Schnittstellen und Protokollen unterstützt und so die Systemintegrität und -sicherheit gewährleistet.
Erstellen Sie Integrationen früher, stabilisieren Sie Abhängigkeiten und erhalten Sie mit Virtualize die volle Kontrolle über Testdaten. Dadurch beschleunigen Entwicklungsteams in der Luft- und Raumfahrt das Testen, ohne auf den Zugriff auf abhängige Dienste oder Systeme warten zu müssen, die während kritischer Testphasen möglicherweise unvollständig oder nicht verfügbar sind.
Zeit- und Kostenersparnis
Sparen Sie mit unseren Testautomatisierungslösungen viel Zeit und Kosten. Sie können sich darauf verlassen, dass wir es Ihnen so einfach wie möglich machen und Sie so viel Unterstützung wie nötig bieten, damit Sie Ihre Sicherheitsziele zur Einhaltung von DO-178C erreichen. Schulungsmaterialien wie Webinare, Whitepaper und Blogs dienen ebenfalls als fortlaufende Zusatztools.
Zielgerichtetes Testen von Hardware und Software
Nutzen Sie SOAtest und Virtualize für netzwerkbasierte Tests auf Systemebene, die für softwaredefinierte Fahrzeuge (SDVs) von grundlegender Bedeutung sind. Automatisieren Sie End-to-End-Funktions-API-Tests mit der Erstellung erweiterter Funktionstests in SOAtest für Anwendungen mit mehreren Schnittstellen und Protokollen.
Erstellen Sie Integrationen früher, stabilisieren Sie Abhängigkeiten und erhalten Sie mit Virtualize die volle Kontrolle über Testdaten. Teams können schnell arbeiten, ohne auf den Zugriff auf abhängige Dienste warten zu müssen, die entweder unvollständig oder nicht verfügbar sind.
Häufig gestellte Fragen
Relevante Unterlagen
Verbessern Sie Ihre Softwaretests mit Parasoft-Lösungen.