Industrielle Automatisierungssoftwarelösungen

Parasoft minimiert die Kosten für die Einhaltung der Codierungsstandards durch dedizierte Berichte. Das Compliance-Reporting bietet dem Benutzer einen dynamischen Einblick in den Compliance-Prozess und hilft dabei, die Ergebnisse von Verstößen gegen die statische Analyse nach Gruppierungen und Kategorisierungen des ursprünglichen Codierungsstandards zu priorisieren.

Die Konformitätsdokumentation ist erforderlich, um die Konformität nachzuweisen. Das automatische Generieren spart Teams wertvolle Zeit, wenn die generierten Berichte und Dokumentationen dem MISRA 2016-Standard entsprechen, der in der Automatisierungsbranche sehr beliebt ist.

Der Parasoft C / C ++ - Test erkennt komplexe laufzeitähnliche Probleme zu Beginn der Entwicklungsphase, indem Ausführungspfade durch den Code analysiert und potenzielle Fehler gefunden werden. Zusätzlich zu mehr als 2200 Regeln und Prüfern erleichtert Parasoft den Teams das Überprüfen organisationsspezifischer Codierungsrichtlinien mit einem speziellen Editor zum Erstellen benutzerdefinierter Prüfer, um die im Tool enthaltenen integrierten Regeln zu erweitern (oder zu ersetzen). Mit dem Parasoft C / C ++ - Test müssen Benutzer keine Skripte schreiben, und organisationsspezifische Codierungsrichtlinien können vollständig automatisiert werden, um den manuellen Prozess der Konformitätsprüfung zu ersetzen.

Die praktischen Ansichten und grafischen Editoren des Parasoft C / C ++ - Tests reduzieren den manuellen Aufwand bei der Erstellung und Wartung von Unit-Testfällen mit einem Unit-Test-Framework, das für sicherheitskritische Softwaretests entwickelt wurde. Stubs und Testfälle mit Werten für die Stimulation der getesteten Software können als Quellcode oder mit grafischen Editoren mit Funktionen zur Generierung von Quellcode erstellt werden. Benutzer können erstellte Testartefakte zusammen mit den Projektdateien speichern und überprüfen. Die Initialisierung der Variablen und Eingabeparameter für die getestete Softwarestimulation erfolgt genauso wie während des Betriebs der Produktionssoftware, wodurch die Methode zuverlässig und robust wird.

Unit-Tests sind viel einfacher und produktiver, wenn sie zusammen mit einem Stubbing / Mocking-Framework verwendet werden. Das leistungsstarke Modul des Parasoft C / C ++ - Tests zum Erstellen von Stubs und Mocks hilft beim Testen der Fehlerinjektion, verringert die Abhängigkeiten des getesteten Codes und ermöglicht es Benutzern, noch nicht implementierten Quellcode einfach zu stubben.

Der Parasoft C / C ++ - Test unterstützt alle Abdeckungsmetriken, die normalerweise für die Entwicklung sicherheitskritischer Software erforderlich sind (Anweisung, Zweig, MC / DC, Funktion, Aufruf, Pfad, einfache Bedingung, Leitung und Block), und zeigt die Ergebnisse der Codeabdeckung von allen an Teststufen, einschließlich Tests auf Einheiten-, Integrations- und Systemebene.

Der C / C ++ - Test reduziert die Zeit, die erforderlich ist, um die Abdeckungsergebnisse zu analysieren und die Lücken im Testprozess zu finden. Entwickler können die Ergebnisse der Codeabdeckung in der IDE mit dynamischen Ansichten überprüfen und die Ergebnisse je nach Metrik, Funktion / Methode oder spezifischem Testfall filtern.

Parasoft lässt sich in Anforderungsmanagementsysteme integrieren, um Rückverfolgbarkeitsberichte bereitzustellen, die die Korrelation zwischen Anforderungen und den folgenden Werten anzeigen:

• Quellcode erstellt, um diese Anforderungen zu implementieren.
• Testfälle zum Testen der Anforderungen erstellt.
• Ergebnisse der durchgeführten Tests.
• Ergebnisse der Codeabdeckung.

Rückverfolgbarkeitsberichte bieten klare und vollständige Informationen über den Entwicklungsfortschritt. Teams können leicht feststellen, wie viele Anforderungen bereits implementiert wurden und wie gründlich sie getestet werden.

Der Parasoft C / C ++ - Test kann in modellbasierte Entwicklungstools wie Matlab / Simulink oder IBM Rational Rhapsody integriert werden. Dabei wird der aus den Modellen generierte Quellcode auf Übereinstimmung mit den Codierungsstandards überprüft und mithilfe von Datensätzen aus den Simulationsmodulen eine dynamische Validierung durchgeführt und dann Präsentieren der Ergebnisse der Codeabdeckung.

Der Parasoft C / C ++ - Test ist vom TÜV SÜD als geeignet für die Entwicklung sicherheitskritischer Software nach der Norm IEC 61508 zertifiziert. Für Projekte mit einem höheren Risiko automatisiert das Qualification Kit des Parasoft C / C ++ - Tests einen wesentlichen Teil des Werkzeugqualifizierungsprozesses, reduziert den manuellen Arbeitsaufwand und beseitigt diese Ablenkung von Softwareteams.

Ein spezielles Qualifizierungs-Support-Tool führt Benutzer durch alle Schritte, die zum Qualifizieren des Tools erforderlich sind, und automatisiert den Großteil der mühsamen manuellen Arbeit, die zum Qualifizieren des Tools erforderlich ist, einschließlich der Ausführung der Testfälle aus der ausführlichen Testsuite, die zusammen mit dem Qualifizierungs-Kit bereitgestellt wird Erstellung der Abschlussberichte, die zur Dokumentation des Qualifizierungsprozesses erforderlich sind.