Automobile et transport

Les logiciels critiques pour la sûreté et la sécurité dans les domaines de l'industrie automobile et du transport doivent être développés avec la plus haute qualité. La quantité de lignes de code dans les automobiles augmente chaque année et le risque de blessures ou de décès causés par des erreurs de logiciel a augmenté les enjeux qualité pour les développeurs. Même dans les cas où la conséquence n'est pas catastrophique, aucun développeur ou chef de projet ne souhaite être à l'origine d'un rappel de véhicule en raison d'une erreur logicielle.
Les normes ISO 26262 et CEI 61508 ont des exigences strictes en matière de vérification et de validation dans le développement logiciel concernant les secteurs de l'automobile et du transport.
Selon le niveau de la sécurité automobile (ASIL pour l'ISO 26262) et le niveau dans la sécurité (SIL our la CEI 61508), une couverture de code jusqu'à la couverture de Condition Modifiée/Décision Modifiée (MC/DC) est requise.
L'analyse statique du code aide à simplifier et à améliorer les étapes de conception, de mise en œuvre et de test dans le développement logiciel. La norme MISRA (Motor Industry Software Reliability Association) a été créée afin de faciliter les meilleures pratiques dans le développement de logiciels critiques pour la sécurité dans les véhicules routiers.

La réponse de Testwell CTC++ outil de couverture de code aux exigences des normes ISO 26262 et CEI 61508

Afin d'évaluer l'exhaustivité des cas de test, l'ISO 26262 nécessite la mesure de la couverture structurelle. Selon le niveau de sécurité recherché (ASIL - Automotive Safety Integrity Level statement coverage), la couverture de Déclaration, la couverture de Branche et/ou la couverture MC/DC (Couverture de condition modifiéé/Décision modifiée) sont nécessaires (voir 8.4.5 de 26262-6).

Couverture de code	ASIL A	ASIL B	ASIL C	ASIL D
Couverture de Déclaration	++	++	+	+
Couverture de Décision	+	++	++	++
MC/DC (Couverture de Condition/Décision Modifiée)	+	+	+	++

++ signifie "fortement recommandé", + signifie "recommandé"

Si la couverture structurelle obtenue est jugée insuffisante, des cas de test supplémentaires ou une justification doivent être fournis conformément au point 9.4.5 de l'ISO 26262-6.

Testwell CTC++ outil de couverture de code peut être utilisé pour analyser ces niveaux de couverture.
Dans le point 9.4.6, la norme exige que l'environnement de test unitaire soit le plus près possible de l'environnement cible.
Testwell CTC++ est l'outil idéal pour répondre à cette exigence puisqu'il analyse la ouverture de code sur toutes les cibles embarquées, même les plus petites.
Le kit de qualification de Testwell CTC++ simplifie la qualification de l'outil dans vos projets ISO 26262 et CEI 61508.
En savoir plus sur Testwell CTC++


Couverture de code et norme ISO 26262     Voir la vidéo ici

Analyse statique

Imagix 4D 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.

L'une des exigences de l'ISO 26262 est l'application de la faible complexité du code quelque soit le niveau de sécurité ASIL (voir le point 5.4.7 de la 26262-6).
Testwell CMT++ outil de mesure de complexité de code, analyse les métriques les plus importantes telles que les 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.

Les séminaires

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 séminaires et workshops.

Des centaines d'entreprises et d'organisations améliorent la qualité de leurs logiciels avec les outils de test de Verifysoft Technology

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 les secteurs de l'automobile et du transport. Parmis nos clients satisfaits:





Ci-dessous quelques témoignages de nos clients au sujet de nos outils: