Testlösungen für industrielle Automatisierungssoftware

KI-gesteuertes Testen ist jetzt noch intelligenter. Entdecken Sie SOAtest 2025.1. >>

Softwareentwicklung und -tests für die industrielle Automatisierung

Funktionale Sicherheitsstandards wie IEC 61508 und seine Derivate verlangen von Organisationen den Nachweis, dass die Software- und Sicherheitsanforderungen erfüllt und vollständig getestet sind. Seit über 30 Jahren unterstützt Parasoft Unternehmen bei der Einhaltung solcher Standards durch erforderliche Best Practices wie Komponententests, Testabdeckung, Softwaremetriken, Rückverfolgbarkeit und statische Code-Analyse mit integrierter Unterstützung für MISRA-, CERT- und andere Codierungsstandards der Automatisierungsbranche.

Bewältigen Sie die heutigen Herausforderungen bei der modernen Softwareentwicklung

Erhöhte Sicherheitsrisiken verwalten

Industrielle Automatisierungssysteme (und die Software, die sie antreibt) sind zunehmend vernetzt und nutzen nicht mehr private Netzwerke, sondern verlassen sich immer mehr auf das öffentliche Internet, um Sensoren mit der Steuerung wichtiger Infrastrukturen und Back-End-Unternehmenssystemen zu verbinden. Das Internet hat zwar die Flexibilität der Systeme erhöht, aber auch eine Explosion neuer Bedrohungen und Komplexitäten geschaffen. Bei Sicherheitslücken in der Steuerungssoftware besteht die Gefahr, dass einem Terroranschlag unter Ausnutzung einer unvorhergesehenen Situation Tür und Tor geöffnet werden. Parasoft C/C++-Testlösungen bietet die umfassendste Softwaretestlösung für Sicherheit auf dem Sicherheitsmarkt, sodass Unternehmen Software mit weniger Risiken entwickeln und veröffentlichen können.

Bewältigen Sie die wachsenden Komplexitäten moderner Entwicklung und Konnektivität

Für mehrschichtige IIoT-Lösungen (Industrial Internet of Things) sind unterschiedliche Technologien und Tools erforderlich, um die Software für jede Schicht zu implementieren und zu testen. Low-Level-Sensoren und -Aktuatoren werden höchstwahrscheinlich mit C und C ++ entwickelt, während obere Schichten mit Java oder C # implementiert werden. Die Konnektivität erhöht die Komplexität mit mehreren Komponenten, die unterschiedliche Protokolle verwenden, um Nachrichten an den Endbenutzer weiterzugeben. Parasoft bietet Testtools für jede Komplexitätsebene, die nahtlos in ausgefeilte Berichte und Analysen integriert sind, um Unternehmen bei der Bewältigung dieser wachsenden Komplexität zu unterstützen.

IEC 61508 und seine Derivate einhalten

Um die erforderlichen Ebenen der funktionalen Sicherheit zu erreichen, entscheiden sich viele Organisationen für die Entwicklung ihrer Industrielle Automatisierungssysteme in Übereinstimmung mit mit dem IEC 61508-Standard, der disziplinierte und strenge Softwareentwicklungs- und Testprozesse erfordert. Automatisierte Softwaretest-Tools von Parasoft reduzieren die Kosten für die Einhaltung von IEC 61508, indem sie die automatisierten Tools bereitstellen, die für die effiziente Einhaltung der Konformität erforderlich sind, sowie ein zentrales Berichtssystem, das den Dokumentationsaufwand reduziert.

Bild von Flaschen, die in einer Fertigungsstraße gefüllt werden.

Parasoft-Lösungen für die industrielle Automatisierung

Die integrierte Tool-Suite von Parasoft bietet Teams eine praktische Möglichkeit, Fehler zu verhindern, aufzudecken und zu korrigieren, um sicherzustellen, dass ihr C- und C++-Code wie erwartet funktioniert und den Anforderungen entspricht. Um eine schnelle Behebung zu fördern, wird jedes erkannte Problem anhand konfigurierbarer Schweregradzuweisungen priorisiert, automatisch dem Entwickler zugewiesen, der den entsprechenden Code geschrieben hat, und an seine IDE mit direkten Links zum problematischen Code und einer Beschreibung zur Behebung des Problems verteilt. Für die eingebettete und plattformübergreifende Entwicklung können Sie C/C++test und C/C++test CT sowohl in hostbasierten als auch zielbasierten Codeanalysen und Testabläufen verwenden.

