Obtenez une prise en charge complète de MISRA C 2023 dans la nouvelle version de test Parasoft C/C++. Rejoignez notre webinaire le 8 juin. S'inscrire maintenant
EN 50128 «Applications ferroviaires - Systèmes de communication, de signalisation et de traitement» est une norme de procédé européenne. Il contient des exigences techniques avec des procédures, des principes et des mesures pour garantir le développement de logiciels considérés comme sûrs là où il y a des implications pour la sécurité. Le logiciel qui fonctionne sur les systèmes électroniques programmables de contrôle ferroviaire - sur la voie et du côté du train - est mis en œuvre à l'aide de microprocesseurs dédiés, de contrôleurs logiques programmables, de systèmes distribués multiprocesseurs, de systèmes de processeurs centraux à grande échelle ou d'autres architectures.
Atteignez la conformité EN 50128 de manière efficace et efficiente avec le test Parasoft C / C ++ et sa suite d'outils de test de logiciels automatisés. Depuis plus de 30 ans, Parasoft aide les organisations à respecter des normes rigoureuses grâce aux meilleures pratiques requises telles que la traçabilité des exigences, l'analyse de code statique, l'analyse dynamique, les tests unitaires, les mesures logicielles, la vérification et la validation du matériel logiciel sur hôte ou sur cible, le code structurel complet. couverture, tests fonctionnels / boîte noire et tests d'interface.
Tirez parti du test Parasoft C / C ++ pour réduire les coûts et les efforts nécessaires pour atteindre la conformité EN 50128 en automatisant plusieurs méthodes de test requises par la norme. Notre suite d'outils de test de logiciels automatisés permet également de gagner du temps. Les rapports et tableaux de bord générés automatiquement fournissent aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs dans le logiciel et de préparer la documentation requise pour les audits.
Le test Parasoft C / C ++ facilite et automatise les méthodes de test logiciel spécifiées dans la norme EN 50128, section 6 «Software assurance», qui définit un ensemble de processus et d'objectifs de test logiciel pour le cycle de vie du logiciel ferroviaire. Chaque objectif est défini dans les sous-sections suivantes de la norme:
Le test Parasoft C / C ++ est la seule solution de développement et de test de logiciels sur le marché qui comprend un large éventail de méthodologies de test pour maximiser l'efficacité et améliorer les résultats.
Tableau A.5 |
EN 50128 - Vérification et essais |
Assistance Parasoft
|
| 1 | Preuve formelle | PAO Parasoft |
| 2 | Analyse statique | Parasoft C / C ++test |
| 3 | Analyse dynamique | Parasoft C / C ++test |
| 4 | Métrique | Parasoft C / C ++test |
| 5 | Traçabilité | Test Parasoft C / C ++ et PAO |
| 6 | Analyse des effets des erreurs logicielles | PAO Parasoft |
| 7 | Tester la couverture pour le code | Parasoft C / C ++test |
| 8 | Test fonctionnel / boîte noire | Parasoft C / C ++test |
| 9 | Test de performance | Parasoft C / C ++test |
| 10 | Test d'interface | Parasoft C / C ++test |
La solution de test de développement de Parasoft pour les logiciels C et C ++ facilite l'application de la norme EN 50128 pour les applications ferroviaires. Découvrez comment Parasoft permet aux équipes de produire un meilleur code pour les systèmes embarqués et de le tester plus efficacement.
Télécharger