Accelérez vos tests logiciels

La compétition dans l'industrie automobile est très intense, et la capacité d'innovation des différentes entreprises détermine les gagnants. Et la plupart des innovations introduites aujourd'hui sont basées sur l'incorporation d'une quantité toujours plus grande de composants électroniques. C'est pourquoi la voiture moyenne d'aujourd'hui comporte de plus en plus de logiciels embarqués et ce dans tous les systèmes, que ce soit le bloc moteur, la transmission, la suspension, les freins et les systèmes audio/vidéo. Toutefois, le nombre de véhicules et de modèles vendus forcent les constructeurs et leurs fournisseurs à contrôler leurs coûts de production de manière serrée. À ce chapitre, le test logiciel peut sous certaines conditions être cher, mais les coûts reliés aux erreurs non-détectées dans les programmes embarqués peuvent l'être bien davantage: une campagne de rappel coûte habituellement très cher, autant au point de vue des coûts que de l'image de marque de la compagnie.

Les standards de vérification et de validation des logiciels en automobile

Il existe deux standards qui s’appliquent à la vérification et à la validation des logiciels automobiles: ISO 26262 et MISRA.

ISO 26262 est une norme internationale en cours de développement qui a pour objectif de garantir un haut niveau de sécurité fonctionnelle. Le standard est une adaptation d’une autre norme, l’IEC 61508, pour les besoins spécifiques des systèmes électriques et électroniques retrouvés à bord des véhicules automobiles. La partie 6 de la norme se concentre sur le test et la vérification logiciels durant le cycle de développement des programmes. Les activités recommandées par le standard incluent le test unitaire et le test système, tels que le test fonctionnel (basé sur les exigences logicielles et sur des tests de partition), ainsi que les tests de couverture structurelle.

Comment VectorCAST peut vous aider à satisfaire la norme ISO 26262

Les outils VectorCAST/C++ pour l’ISO 26262 répondent aux critères listés dans la partie 6 en ce qui à trait au test et à la vérification des logiciels vous permettant de créer et de gérer des jeux de tests qui démontrent que les exigences de bas niveau du logiciel ont été testées et satisfaites. Les outils VectorCAST peuvent également être utilisés pour tester la robustesse des logiciels (test des plages de données, test de valeurs illégales). De plus, les outils VectorCAST peuvent calculer le taux de couverture structurelle atteinte pour tous les niveaux de la norme ISO 26262.

Les outils VectorCAST/C++ pour le test unitaire et d’intégration des programmes C et C++ et VectorCAST/Cover pour la vérification du système sont une solution complète au test dynamique sur hôte, simulateur et processeur cible.

VectorCAST répond à la norme ISO 26262 en matière de test logiciel

VectorCAST pour l’ISO 26262 (en anglais)

Support intégré pour la norme MISRA

L'analyse statique est devenue un enjeu crucial de l'industrie automobile depuis l'introduction de la norme MISRA-C (de la Motor Industry Software Reliability Association). Les recommandations pour l'utilisation du langage C dans les logiciels à bord de véhicules est un document qui fut pour la première fois publié en 1998 afin de promouvoir une utilisation sécuritaire de ce langage informatique dans l'industrie automobile. La norme contient des règles qui définissent un sous-ensemble de constructions du langage C qui sont considérés les meilleurs pratiques de programmation. La norme MISRA-C++, publiée pour la première fois en 2008, fait de même pour le langage C++.

VectorCAST est intégré aux outils d'analyse statique QA·C et QA·C++ de Programming Research. Leurs modules MISRA-C et MISRA-C++ analysent le code source du logiciel afin d'y détecter des constructions qui violent les règles MISRA.

Les outils VectorCAST vous procurent les avantages suivants:

• Génération de harnais de test complets pour le test unitaire et d'intégration
• Exécution de tests via une interface graphique ou des scripts
• Analyse de la couverture de test
• Tests de non-régression
• Génération automatique de jeux de tests basés sur les chemins de décision (decision paths)
• Jeux de tests définis par l'utilisateur à des fins de vérification des exigences logicielles
• Normes de codage utilisant QA·C et QA·C++
• Exécution en playback afin d'aider les activités de déboggage
• Intégration avec les outils Rhapsody® (modélisation) et DOORS® (exigences logicielles) de Telelogic