Wie funktioniert es?
Funktionale Sicherheitsstandards schreiben zahlreiche Testpraktiken für den Softwareüberprüfungs- und -validierungsprozess vor. Die Implementierung des V & V-Prozesses in Übereinstimmung mit Sicherheitsfunktionen kann aufgrund der Anzahl der verschiedenen zu koordinierenden Testtechnologien eine erhebliche Herausforderung darstellen. Daher vereinfacht der Parasoft C / C ++ - Test diese Anforderung, indem er alles bereitstellt, was Sie zum Testen von C und C ++ benötigen Code in einer integrierten, TÜV SÜD-zertifizierten Lösung.
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.
Der Parasoft C / C ++ - Test umfasst dedizierte Integrationen mit führenden eingebetteten Hardware- und Softwareentwicklungsumgebungen wie Arm Development Studio, TI Code Composer, Wind River Workbench, Green Hills Software Multi und vielen anderen. Diese Integrationen unterstützen die Durchführung von Tests auf Zielhardware oder -simulatoren, um die Zuverlässigkeit und Genauigkeit der Testergebnisse zu erhöhen, die für die Einhaltung der Integritätsstufen und -standards für die funktionale Sicherheit erforderlich sind.
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.