C/C++-Softwaretests für funktionale Sicherheit

Sehen Sie, welche API-Testlösung im GigaOm Radar Report am besten abgeschnitten hat. Holen Sie sich Ihren kostenlosen Analystenbericht >>

Einhaltung der funktionalen Sicherheit von C / C ++

Demo anfordern

Softwaretests für die funktionale Sicherheit in C / C ++ - Anwendungen

Die Lösung von Parasoft für funktionale Sicherheit ermöglicht es Unternehmen, die Test- und Softwarequalitätsanforderungen zu erfüllen, die sich aus Standarddokumenten wie z ISO 26262 , ISO 21434 , EN 50128, IEC 61508 und DO-178B / C.. Mit Parasoft können Teams die von diesen Standards vorgeschriebenen Testpraktiken und Softwarequalifizierungsprozesse automatisieren und den sonst erforderlichen intensiven manuellen Aufwand drastisch reduzieren.

Wie funktioniert es?

Funktionale Sicherheitsstandards schreiben zahlreiche Testpraktiken für den Software-Verifizierungs- und Validierungsprozess vor. Die Implementierung des V&V-Prozesses in Übereinstimmung mit Sicherheitsfunktionen kann aufgrund der Vielzahl verschiedener Testtechnologien, die orchestriert werden müssen, eine erhebliche Herausforderung darstellen. Daher vereinfachen Parasoft C/C++test und C/C++test CT diese Anforderungen, indem sie alles bereitstellen Sie müssen Ihren C- und C++-Code in einer integrierten, TÜV SÜD-zertifizierten Lösung testen.

Die Lösung von Parasoft für sicherheitskritische Software bietet eine einzigartige Kombination von Funktionen, mit denen Benutzer alle wichtigen Testanforderungen, die von Sicherheitsfunktionen gestellt werden, mit minimalem Aufwand erfüllen können. Anstatt Ressourcen für die Implementierung, Integration und Wartung unabhängiger Lösungen aufzuwenden, können Parasoft-Benutzer mehr Zeit für die Bereitstellung sicherer und qualitativ hochwertiger Projekte aufwenden.

Mit dem Parasoft C / C ++ - Test können Entwickler beispielsweise statische Code-Analysen für verschiedene Codierungsstandards durchführen (z MISRA, CERT, AUTOSAR, CWE, JSF und mehr), Unit-Tests und Tests auf Systemebene mit Fehlerinjektion und Überwachung der Codeabdeckung (Anweisung, Verzweigung, MC / DC, Aufruf usw.), ohne die IDE zu verlassen. Die Testergebnisse können sofort in der Entwicklungsumgebung des Benutzers oder in einem zentralen Berichts-Dashboard überprüft werden, in dem erweiterte Analysen der aggregierten Testdaten durchgeführt werden.

Parasoft C/C++-Lösungen umfassen dedizierte Integrationen mit führenden eingebetteten Hardware- und Software-Entwicklungsumgebungen wie Arm Development Studio, TI Code Composer, Wind River Workbench, Green Hills Software Multi und vielen anderen. Diese Integrationen unterstützen die Ausführung von Tests auf Zielhardware oder Simulatoren, um die Zuverlässigkeit und Genauigkeit der Testergebnisse zu erhöhen, was für die Einhaltung der Integritätsniveaus und -standards der funktionalen Sicherheit erforderlich ist.

Parasoft reduziert das Risiko und den Aufwand für die Werkzeugqualifizierung erheblich. Neben der Möglichkeit, die TÜV-Zertifizierung (falls zutreffend) anzuwenden, profitieren Benutzer von einer zusätzlichen Automatisierung bei der Durchführung der Werkzeugqualifikation Prozess mit Parasofts speziellen Qualifizierungskits, die Benutzer durch alle wichtigen Schritte des Verfahrens führen und den größten Teil der mühsamen manuellen Arbeit automatisieren, die normalerweise erforderlich ist.

Demo anfordern Nehmen Sie eine Tour

Eigenschaften

Vorteile aus dem Parasoft-Ansatz

Reduzieren Sie das Risiko mit mehreren Testtechnologien, die in einem Tool integriert sind

Die Vollständigkeit von Parasoft C/C++test und C/C++test CT führt zu einer höheren Entwicklereffizienz bei der Entwicklung von Anwendungen mit Anforderungen an die funktionale Sicherheit. Entwickler können sich auf ihre Kernaktivitäten konzentrieren, ohne mehrere Tools erlernen, integrieren und qualifizieren zu müssen. Tool-Integratoren oder -Architekten müssen keine Zeit damit verbringen, Schnittstellen zwischen Tools für den Datenaustausch und die Erstellung einheitlicher Berichte zu implementieren. Stattdessen erhalten sie alles sofort von Parasoft.

Reduzieren Sie den Testaufwand mit einer bewährten Testsuite, die speziell für sicherheitskritische Anwendungen entwickelt wurde

Bei der Durchführung von Komponententests oder der Überwachung des Laufzeitspeichers werden alle zum Erstellen der Testbinärdatei erforderlichen Komponenten, einschließlich der Testfälle für getestete Codestimulation und Stubs, in Form von Quellcode ausgedrückt und können versioniert und überprüft werden. Dieser Ansatz ist anderen Tools überlegen, bei denen die Stimulation für getesteten Code zur Laufzeit vom Host gesendet wird und zusätzliche Konvertierungen erfordert, bevor sie den Variablen im Speicher zugewiesen werden. Der C / C ++ - Test entfernt diese unnötige Schicht und stellt sicher, dass der Status des Speichers vor dem Ausführen von Tests auf dieselbe Weise wie in den Produktionssystemen erstellt wird.

Beseitigen Sie Overhead für die Einhaltung der funktionalen Sicherheit

Parasoft bietet teamweite Datenintegration, bequemes Reporting, das an unterschiedliche Codierungsstandards angepasst ist, und erweiterte Analysefunktionen über die preisgekrönte Process Intelligence Engine von Parasoft. Benutzer profitieren von der Möglichkeit, Informationen aus mehreren verschiedenen Quellen (z. B. Quellcode- oder Anforderungsmanagementsystemen, Testtools oder ALMs) für eine einzigartige Datenanalyse zusammenzufassen, um die Bemühungen auf die produktivste Weise zu konzentrieren. Teams können die Produktivität steigern, indem sie Trends im Entwicklungsprozess überwachen und auf einfache Weise Berichte erstellen, die Industriestandards wie „MISRA Compliance: 2020“ entsprechen.