Parasoft C/C++test und C/C++test CT helfen Entwicklungsteams für industrielle Automatisierungssoftware, die Anforderungen des Softwareentwicklungs- und Verifizierungsprozesses gemäß der Norm IEC 61508 zu erfüllen. Wenn Ergebnisse der breiten Palette von Test- und Codeanalysetypen, die durch C/C++test und C/C++test CT automatisiert werden, verarbeitet werden, werden intelligente Analysen erstellt, die den Arbeitsaufwand für die Softwareverifizierung erheblich reduzieren.

Profitieren Sie vom Parasoft-Ansatz

Reduzieren Sie die Kosten für die Entwicklung hochwertiger Software, ohne die Markteinführungszeit zu beeinträchtigen.

Profitieren Sie von einem einheitlichen Tool mit mehreren Testmethoden

Der Parasoft C / C ++ - Test erfüllt mehrere in IEC 61508 aufgeführte Softwaretestanforderungen. Die Vollständigkeit der Lösung führt zu einem geringeren Lern- und Einrichtungsaufwand. Entwickler müssen nicht mehrere Tools erlernen und können sich auf ihre Kernaktivitäten konzentrieren. Werkzeugintegratoren oder Architekten sparen Zeit, die sie sonst für die Implementierung von Schnittstellen zwischen Werkzeugen zum Datenaustausch und zur Erstellung einheitlicher Berichte benötigen.

Verwenden Sie eine Werkzeugarchitektur, die für sicherheitskritische Anwendungen geeignet ist

Parasoft C/C++-Testlösungen sind für sicherheitskritische Anwendungen konzipiert. Bei der Durchführung von Komponententests oder der Überwachung des Laufzeitspeichers werden alle zum Erstellen der Testbinärdatei erforderlichen Komponenten, einschließlich der Testfälle für getesteten Code, Stimulation und Stubs, in Form des Quellcodes ausgedrückt und können versioniert und überprüft werden. Indem alle Testartefakte in Form des Quellcodes ausgedrückt werden, stellt C/C++test sicher, dass der Zustand des Speichers vor der Ausführung von Tests auf die gleiche Weise wie im Produktionssystem aufgebaut wird.

Steigern Sie die Effizienz mit einem speziellen Qualifizierungskit für IEC 61508

Parasoft C/C++test wird durch ein spezielles IEC 61508-Qualifizierungskit unterstützt, das den Standardanforderungen für den Tool-Qualifizierungsprozess entspricht. Anstatt nur Qualifizierungsunterstützung in Form der Sammlung von Testfällen und Vorlagen für Skripte und Berichte bereitzustellen, die viele Anpassungen erfordern, führt das automatisierte Qualifizierungs-Support-Tool von Parasoft Benutzer durch alle Schritte, die zur Qualifizierung des Tools erforderlich sind, und automatisiert den Großteil der mühsamen manuellen Arbeit, die zur Qualifizierung des Werkzeugs erforderlich ist. Dazu gehört die Ausführung der Testfälle aus der bereitgestellten umfassenden Testsuite sowie die Erstellung der Abschlussberichte, die zur Dokumentation des Qualifizierungsprozesses erforderlich sind. Parasoft C/C++test CT befindet sich im Prozess der TÜV SÜD-Zertifizierung und ein Qualitätskit wird entwickelt.

Bild von zwei Frauen, die in einer Fabrik an einem Computer und einem Tablet zusammenarbeiten.

„Die Lösung von Parasoft lehrt uns alle, bessere Programmierer zu sein. Sie hilft uns, Fehler zu finden, von denen wir nicht einmal wussten, dass es Fehler sind. Die Lösung von Parasoft hat dem Global Modeling and Analysis-Team Zeit und Ressourcen gespart, die wir sonst für die Suche und Behebung von Fehlern aufgewendet hätten. Stattdessen können wir diese Zeit nutzen, um neue Features und Funktionen hinzuzufügen.“
-Trane