Verwenden Sie Agentic AI, um intelligentere API-Tests zu generieren. In wenigen Minuten. Erfahren Sie mehr >>
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 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.
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.
Erhalten Sie einen Überblick über die 12 Teile der Norm ISO 26262 für funktionale Sicherheit im Automobilbereich.
Gewinnen Sie wertvolle Einblicke in die funktionale Sicherheit mit unserem umfassenden Leitfaden zur ISO 26262.
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.
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 eine 100-prozentige Abdeckung von MISRA, AUTOSAR C++ 14, CERT und anderen Codierungsstandards für die sichersten C- und C++-Anwendungen.
Integrieren Sie die Einhaltung von Sicherheitscodierungsstandards wie CWE, OWASP, DISA ASD STIG und UL 2900 in die Testprozesse der statischen Analyse.
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 kennzeichnet und priorisiert, die zuerst behoben werden müssen.
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.
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 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.
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.
Automatisieren und gewährleisten Sie die bidirektionale Rückverfolgbarkeit nach ISO 26262 zwischen Anforderungen, Testfällen, Testergebnissen und Code, einschließlich Codeüberprüfungen.
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.
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.
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 .
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.
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.
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.
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.
Verbessern Sie Ihre Softwaretests mit Parasoft-Lösungen.