Der ASTQ-Gipfel ist am 4. November live! Hören Sie, wie Branchenführer berichten, wie sie kontinuierliche Qualität liefern. Jetzt registrieren "
Der ASTQ-Gipfel ist am 4. November live! Hören Sie, wie Branchenführer berichten, wie sie kontinuierliche Qualität liefern. Jetzt registrieren "
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.
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.
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.
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 Unternehmen vorgeschrieben, die Software für sicherheitskritische Anwendungen entwickeln, die Standards wie DO-178B / C (Luft-und Raumfahrt), ISO 26262 (Automobilindustrie), 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 DO330-konformen Qualifizierungsprozess mit dem automatisierten Tool-Qualifizierungskit für alle Software-Levels und den Parasoft C / C ++ - Test TÜV SÜD zertifiziert für Normen ISO 26262 (Automobilindustrie), 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.
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:
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:
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:
Zusätzlich zu den automatisierten Berichtsvorlagen (Werkzeugklassifizierungsbericht, Werkzeugqualifizierungsplan, Werkzeugqualifizierungsbericht und Werkzeugsicherheitshandbuch) enthält das Parasoft-Qualifizierungskit:
Nehmen Sie sich weniger Zeit für die Werkzeugqualifizierung und mehr Zeit für die Entwicklung neuer Funktionen.
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.
Im Gegensatz zu den statischen Qualifizierungskits anderer Anbieter generiert das Qualification Support Tool von Parasoft automatisch entsprechende Berichte, die darauf basieren, welche Funktionen und Fähigkeiten im Softwareprojekt verwendet werden. Durch die Konzentration auf die für das Projekt wichtigen Funktionen können Benutzer die erforderliche manuelle Dokumentation minimieren und das Risiko menschlicher Fehler bei der Erstellung der Dokumentation verringern.
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.
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.
Erfahren Sie, wie wir Ihnen helfen können, Ihre Softwarequalität zu verbessern. Lass uns ein Gespräch führen.
Kontaktieren Sie uns