Erfahren Sie, was es Neues in MISRA C:2012 AMD3 gibt und wie Sie mit C/C++test 2022.2 die UMFANGREICHSTE Abdeckung erhalten! Auf Abruf ansehen >>

Unterstützung
Werkzeugqualifikation

Automatisieren Sie einfach den Tool-Qualifizierungsprozess

Eine Demo anfordern
Kontaktieren Sie uns

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.

Wie funktioniert es?

Das Tool Qualification Kit von Parasoft nutzt die Automatisierung, um Benutzer durch den folgenden Workflow zu führen:

1. Festlegen der Anwendungsfälle und Funktionen, die für das Projekt verwendet werden sollen, Reduzieren des Umfangs der für die Qualifizierung erforderlichen Funktionen.

2. Ordnen Sie bekannte Probleme in dem Tool, das Sie qualifizieren, schnell den Funktionen des Tools zu, das Sie in der Entwicklung verwenden, und definieren Sie geeignete Maßnahmen zur Schadensbegrenzung.

3. Planen und Erfassen der Ergebnisse manueller Testbemühungen, Vereinfachung der Verwaltung manueller Tests.

4. Ausführen automatisierter Tests, um Zeit und menschliches Versagen bei der Erfassung automatisierter Testergebnisse zu vermeiden.

5. Zusammenführen aller Daten und Generieren der kritischen Dokumente, die zum Nachweis der Werkzeugqualifikation erforderlich sind.

Ja! Der Tool-Klassifizierungsbericht bestimmt die erforderliche Qualifikation und zeigt die maximale Sicherheitsstufe für den Parasoft C / C ++ - Test basierend auf den vom Benutzer ausgewählten Anwendungsfällen an.

Der Inhalt dieses Dokuments besteht aus vier Teilen:

  • Allgemeine Beschreibung der Bewertungsmethode
  • Definition der zu bewertenden Toolchain
  • Bestimmung der Werkzeugwirkung
  • Bestimmung der Werkzeugklassifizierungsstufe

Ja! Das Dokument Tool Qualification Plan beschreibt, wie der Parasoft C / C ++ - Test für die Verwendung in einem sicherheitsrelevanten Entwicklungsprojekt qualifiziert wird.

Die angewandte Qualifizierungsmethode basiert auf der „Werkzeugvalidierung“. Dieses Dokument enthält die Beschreibung der Qualifizierungsprozesse - die Grundlage für die Standardkonformitätsprüfungen, die in separaten Dokumenten durchgeführt und dokumentiert wurden.

Die Validierungsziele werden aus den Anforderungen der Sicherheitsstandards und aus den kritischen potenziellen Werkzeugfehlern abgeleitet, die für die Anwendungsfälle des Werkzeugs im Tool Classification Report (TCR) identifiziert wurden. Ziel der Werkzeugvalidierung ist es, ausreichende Nachweise für das Fehlen dieser kritischen potenziellen Fehler in den Anwendungsfällen des Werkzeugs zu liefern.

Ja! Das Dokument Dokumentqualifizierungsbericht zeigt, dass der C / C ++ - Test gemäß dem Werkzeugqualifizierungsplan (TQP) qualifiziert wurde.

Sobald der Parasoft C / C ++ - Test vom Benutzer für die Verwendung in einem sicherheitsrelevanten Entwicklungsprojekt qualifiziert wurde, kann er gemäß dem Tool-Sicherheitshandbuch verwendet werden.

Dieses Dokument beschreibt die Qualifikationsergebnisse:

  • Die Werkzeugdefinition, wie sie für die Qualifizierung verwendet wurde
  • Das angewandte Qualifikationskit
  • Die ausgeführten Testfälle und ihre Ergebnisse
  • Die Analyse von Testfällen mit einem Ergebnis ungleich PASS
  • Der ausgeführte Qualifizierungsprozess und die relevanten Artefakte

Ja! Dieses Dokument beschreibt, wie der Parasoft C / C ++ - Test sicher verwendet werden sollte, dh den Sicherheitsstandards (DO-178B / C, EN 50128, IEC 61508, ISO 26262) in sicherheitskritischen Projekten entspricht.

Die Sicherheit von Werkzeugen wird in drei Schritten erreicht:

  • Klassifizierung durch Analyse der potenziellen Fehler der Tools und der verwendeten Funktionen.
  • Eventuelle Qualifikation, um mögliche Fehler auszuschließen.
  • Sichere Verwendung des Parasoft C / C ++ - Tests gemäß diesem Tool-Sicherheitshandbuch, einschließlich der Überprüfung bekannter Fehlerupdates.

Zusätzlich zu den automatisierten Berichtsvorlagen (Werkzeugklassifizierungsbericht, Werkzeugqualifizierungsplan, Werkzeugqualifizierungsbericht und Werkzeugsicherheitshandbuch) enthält das Parasoft-Qualifizierungskit:

  • Benutzerhandbuch und Erste Schritte für das Qualification Kit
  • Dokumentation des V & V-Prozesses für das Qualification Kit
  • Test Automation Unit: Das Modul des Qualification Kits, das für die Automatisierung des Prozesses zur Ausführung der Validierungstestfälle verantwortlich ist
  • Validierungstestfälle: Die Sammlung von C / C ++ - Codefragmenten mit zusätzlicher Konfiguration und Definition der erwarteten Ergebnisse zur Validierung der Funktionen des Parasoft C / C ++ - Tests (Tool Operational Requirements).

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.

Warum Parasoft?

Seit über 30 Jahren unterstützt Parasoft die führenden Luft- und Raumfahrt-, Militär- und DoD-Unternehmen bei der Bereitstellung strenger sicherheitskritischer und sicherheitskritischer Systeme. Durch die Bereitstellung der besten Technologien für Entwicklungs- und Funktionstestteams zur Automatisierung und Verlagerung ihrer Teststrategien können Parasoft-Kunden ihre Agile- und DevOps-Bereitstellungsziele erreichen und übertreffen.

Einen Schritt weiter

Erfahren Sie, wie wir Ihnen helfen können, Ihre Softwarequalität zu verbessern. Lassen Sie uns ein Gespräch führen.

Kontaktieren Sie uns heute