Erhalten Sie vollständige MISRA C 2023-Unterstützung in der neuen Parasoft C/C++-Testversion. Nehmen Sie an unserem Webinar am 8. Juni teil.
Die Bahnindustrie befindet sich in einer Digitalisierungstransformation, um den Güter- und Personenverkehr zu rationalisieren. Ziel ist es, Kosten zu senken, intelligente Züge und Bahnhöfe zu bauen, die Informationen zur Bahn- und Fahrgastbewegung in Echtzeit bereitstellen, Verkehrsbehörden zu unterstützen und das Fahrgasterlebnis zu verbessern, indem Reisenden Tools zur Auswahl der intelligentesten, einfachsten Reise- und Zahlungsoptionen zur Verfügung gestellt werden.
Die etablierten Testlösungen von Parasoft auf dem sicherheitskritischen Markt bieten eine bessere Unterstützung für die Schienenstandards als jeder andere Werkzeughersteller. Unsere Lösungen sind einfach anzuwenden. Sie unterstützen Unternehmen bei der Einhaltung des Hauptstandards der Bahnindustrie (CENELEC EN-50128) und der Sicherheitscodierungsstandards wie MISRA, AUTOSAR C ++ 14, CERT, CWE und OWASP.
Technologie treibt das Tempo des Wandels in der Bahnindustrie voran. Intelligente und umsetzbare Informationen sind der Schlüssel, unterstützt durch intelligente Sensoren, die im gesamten Netzwerk und im Schienenfahrzeug eingesetzt werden. Diese verbundenen Technologien können Gleise inspizieren und das Verhalten von Schienenfahrzeugen wie das Öffnen und Schließen von Türen automatisieren. Die Datenbanken sind mit fortschrittlichen Algorithmen und Datenanalysesoftware ausgestattet, die die Auswirkungen menschlicher Fehler und Einschränkungen auf den Eisenbahnbetrieb verringern und die Sicherheit und Effizienz verbessern. Die Erfahrung des Reisenden wird auch durch mobile Anwendungen verbessert, die die Entscheidungsbefugnis in die Hand nehmen. Alle diese gesammelten Daten und die Privatsphäre der Passagiere müssen geschützt werden.
Erreichen Sie die EN 50128-Konformität mit dem Parasoft C / C ++ - Test, der die folgenden vom Standard geforderten Testtechniken bietet:
Erreichen Sie die Code-Konformität mit dem Parasoft C / C ++ - Test für Sicherheitscodierungsstandards. Es bietet eine Reihe integrierter Prüfer (Regeln), um die Einhaltung der Standards CERT C, CERT C ++, CWE, OWASP und mehr zu überprüfen. Diese Standards erkennen komplexe laufzeitähnliche Probleme früh in der Entwicklungsphase, ohne dass kostspielige Laufzeitprüfungen durchgeführt werden müssen. Sie helfen Benutzern, Sicherheitslücken und falsche Codierungskonstrukte zu identifizieren und Bereiche mit besonderem Risiko zu verstehen.
Erfüllen Sie die Code-Compliance und verbessern Sie die Codequalität mit Parasoft C/C++test, das eine umfassendere Unterstützung als jeder andere Tool-Anbieter für Codierungsstandards wie MISRA C 2023, MISRA C 2012, MISRA C++ 2008, AUTOSAR C++14, HIC++ bietet , und andere. Mit C/C++test können Unternehmen die Kosten für die Erfüllung des Compliance-Prozesses senken. Unser Entwicklungstesttool bietet spezielle Compliance-Berichte, die einen dynamischen Einblick in den Compliance-Prozess und eine Analyse der Verstöße basierend auf Gruppierungen und Kategorisierungen des ursprünglichen Standards ermöglichen. Parasoft bietet außerdem Tools zur automatischen Generierung der zum Nachweis der Compliance erforderlichen Dokumentation.
„MISRA“, „MISRA C“ und das Dreieckslogo sind eingetragene Marken von The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Alle Rechte vorbehalten.
Die Unit-Test-Funktionen von Parasoft C / C ++ wurden für Embedded-Ingenieure mit Blick auf sicherheitskritische Softwaretests entwickelt und umfassen ein leistungsstarkes Stubbing- und C-Mocking-Framework. Eingebettete Ingenieure können Testfälle als Quellcode für die vollständige Steuerung oder automatisch mit einem grafischen Editor erstellen, um eine strukturelle Codeabdeckung für Anweisungen, Verzweigungen, MC / DC und Objektcode zu erhalten. Diese Funktionen sind einfach zu verwenden, reduzieren den Aufwand für die Implementierung des Unit-Testing-Frameworks und verbessern die Produktivität der Entwickler.
Parasoft lässt sich in Anforderungsmanagement-Tools wie codeBeamer, Polarion und CollabNet VersionOne integrieren, um die Testfälle zu realisieren und Testergebnisse zu liefern. Diese Integration vervollständigt die Rückverfolgbarkeitsmatrix und trägt dazu bei, die Einhaltung von Prozessstandards zu gewährleisten. Die Tool-Suite von Parasoft bietet Rückverfolgbarkeitsberichte und zeigt Abhängigkeiten zwischen Anforderungen und Artefakten an, darunter:
Der Parasoft C / C ++ - Test ist vom TÜV SÜD für die Entwicklung sicherheitskritischer Software zertifiziert. Bei Projekten mit einem höheren Risiko können Sie einen wesentlichen Teil des Werkzeugqualifizierungsprozesses mit dem Parasoft C / C ++ - Testqualifizierungskit automatisieren. Ein spezieller Leitfaden zur Qualifizierungsunterstützung enthält alle Schritte, die zur Qualifizierung des Tools und zur Automatisierung der meisten mühsamen manuellen Arbeiten erforderlich sind. Dazu gehört die Ausführung der Testfälle aus der umfassenden Testsuite, die zusammen mit dem Qualifizierungskit bereitgestellt wird, und die Erstellung der Abschlussberichte, die zur Dokumentation des Qualifizierungsprozesses gemäß der Norm EN 50128 erforderlich sind.
Reduzieren Sie die Kosten für die Entwicklung hochwertiger Software, ohne die Markteinführungszeit zu beeinträchtigen.
Anstelle mehrerer fragmentierter Lösungen erfüllt der C / C ++ - Test mehrere Softwaretestanforderungen gemäß EN 50128. Die umfassende Lösung von Parasoft führt zu einem geringeren Lern- und Einrichtungsaufwand für Entwickler. Sie können sich auf ihre Kernaufgaben konzentrieren, anstatt mehrere Tools zu erlernen. Diejenigen, die die Toolchain verwalten, profitieren ebenfalls davon, indem sie Zeit sparen, die sie sonst für die Implementierung von Schnittstellen zwischen Tools zum Datenaustausch oder zur Erstellung einheitlicher Berichte aufgewendet haben.
Der Parasoft C / C ++ - Test wurde unter Berücksichtigung sicherheitskritischer Anwendungen entwickelt. Bei der Durchführung von Komponententests oder der Überwachung des Laufzeitspeichers werden alle Komponenten, die zum Erstellen der Testbinärdatei (einschließlich Testfälle für getesteten Code), Stimulation und Stubs erforderlich sind, in Form des Quellcodes ausgedrückt und können versioniert und überprüft werden. Durch das Ausdrücken aller Testartefakte in Form des Quellcodes stellt der C / C ++ - Test sicher, dass der Speicherstatus vor dem Ausführen von Tests auf dieselbe Weise wie im Produktionssystem erstellt wird.
Der C / C ++ - Test ist vom TÜV SÜD für die Entwicklung sicherheitskritischer Software zertifiziert und wird mit einem Qualifizierungskit für Software mit höherem Risiko unterstützt. Das spezielle Qualification Support Tool von Parasoft führt Benutzer durch alle Schritte, die zur Qualifizierung des Tools erforderlich sind, und automatisiert einen Großteil der mühsamen manuellen Arbeit, einschließlich der Ausführung von Testfällen aus der umfassenden Testsuite und der Erstellung von Abschlussberichten, die zur Dokumentation des Qualifizierungsprozesses zur Erfüllung der Sicherheitsnorm EN 50128 erforderlich sind für die Bahnindustrie.