Empfohlenes Webinar: MISRA C++ 2023: Alles, was Sie wissen müssen | Zum Video

Werkzeugqualifikation

Automatisieren Sie einfach den Tool-Qualifizierungsprozess

Reduzieren Sie den mit der Werkzeugqualifizierung für sicherheitskritische Industrien verbundenen Overhead

Die Werkzeugqualifizierung ist ein vorgeschriebener Prozess für die sicherheitskritische Softwareentwicklung. Parasofts Qualifikationskits für Parasoft C / C ++ test Automatisieren Sie den Prozess der Erstellung der unterstützenden Dokumentation, die für die Werkzeugqualifizierung für statische Analysen, Komponententests und Abdeckungsanforderungen erforderlich ist, und reduzieren Sie sowohl das Potenzial für menschliches Versagen als auch den Zeitaufwand für die Durchführung der Werkzeugqualifizierung.

Bewältigen Sie die Herausforderungen der Werkzeugqualifizierung

Kompatibilitätsdokumentation automatisch generieren

Parasoft automatisiert die Erstellung von Dokumentationen, die für die Qualifizierung des Parasoft C / C ++ - Tests für die Verwendung in sicherheitskritischen Branchen erforderlich sind, indem der Benutzer durch einen intuitiven Workflow geführt und Dokumentationen erstellt wird, die für den Nachweis der Werkzeugqualifizierung von entscheidender Bedeutung sind.

Reduzieren Sie den Umfang der zur Qualifizierung des Tools erforderlichen Komponenten

Der erste Schritt im effizienten Workflow von Parasoft besteht darin, die spezifischen Anwendungsfälle und Funktionen des Parasoft C / C ++ - Tests auszuwählen, die im Softwareprojekt verwendet werden, um den Gesamtumfang der zu qualifizierenden Elemente zu reduzieren und den Qualifizierungsprozess zu optimieren.

Tests automatisch ausführen

Obwohl der Prozess der Werkzeugqualifizierung nicht zu 100% automatisiert werden kann, macht der einzigartige Workflow der Parasoft-Qualifizierungskits ihn so einfach wie möglich, reduziert den manuellen Testaufwand und führt automatisierte Tests für ausgewählte Anwendungsfälle durch.

Parasoft Tool Qualification Kits

Die Werkzeugqualifizierung ist für Unternehmen vorgeschrieben, die Software für sicherheitskritische Anwendungen entwickeln, die Standards wie DO-178B / C (Luft-und Raumfahrt), ISO 26262 (Automobilindustrie), IEC 62304 (Medizin), EN-50128 (Eisenbahn) und IEC 61508 (Funktionssicherheit). Diese Standards verlangen von Unternehmen den Nachweis, dass die zur Entwicklung ihres Codes verwendeten Softwaretools für die Verwendung in der von ihnen geforderten sicherheitskritischen Anwendung geeignet sind.

Parasoft unterstützt den DO-178B/C- und DO-330-konformen Qualifizierungsprozess mit dem automatisierten Tool-Qualifizierungskit für alle seine Softwareebenen und Parasoft C/C++test ist TÜV SÜD zertifiziert für Normen ISO 26262 (Automobil), IEC 62304 (Medizin), EN 50128 (Eisenbahn) und IEC 61508 (Funktionssicherheit) für alle ASIL- und SIL-Level. Es ist keine zusätzliche Werkzeugqualifikation erforderlich, da das bereitgestellte Zertifikat mehr als ausreichend ist, jedoch die Option dazu besteht Führen Sie eine Qualifizierung durch Validierung durch. Das automatisierte Tool-Qualifizierungskit von Parasoft ist immer verfügbar.

Die Genehmigung des Tools zur Verwendung ist normalerweise ein dokumentationsintensiver formaler Prozess, der eine zeitaufwändige manuelle Fertigstellung erfordert, die für menschliches Versagen anfällig ist. Um dieses Problem zu lösen, verwenden Sie Parasofts Tool Qualification Kits für Parasoft C / C ++ test einschließen automatisierter Werkzeugassistent Dies automatisiert den Qualifizierungsprozess selbst, führt die Organisation durch den Qualifizierungsprozess und reduziert den mühsamen, fehleranfälligen manuellen Aufwand für die Qualifizierung erheblich. Lesen Sie weiter unten.

Profitieren Sie vom Parasoft-Ansatz

Nehmen Sie sich weniger Zeit für die Werkzeugqualifizierung und mehr Zeit für die Entwicklung neuer Funktionen.

Optimieren Sie die Tool-Qualifizierung mit einem integrierten Ansatz

Die Qualifikationskits von Parasoft decken alle Funktionen des Parasoft C / C ++ - Tests ab und erfüllen gleichzeitig nicht nur die statische Analyse, sondern auch die Anforderungen an Unit-Tests und Abdeckung für sicherheitskritische Software. Ohne dies müssen Benutzer mehrere Tools in ihrer Toolchain einzeln qualifizieren, was zu einer erheblichen Doppelarbeit führt.

Erleichtern Sie die Werkzeugqualifizierung mit zusätzlicher Automatisierung

Im Gegensatz zu den statischen Qualifizierungs-Kits anderer Anbieter generiert das Qualifizierungs-Support-Tool von Parasoft automatisch geeignete Berichte, die darauf basieren, welche Funktionen und Fähigkeiten im Softwareprojekt verwendet werden. Durch die Konzentration auf die für das Projekt wichtige Funktionalität können Benutzer die erforderliche manuelle Dokumentation minimieren und das Potenzial für menschliche Fehler bei der Vorbereitung der Dokumentation reduzieren.

Nutzen Sie die Automatisierung, um die Requalifizierung zum Kinderspiel zu machen

Wenn Parasoft einen neuen Patch des Parasoft C / C ++ - Tests veröffentlicht, können Benutzer die Qualifizierung für den Build schnell erneut ausführen und das Tool für die Verwendung mit minimalem Aufwand erneut qualifizieren. Dies bedeutet, dass Benutzer Aktualisierungen und Verbesserungen des C / C ++ - Tests nutzen können, ohne sich erneut um alle Details der Werkzeugqualifizierung kümmern zu müssen.