Ferroviaire

Que l'application cible soit déployée sur piste ou à bord, les logiciels pour les applications ferroviaires et pour les transports en commun doivent avoir des niveaux de fiabilité, de sûreté, de sécurité et d'intégrité élevés.
Afin d'atteindre ces exigences, un processus rigoureux de développement logiciel est obligatoire, comprenant l'utilisation d'outils de test logiciel.
La norme EN 50657 " Applications ferroviaires – Applications du matériel roulant – Logiciels embarqués" qui remplace la norme CEI 62279 (identique à la norme européenne EN 50128) "Railway applications - Communication, signaling and processing systems - Software for railway control and protection systems" spécifie les procédures et les exigences techniques pour le développement de systèmes électroniques programmables utilisés dans les applications de contrôle et de protection ferroviaire.
Les normes EN 50657 (et CEI 62279 / EN 50128) exigent une analyse de couverture de code, l'utilisation de normes de programmation comme MISRA, et des outils de vérification et de validation telle que l'analyse de code statique.

La réponse de Testwell CTC++ outil de couverture de code aux exigences des normes EN 50657 (CEI 62279/EN 50128)

En fonction du niveau de sécurité requis (SIL), la norme EN 50128 exige les niveaux de couverture de test suivants: (R signifie "recommandé", HR signifie "très recommandé"):

	Intégrité de base	SIL 1	SIL 2	SIL 3	SIL 4
Couverture des instructions (Statement Coverage)	-	HR	HR	HR	HR
Couverture de branche (Branch Coverage)	-	R	R	HR	HR
Conditions composée       (MC/DC Coverage)	-	R	R	HR	HR
Analyse de flux de données (Data Flow)	-	R	R	HR	HR
Couverture des chemins d´exécution (Path Coverage)	-	R	R	HR	HR

Testwell CTC++ outil de couverture de code pour C et C++ montre tous les niveaux de couverture requis par les normes EN 50657 (et CEI 62279/EN 50128).
C'est un outil intuitif et facile à utiliser, qui délivre des rapports d'analyses clairs et simples. Il montre la Couverture d'Instructions, de Décision/Condition, de Condition Modifiée/Décision modifiée (MC/DC) et même de Couverture de Condition multiple (qui est d'un niveau supérieur à la couverture MC/DC).

Testwell CTC++ a un coût d'instrumentation très bas. Il peut être utilisé avec tous les compilateurs et toutes les cibles embarquées, même les plus petites.
Testwell CTC++ outil de couverture de code couvre tous les niveaux de couverture exigés par la CEI 62279.
En savoir plus sur Testwell CTC++

Analyse du flux de données / Analyse statique

L'analyse des flux de données est indiquée par Imagix 4D. C'est un outil pour comprendre, documenter et améliorer un code source écrit en C, C++ ou Java, qu´il soit complexe, fourni par un tiers ou bien hérité. De plus, Imagix 4D détecte les problèmes dans l´utilisation des données et les interactions des tâches.
Avec Imagix 4D vous augmentez la productivité, améliorez la qualité et réduisez les risques.

Complexité de code

Testwell CMT++ outil de mesure de complexité de code, analyse les métriques les plus importantes telles que le métriques de Lignes de code (LOC), les métriques d'Halstead, le nombre cyclomatique de McCabe v(G), l'index de maintenabilité et le Max ND/Maximum Nesting Depth. L'outil est très facile à utiliser, extrêmement rapide et analyse même de très grandes bases de code.

Webinaires et séminaires intra entreprise

Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.
Verifysoft vous soutient avec ses webinaires et ses formations intra entreprise.

Des centaines d'entreprises et d'organisations améliorent la qualité de leurs logiciels grâce à nos outils de test

Les solutions de Verifysoft ont démontré leur succès dans le développement de logiciels critiques pour la sûreté et la sécurité dans le secteur ferroviaire. Parmis nos clients satisfaits:







Ce que nos clients disent de nos outils::