Empfohlenes Webinar: Vereinfachen Sie Compliance-Workflows mit dem neuen C/C++test 2024.2 und KI-gesteuerter Automatisierung Zum Video
ISO 26262 Konformität & Tools
Erfüllen Sie die Anforderungen an Softwareverifizierung und -validierung gemäß ISO 26262 mit den C/C++-Testlösungen von Parasoft. Reduzieren Sie die Kosten für die Einhaltung von ISO 26262, indem Sie die vom Standard geforderten Testmethoden automatisieren.
ISO 26262
Was ist ISO 26262?
ISO 26262 ist ein internationaler Standard für funktionale Sicherheit, der die Entwicklung elektrischer, elektronischer und programmierbarer Geräte in der Automobilindustrie regelt, um die Sicherheit während des gesamten Lebenszyklus von Automobilprodukten zu gewährleisten.
Erfüllen Sie ISO 26262
Stellen Sie sicher, dass Ihre Automobilsoftware die höchsten Sicherheitsstandards erfüllt, indem Sie die Verifizierungsanforderungen der ISO 26262 erfüllen, und vermeiden Sie kritische, kostspielige Rückrufaktionen, indem Sie fahrbereite Zuverlässigkeit garantieren.
ISO 26262 ist in 12 Teile gegliedert. Teil 6 der Norm befasst sich speziell mit der Produktentwicklung auf Softwareebene. Teams, die Parasoft verwenden, sparen Zeit und Aufwand, wenn sie diesen Teil der Norm einhalten. Die Abschnitte 6.9, 6.10 und 6.11 stellen das Testen bzw. die formale Verifizierung und Validierung der Software dar.
Überblick über die Normenreihe ISO 26262
Erhalten Sie einen Überblick über die 12 Teile der Norm ISO 26262 für funktionale Sicherheit im Automobilbereich.
Leitfaden zur Einhaltung der ISO 26262
Gewinnen Sie wertvolle Einblicke in die funktionale Sicherheit mit unserem umfassenden Leitfaden zur ISO 26262.
Vorteile, die Parasoft für ISO 26262 mit sich bringt
Erfüllen Sie die Ziele der ISO 26262, indem Sie Verifizierungs- und Validierungsmethoden wie Codeüberprüfungen, Anforderungsverfolgbarkeit, statische Analyse, Komponententests, Codeabdeckung und mehr automatisieren und gleichzeitig die Arbeitskosten und die Markteinführungszeit reduzieren.
Statische Analyse
Untersuchen Sie Ihren Quellcode automatisch mit der leistungsstarken Codeanalyse-Engine von Parasoft, um potenzielle Fehler, Sicherheitslücken und Verstöße gegen Codierungsstandards frühzeitig zu erkennen, ohne den Code auszuführen.
Erfüllen Sie Compliance-Standards | Parasoft bietet eine 100-prozentige Abdeckung von MISRA, AUTOSAR C++ 14, CERT und anderen Codierungsstandards für die sichersten C- und C++-Anwendungen. |
Sicherheitstests mit statischer Analyse (SAST) | Integrieren Sie die Einhaltung von Sicherheitscodierungsstandards wie CWE, OWASP, DISA ASD STIG und UL 2900 in die Testprozesse der statischen Analyse. |
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 und vielem mehr des Programms zu erkennen. |
Datenflussanalyse | 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. |
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 kennzeichnet und priorisiert, die zuerst behoben werden müssen. |
Dynamische Analyse
Unser umfassendes Softwaretest-Framework für C und C++ unterstützt Unit-, Integrations- und Systemtests und mehr. Das Framework automatisiert 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 der ISO 26262 mit Parasofts Unterstützung für verschiedene Abdeckungstypen, einschließlich Anweisung, Zweig und MC/DC. Diese Abdeckungstypen tragen zur Gewährleistung der Codesicherheit und -zuverlässigkeit bei, indem sie ungetesteten Code, toten Code und potenzielle Defekte identifizieren. |
Compliance-Berichterstattung
Mit unserem dynamischen Berichts-Dashboard können Sie die Einhaltung von Vorschriften automatisch verfolgen und Berichte erstellen, um die Einhaltung bestimmter gesetzlicher und organisatorischer Standards 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.
Rückverfolgbarkeit der Anforderungen
Automatisieren und gewährleisten Sie die bidirektionale Rückverfolgbarkeit nach ISO 26262 zwischen Anforderungen, Testfällen, Testergebnissen und Code, einschließlich Codeüberprüfungen.
Integrieren Sie statische und dynamische Analysen in Ihren CI/CD-Workflow
Die statische Analyse, Unit-Tests, Regressionstests, Code-Abdeckung und Anforderungsrückverfolgbarkeit von Parasoft 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 und so schnell sicheren und qualitativ hochwertigen Code bereitstellen.
Werkzeugqualifikation
Parasofts C/C++-Lösungen für statische Analyse, Unit-Tests und Code Coverage wurden vom TÜV SÜD für ISO 26262 auf allen ASIL-Ebenen zertifiziert. Wir bieten außerdem ein Tool-Qualifizierungskit an, das den Prozess der Bewertung und Validierung unserer C/C++-Testlösungen automatisiert und sicherstellt, dass sie bestimmte Standards und Anforderungen für den Einsatz in kritischen oder regulierten Entwicklungsumgebungen erfüllen.
Lösungen zur Erfüllung der ISO 26262-Anforderungen
C / C ++ - Test
C/C++test ist eine leistungsstarke automatisierte Softwaretestlösung für sicherheitskritische Anwendungen im Automobilbereich, die die Einhaltung von ISO 26262 gewährleistet. Es lässt sich nahtlos in Ihre C- und C++-IDE, CI/CD-Pipeline und containerisierten Bereitstellungen für die von ISO 26262 geforderten Verifizierungs- und Validierungsmethoden integrieren.
Mehr lesen
C/C++-Test-CT
Der speziell entwickelte C/C++-Test-CT erfüllt die strengen Anforderungen der Automobilsicherheit und sicherheitskritischer Anwendungen und automatisiert die Codeabdeckung und Verifizierungsmethoden, die von ISO 26262 und ISO 21434 gefordert werden. Er lässt sich in beliebte Open-Source-Unit-Test-Frameworks, CI/CD, integrieren Pipelines und Container-Bereitstellungen. Es ist eine großartige Erweiterung für VS Code.
Mehr lesen
DTP
Parasoft DTP fasst die Ergebnisse aus verschiedenen Testverfahren und der Anforderungsrückverfolgbarkeit zusammen, um die Einhaltung der ISO 26262 sicherzustellen. Das Berichts-Dashboard bietet eine intelligente und kontinuierliche Überwachung der Testergebnisse, um Lücken besser sichtbar zu machen und zu erkennen, 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 lesenWarum Parasoft?
Parasoft bietet viele einzigartige Vorteile. Da viele unserer Kunden aus verschiedenen Branchen stammen, von medizinischen Geräten bis hin zu Verteidigungssystemen, müssen unsere Lösungen dynamisch und robust sein. Von Entwicklungstools bis hin zum Lebenszyklusmanagement: Hier sind einige der Möglichkeiten, wie Parasoft-Lösungen eingebetteten Softwareteams dabei helfen, die Anforderungen zu erfüllen. ISO 26262 .
Dedizierte Integrationen
Unsere C/C++-Testlösungen bieten dedizierte Integrationen mit eingebetteten IDEs und Debuggern und unterstützen auch IDE-Umgebungen wie Eclipse, VS Code, Green Hills Multi, Wind River Workbench, IAR EW, ARM MDK, ARM DS-5, TI CCS, Visual Studio und mehr.
Teams können C/C++test und C/C++test CT verwenden, um Unit-, Integrations- und Systemtests auf der Hostplattform, dem Simulator oder auf der eingebetteten Zielhardware auszuführen. Optimieren Sie unsere vollständig integrierte Lösung für minimalen zusätzlichen Overhead aufgrund des binären Footprints von Prozesszyklen.
Serviceorientierte Architektur – Testen auf Systemebene
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.
Automotive HIL Softwaretests
Um sicherzustellen, dass Software bei Integration in die tatsächliche Hardware präzise und zuverlässig funktioniert, führen unsere C/C++-Lösungen zielgerichtete Hardwaretests durch. Sie helfen dabei, hardwarespezifische Probleme zu erkennen, Designannahmen zu validieren und sicherzustellen, dass das System realen Bedingungen und Leistungsanforderungen gerecht wird.
Zeit- und Kostenersparnis
Unsere Testautomatisierungslösungen ermöglichen erhebliche Zeit- und Kosteneinsparungen. Wir sind bestrebt, es Ihnen so einfach wie möglich zu machen und Sie mit so viel Unterstützung wie nötig zu unterstützen, damit Sie Ihre Sicherheitsziele bei der Einhaltung der ISO 26262-Vorschriften erreichen. Schulungsmaterialien wie Webinare, Whitepaper und Blogs dienen ebenfalls als fortlaufende Zusatztools.
Häufig gestellte Fragen
Relevante Unterlagen
Verbessern Sie Ihre Softwaretests mit Parasoft-Lösungen.