Machen Sie manuelle Regressionstests schneller, intelligenter und zielgerichteter. Sehen Sie es in Aktion >>
IEC 61508
Führen Sie die Softwareüberprüfung und -validierung für IEC 61508 mit Parasoft C/C++-Testlösungen durch. Reduzieren Sie die Kosten für die Einhaltung der IEC 61508. Automatisieren Sie die vom Standard geforderten Testmethoden.
IEC 61508 ist ein internationaler Standard zur funktionalen Sicherheit elektrischer, elektronischer und programmierbarer elektronischer (E/E/PE) Systeme. Er bietet einen Rahmen zur Gewährleistung der Sicherheit und Zuverlässigkeit von Systemen während des gesamten Entwicklungslebenszyklus.
Stellen Sie sicher, dass Ihre sicherheitskritische Software die strengen Sicherheitsintegritätsanforderungen erfüllt, indem Sie die Verifizierungsprozesse nach IEC 61508 beherrschen, kritische Fehler vermeiden und Sicherstellung der Compliance-Anforderungen.
Leitfaden zur Erreichung funktionaler Sicherheit in der industriellen Automatisierung
Erreichen Sie Compliance für Industrielle Automatisierungssysteme durch Automatisierung von Verifizierungs- und Validierungsprozessen wie Codeüberprüfungen, Anforderungsrückverfolgbarkeit, statische Analyse, Unittests und Codeabdeckung. Dieser Ansatz reduziert Entwicklungskosten, gewährleistet Sicherheit und beschleunigt die Zertifizierungszeitpläne.
Untersuchen Sie Ihren Quellcode automatisch mit unserer leistungsstarken Code-Analyse-Engine, um potenzielle Fehler, Sicherheitslücken und Verstöße gegen Code-Standards frühzeitig zu erkennen. Dies gewährleistet die Einhaltung von Kodierungsstandards wie MISRA, CERT und mehr.
Teams erhalten von Parasoft Compliance-Unterstützung durch eine Vielzahl von Testmethoden wie Anforderungsrückverfolgbarkeit und Compliance-Reporting. Diese Methoden gewährleisten sichere und zuverlässige C- und C++-Anwendungen.
Sorgen Sie für robuste Softwaresicherheit für sicherheitskritische Systeme. Integrieren Sie Folgendes in Ihre statischen Analyseprozesse:
Identifizieren Sie potenzielle Ausführungspfade durch ein Programm und verfolgen Sie die Steuerungsbewegung. Dadurch können Sie toten Code oder Logik sowie flussbezogene Probleme erkennen, die für die Einhaltung der Compliance von entscheidender Bedeutung sind.
Identifizieren Sie Schwachstellen wie nicht initialisierte Variablen und Injektionsfehler. Finden Sie außerdem unsichere Datenverarbeitung in elektronischen Systemen mit Sensoren, Steuerlogik, Aktoren und Mikroprozessoren, die hohe Sicherheitsintegritätsstufen (SIL) erfordern.
Verbessern Sie die statische Analyse mit Walkthroughs oder unserem Code Review-Modul. Automatisieren Sie Vorbereitung, Benachrichtigung und Nachverfolgung. Dadurch wird sichergestellt, dass effiziente Überprüfungen den Anforderungen des Standards an unabhängige Bewertung und Rückverfolgbarkeit entsprechen.
Nutzen Sie künstliche Intelligenz und maschinelles Lernen, um statische Analyse-Workflows zu verbessern. Teams können die Priorisierung kritischer Probleme automatisieren. GenAI erklärt und schlägt Korrekturen für Verstöße gegen statische Analysen vor, um die Compliance-Bemühungen zu optimieren.
Automatisieren Sie die Testausführung, um Probleme während der Laufzeit zu erkennen. Dies ist wichtig, um Validierungsanforderungen zu erfüllen. Unser Softwaretest-Framework für C und C++ unterstützt Unittests, Integrationstests, Systemtests und mehr. Teams können auch beliebte Frameworks wie GoogleTest nutzen.
Isolieren Sie Einheiten mit automatisierten Stubbing-Frameworks und Mocks, um das Verhalten über verschiedene Eingaben hinweg zu validieren. Dadurch wird die Einhaltung der Sicherheitsintegritätsstufen nach IEC 61508 gewährleistet.
Generieren Sie Testfälle automatisch, um Randfälle und Fehlerzustände abzudecken und so den manuellen Aufwand zu reduzieren. Außerdem erhöht es die Testabdeckung, um sicherzustellen, dass jede Codezeile überprüft wird.
Erfüllen Sie die Anforderungen an eine 100%ige Codeabdeckung mit Parasofts Unterstützung für Anweisungs-, Verzweigungs- und MC/DC-Codeabdeckung. Stellen Sie sicher, dass Sie gründliche Tests durchführen, um ungetesteten und toten Code zu identifizieren.
Automatisieren Sie die bidirektionale Rückverfolgbarkeit zwischen Anforderungen, Testfällen, Testergebnissen, dem Quellcode und Codeüberprüfungen, um Ziele zu erreichen und Compliance-Anforderungen zu erfüllen. Behalten Sie die Ausrichtung gemäß IEC 61508 auf die Lebenszyklusdokumentation und die Rückverfolgbarkeitsmatrix für Anforderungen bei.
Verfolgen Sie den Fortschritt bei der Einhaltung von IEC 61508 automatisch mit dynamischen Dashboards. Erstellen Sie Berichte, um die Einhaltung nachzuweisen und Audits durchzuführen. Teams erhalten auch Einblick in die Testergebnisse, selbst bei großen oder älteren Codebasen.
Die statische Analyse, Unit-Tests, Regressionstests, Code-Abdeckung und Anforderungsrückverfolgbarkeit von Parasoft lassen sich nahtlos in CI/CD-Pipelines integrieren. Teams können die meisten dieser Funktionen auch in andere Test-Frameworks wie Boost.Test integrieren, um zuverlässige, sicherheitskonforme Software sicherzustellen, die mit IEC 61508 übereinstimmt.
Unsere C/C++-Testlösungen wurden vom TÜV SÜD nach IEC 61508 für alle SIL-Stufen zertifiziert. Das Konformitätszertifikat erfüllt die Anforderungen der IEC 61508, sodass keine weiteren Maßnahmen erforderlich sind. Auf Wunsch bieten wir ein Tool-Qualifizierungskit an, das den Prozess zur Durchführung der Tool-Qualifizierung innerhalb Ihres Entwicklungsökosystems automatisiert.
Profitieren Sie durch unsere umfassenden Lösungen von einzigartigen Compliance-Vorteilen. Durch die Automatisierung kritischer Prozesse wie statischer und dynamischer Analyse, Anforderungsrückverfolgbarkeit und struktureller Codeabdeckung gewährleistet Parasoft eine effiziente und zuverlässige Überprüfung sicherheitskritischer Medizingerätesoftware. Unsere Lösungen lassen sich nahtlos in vorhandene Entwicklungsumgebungen integrieren. Teams optimieren Arbeitsabläufe und beschleunigen Compliance-Bemühungen.
Vereinfachen Sie Arbeitsabläufe für komplexe sicherheitskritische Systeme, indem Sie Parasoft-Lösungen mit eingebetteten IDEs und Debuggern integrieren. Zu den unterstützten Umgebungen gehören Eclipse, VS Code, Green Hills MULTI, Wind River Workbench und mehr.
Verwenden Sie für Tests auf Systemebene Parasoft SOAtest und Virtualize. Automatisieren Sie funktionale API-Tests und stabilisieren Sie Abhängigkeiten, um die Aktivitäten zur Einhaltung der IEC 61508-Vorgaben zu beschleunigen.
Reduzieren Sie den Zeit- und Kostenaufwand für die Einhaltung der IEC 61508. Automatisieren Sie arbeitsintensive Aufgaben mit unseren Lösungen, die gezielte Erkenntnisse liefern.
Stellen Sie eine genaue und zuverlässige Softwareleistung sicher, wenn sie in die tatsächliche Hardware integriert ist. Verwenden Sie unsere C/C++-Testlösungen, um die Software auf der tatsächlichen Zielhardware zu testen. Dies ist ein Muss, um hardwarespezifische Probleme zu erkennen, Annahmen zu validieren und Anforderungen für reale Bedingungen zu erfüllen.
Verbessern Sie Ihre Softwaretests mit Parasoft-Lösungen.