Gehen Sie einen schnelleren, intelligenteren Weg zur KI-gestützten C/C++-Testautomatisierung. Erfahren Sie mehr >>
DO-178C
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 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.
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
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.
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.
Parasoft bietet Compliance-Unterstützung für luftfahrtspezifische und allgemeine Codierungsstandards und gewährleistet robuste und zuverlässige C- und C++-Anwendungen.
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.
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 und vielem mehr des Programms zu erkennen.
Unsere Datenflussanalyse ermöglicht ein tieferes Verständnis des Programmverhaltens hinsichtlich der Verwendung, Änderung und Weitergabe von Daten im Code und hilft bei der Identifizierung von Problemen wie ungenutzten Variablen, Injektionsschwachstellen, XSS, Offenlegung vertraulicher Daten und mehr.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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.
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.
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.
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.
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.
Verbessern Sie Ihre Softwaretests mit Parasoft-Lösungen.
