Preuves de vérification des logiciels ferroviaires conformément à la norme EN 50716
La norme EN 50716 recommande des techniques de vérification spécifiques pour les logiciels ferroviaires à chaque niveau d'intégrité, de l'intégrité de base au SIL 4. Ce livre blanc montre comment VectorCAST fournit les preuves relatives aux tests, à la couverture et à la traçabilité pour ces techniques.
VectorCAST vous offre un support à chaque étape de l'évaluation de vos logiciels ferroviaires
Un outil unique pour les niveaux SIL 3 et SIL 4
Aux niveaux SIL 3 et SIL 4, la norme EN 50716 exige une analyse et des tests dynamiques, la traçabilité, la couverture de code, ainsi que des tests fonctionnels et des tests « boîte noire ». VectorCAST couvre ces quatre aspects sans qu'il soit nécessaire de recourir à un deuxième outil de vérification.
Une couverture pour chaque SIL
Couverture des instructions, des branches et des conditions MC/DC pour chaque test que vous exécutez, regroupée entre les tests unitaires, d'intégration et système, avec des tables de vérité MC/DC générées automatiquement.
Chaque exigence est tracée
La passerelle « Requirements Gateway » relie chaque exigence à ses cas de test et renvoie le statut « réussi » ou « échoué » à votre outil de gestion des exigences.
Des données qui restent d'actualité
La norme EN 50716 impose de réaliser une analyse d'impact et une nouvelle vérification à chaque modification apportée au logiciel ferroviaire. VectorCAST réexécute d'abord uniquement les tests concernés, puis l'ensemble de la suite de tests de régression de manière automatisée.
Du code source aux résultats escomptés
VectorCAST vous permet de passer du code source aux résultats de test sur votre matériel cible sans avoir à écrire manuellement le code du harnais de test. Les mêmes cas de test sont réutilisés tout au long du processus, depuis les tests de composants jusqu'aux phases d'intégration, de validation et de maintenance.
Générer le harnais de test
Pointez VectorCAST vers votre code source et vos chemins d'accès. Il génère le pilote de test et les stubs, ce qui vous permet de tester les composants avant que le reste du logiciel ne soit disponible.
Exécutez-le sur votre cible
Effectuez des tests sur un hôte, un simulateur ou votre carte cible installée en bord de piste ou à bord. Les valeurs limites proviennent des plages de types réelles de votre cible.
Réutilisation grâce à la validation
Reprenez ces mêmes cas de test pour les tests d'intégration, de validation et de régression, puis remettez à votre évaluateur des rapports au format HTML ou texte.
Téléchargez le livre blanc
Vérification selon la norme EN 50716 avec VectorCAST
Planifiez votre vérification, de l’intégrité de base au niveau SIL 4, à l’aide des preuves fournies par VectorCAST pour chaque technique.
- Quelles techniques de vérification la norme EN 50716 exige-t-elle pour chaque niveau SIL ?
- Comment répartir les travaux de couverture entre les tests unitaires et les tests système
- Comment transférer les preuves de test des tests de composants vers la maintenance
Conformité aux normes de sûreté de fonctionnement
VectorCAST
