Entdecken Sie das TÜV-zertifizierte GoogleTest mit Agentic AI für C/C++-Tests!
Details ansehen »
Werkzeugqualifikation
Die Werkzeugqualifizierung ist ein vorgeschriebener Prozess für die Entwicklung sicherheitskritischer Software. Die Qualifizierungskits von Parasoft für Parasoft C/C++-Testlösungen automatisieren die Erstellung der erforderlichen Dokumentation für die Werkzeugqualifizierung von statischer Analyse, Unit-Tests und Abdeckungsanforderungen. Dadurch werden sowohl das Risiko menschlicher Fehler als auch der Zeitaufwand für die Werkzeugqualifizierung reduziert.
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.
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.
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.
Die Werkzeugqualifizierung ist für Organisationen, die Software für sicherheitskritische Anwendungen entwickeln, vorgeschrieben. Diese Software muss Normen wie DO-178B /C ( Luft- und Raumfahrt ), ISO 26262 ( Automobilindustrie ), IEC 62304 (Medizintechnik), EN-50128 (Eisenbahn) und IEC 61508 ( Funktionale Sicherheit ) entsprechen. Diese Normen verlangen von den Organisationen den Nachweis, dass die zur Entwicklung ihres Codes verwendeten Softwarewerkzeuge für den Einsatz in der jeweiligen sicherheitskritischen Anwendung geeignet sind.
Parasoft unterstützt den konformen Qualifizierungsprozess gemäß DO-178C und DO-330 mit seinem automatisierten Tool Qualification Kit für alle Softwareebenen. Parasoft C/C++test und C/C++test CT sind TÜV SÜD-zertifiziert für die Normen ISO 26262 (Automobilindustrie), IEC 62304 (Medizintechnik), EN 50128 (Eisenbahn) und IEC 61508 ( Funktionale Sicherheit ) für alle ASIL- und SIL-Stufen. Eine zusätzliche Tool-Qualifizierung ist nicht erforderlich, da das vorhandene Zertifikat vollkommen ausreichend ist. Unser automatisiertes Tool Qualification Kit, das für C/C++test verfügbar ist, bietet jedoch die Möglichkeit, die Qualifizierung durch Validierung durchzuführen.
Die Freigabe eines Tools ist normalerweise ein dokumentationsintensiver, formaler Prozess, der zeitaufwändige manuelle Bearbeitung erfordert und fehleranfällig ist. Um dieses Problem zu lösen, automatisieren die Tool Qualification Kits von Parasoft für Parasoft C/C++-Testlösungen den Qualifizierungsprozess selbst. Sie führen die Organisation durch den gesamten Prozess und reduzieren den mühsamen und fehleranfälligen manuellen Aufwand erheblich. Lesen Sie weiter unten mehr.
Nehmen Sie sich weniger Zeit für die Werkzeugqualifizierung und mehr Zeit für die Entwicklung neuer Funktionen.
Die Qualifizierungskits von Parasoft decken alle Funktionen des Parasoft C/C++-Tests ab und erfüllen nicht nur die statische Analyse, sondern auch die Unit-Test- und Abdeckungsanforderungen für sicherheitskritische Software. Ohne diese Kits müssen Benutzer mehrere Tools in ihrer Toolchain einzeln qualifizieren, was zu einer erheblichen Doppelarbeit führt.
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.
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.
