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.
EN 50128 „Eisenbahnanwendungen - Kommunikations-, Signal- und Verarbeitungssysteme“ ist eine europäische Prozessnorm. Es enthält technische Anforderungen mit Verfahren, Grundsätzen und Maßnahmen, um die Entwicklung von Software zu gewährleisten, die bei Sicherheitsauswirkungen als sicher gilt. Die Software, die auf programmierbaren elektronischen Systemen zur Eisenbahnsteuerung - auf der Strecke und auf der Zugseite - ausgeführt wird, wird unter Verwendung dedizierter Mikroprozessoren, speicherprogrammierbarer Steuerungen, verteilter Multiprozessor-Systeme, großer Zentralprozessorsysteme oder anderer Architekturen implementiert.
Erreichen Sie die EN 50128-Konformität effektiv und effizient mit dem Parasoft C / C ++ - Test und seiner automatisierten Softwaretest-Tool-Suite. Seit über 30 Jahren unterstützt Parasoft Unternehmen dabei, strenge Standards durch erforderliche Best Practices wie Rückverfolgbarkeit von Anforderungen, statische Code-Analyse, dynamische Analyse, Komponententests, Softwaremetriken, Software-Überprüfung und -Validierung auf dem Host oder auf dem Ziel sowie vollständigen Strukturcode zu erfüllen Abdeckung, Funktions- / Black-Box-Tests und Schnittstellentests.
Nutzen Sie den Parasoft C / C ++ - Test, um die Kosten und den Aufwand für die Erreichung der EN 50128-Konformität zu reduzieren, indem Sie mehrere vom Standard geforderte Testmethoden automatisieren. Unsere Tool-Suite für automatisierte Softwaretests spart außerdem Zeit. Automatisch generierte Berichte und Dashboards bieten Teams eine praktische Möglichkeit, Fehler in der Software zu verhindern, aufzudecken und zu korrigieren und die für die Audits erforderliche Dokumentation vorzubereiten.
Der Parasoft C / C ++ - Test erleichtert und automatisiert die in EN 50128, Abschnitt 6 „Software Assurance“, festgelegten Softwaretestmethoden, in denen eine Reihe von Softwaretestprozessen und -zielen für den Lebenszyklus von Eisenbahnsoftware definiert sind. Jedes Ziel wird in den folgenden Unterabschnitten des Standards definiert:
Der Parasoft C / C ++ - Test ist die einzige Softwareentwicklungs- und Testlösung auf dem Markt, die ein breites Spektrum an Testmethoden umfasst, um die Effizienz zu maximieren und die Ergebnisse zu verbessern.
Tabelle A.5 |
EN 50128 - Überprüfung und Prüfung |
Parasoft-Unterstützung
|
| 1 | Formaler Beweis | Parasoft DTP |
| 2 | Statische Analyse | Parasoft C / C ++ test |
| 3 | Dynamische Analyse | Parasoft C / C ++ test |
| 4 | Metrik | Parasoft C / C ++ test |
| 5 | Rückverfolgbarkeit | Parasoft C / C ++ Test & DTP |
| 6 | Analyse von Softwarefehlereffekten | Parasoft DTP |
| 7 | Testabdeckung für Code | Parasoft C / C ++ test |
| 8 | Funktions- / Black-Box-Tests | Parasoft C / C ++ test |
| 9 | Performance Testing | Parasoft C / C ++ test |
| 10 | Schnittstellentests | Parasoft C / C ++ test |
Die Entwicklungstestlösung von Parasoft für C- und C ++ - Software erleichtert die Anwendung von EN 50128 für Eisenbahnanwendungen. Erfahren Sie, wie Parasoft es Teams ermöglicht, besseren Code für eingebettete Systeme zu erstellen und effizienter zu testen.
Herunterladen