Seien Sie am 30. April dabei: Vorstellung von Parasoft C/C++test CT für kontinuierliche Tests und Compliance-Exzellenz | Registrierung

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++-Testlösungen 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 der Dokumentation, die für die Qualifizierung von Parasoft C/C++-Testlösungen für den Einsatz in sicherheitskritischen Branchen erforderlich ist, indem es den Benutzer durch einen intuitiven Arbeitsablauf führt und Dokumentation generiert, die für den Nachweis der Werkzeugqualifizierung von entscheidender Bedeutung ist.

Reduzieren Sie den Umfang der zur Qualifizierung des Tools erforderlichen Komponenten

Der erste Schritt im effizienten Workflow von Parasoft ist die Auswahl der spezifischen Anwendungsfälle und Funktionen der Parasoft C/C++-Testlösungen zur Verwendung im Softwareprojekt, um den Gesamtumfang der zu qualifizierenden Dinge zu reduzieren und den Qualifizierungsprozess zu rationalisieren.

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.

Parasoft C/C++test CT befindet sich im Prozess der TÜV SÜD-Zertifizierung und ein Qualitätskit wird entwickelt.

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 Qualifizierungskits von Parasoft decken alle Funktionen des Parasoft C/C++-Tests ab und erfüllen nicht nur statische Analysen, sondern gleichzeitig auch Unit-Tests und Abdeckungsanforderungen für sicherheitskritische Software. Dies ist ähnlich für C/C++test CT. Andernfalls müssen Benutzer mehrere Tools in ihrer gesamten Toolchain einzeln qualifizieren, was zu einem erheblichen Doppelaufwand 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 von Parasoft C/C++test und C/C++test CT veröffentlicht, können Benutzer die Qualifizierung für den Build schnell erneut ausführen und das Tool mit minimalem Aufwand erneut für die Verwendung qualifizieren. Dies bedeutet, dass Benutzer von Aktualisierungen und Verbesserungen unserer C/C++-Testlösungen profitieren können, ohne sich erneut um alle Details der Tool-Qualifizierung kümmern zu müssen.