Gehen Sie einen schnelleren, intelligenteren Weg zur KI-gestützten C/C++-Testautomatisierung. Erfahren Sie mehr >>
Industrial Automation
Funktionale Sicherheitsstandards wie IEC 61508 und seine Derivate erfordern von Unternehmen den Nachweis, dass die Software- und Sicherheitsanforderungen erfüllt und vollständig getestet wurden. Seit über 30 Jahren unterstützt Parasoft Unternehmen bei der Einhaltung dieser Standards durch bewährte Verfahren wie Unit-Tests, Testabdeckung, Softwaremetriken, Rückverfolgbarkeit und statische Codeanalyse mit integrierter Unterstützung für MISRA, CERT und andere Codierungsstandards der Automatisierungsbranche.
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.
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.
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.
Reduzieren Sie die Kosten für die Entwicklung hochwertiger Software, ohne die Markteinführungszeit zu beeinträchtigen.
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.
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.
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.
„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
