VectorCAST
VectorCAST est une plateforme de test de logiciels embarqués qui automatise les tests unitaires, d'intégration et de couverture tout au long du cycle de vie du développement logiciel. Elle est conçue pour les équipes travaillant en C, C++ et Ada sur des systèmes critiques pour la Sûreté de Fonctionnement et à haute intégrité.
VectorCAST élimine la charge de travail manuelle liée aux tests unitaires. Les harnais de test, l’exécution des tests de régression, la collecte des données de couverture et la génération de rapports de certification s’effectuent tous automatiquement. Vos ingénieurs peuvent ainsi se concentrer sur les tâches nécessitant un jugement technique, et non sur l’infrastructure qui les entoure.
VectorCAST est utilisé par les développeurs de logiciels embarqués, les ingénieurs de test et les responsables de la qualité logicielle dans les secteurs aérospatiaux, automobiles, médicaux, industriels et ferroviaires, où la conformité à des normes telles que DO-178C, ISO 26262, CEI 62304 et EN 50716 est requise.
Avantages
VectorCAST est spécialement conçu pour répondre aux contraintes et aux exigences du développement de logiciels embarqués ; il ne s'agit pas d'une adaptation d'outils à usage général.
Réduisez considérablement l'effort lié aux tests manuels
VectorCAST génère des cas de test directement à partir du code source, ce qui permet à votre équipe de consacrer son temps à la validation des résultats plutôt qu’à la rédaction de code standard.
Obtenez et démontrez une couverture structurelle
L’analyse de couverture des instructions, des branches et des conditions MC/DC est intégrée et peut faire l’objet de rapports dans des formats adaptés à l’examen de certification. La couverture au niveau du projet et au niveau des unités s’affiche conjointement dans une seule vue, ce qui vous permet d’évaluer l’exhaustivité de l’ensemble du programme sans avoir à basculer d’une vue à l’autre.
Assurez la traçabilité depuis les exigences jusqu’aux résultats de test
Intégrez des outils de gestion des exigences, notamment IBM DOORS, Polarion, Visure, Jama et codeBeamer, afin de garantir que vos artefacts de test restent liés et vérifiables tout au long du cycle de vie du projet.
Travaillez au sein de votre environnement de développement existant
VectorCAST s’intègre à Jenkins, Visual Studio Code, MathWorks Simulink et à plus de 80 compilateurs. Le support native de GoogleTest permet de réutiliser les suites de tests existantes sans réécriture. La solution s’intègre à votre flux de travail sans le remplacer.
Accélérez la certification grâce à la documentation de qualification
Des dossiers de qualification d’outils pour les normes DO-178B/C et des dossiers de validation d’outils pour les normes CEI 61508, ISO 26262, EN 50716 et CEI 62304 sont disponibles, y compris des certificats délivrés par TÜV SUD.
Domaines d’application
VectorCAST est utilisé partout où les défaillances logicielles peuvent avoir des conséquences sur la sûreté de fonctionnement ou la réussite de la mission.
Aérospatial
Certification de la couverture structurelle des systèmes embarqués conformément aux normes DO-178B et DO-178C. Les kits de qualification VectorCAST fournissent la documentation, les cas de test et les procédures nécessaires à la qualification de l'outil.
Automobile
Vérification et validation de logiciels pour la sûreté de fonctionnement automobile conformément à la norme ISO 26262. Offre le support pour assurer la traçabilité des exigences, les tests de régression et la génération de rapports de couverture dans le cadre de projets logiciels liés aux calculateurs électroniques (ECU).
Médical
Vérification de la sûreté de fonctionnement des logiciels destinés aux dispositifs médicaux, conformément à la norme CEI 62304. Supporte l'ensemble de la chaîne de documentation des tests, depuis les tests unitaires jusqu'à la couverture au niveau du système.
Industriel
Certification de sûreté de fonctionnement des systèmes électroniques programmables conformément à la norme CEI 61508. Utilisée dans le cadre de programmes de développement de produits nécessitant une vérification systématique des logiciels.
Chemins de fer
Support de la vérification et de la validation de logiciels destinés aux applications ferroviaires, conformément à la norme EN 50716. Supporte des tests structurés avec traçabilité et génération de preuves de couverture.
Produits VectorCAST
VectorCAST/C++
Testez les composants C et C++ au niveau unitaire et d'intégration. Automatisez l'exécution des tests, mesurez la couverture structurelle et générez des rapports adaptés aux programmes de vérification des systèmes pour la Sûreté de Fonctionnement.
VectorCAST/Ada
Testez les composants logiciels Ada avec le même niveau d'automatisation et d'analyse de couverture. Conçu pour les programmes critiques et liés à la Sûreté de Fonctionnement utilisant Ada comme langage de développement principal.
VectorCAST/QA
Intégrez cette fonctionnalité à votre système de build afin de suivre la couverture de code et l'état des tests au niveau du projet au fil du temps. Utile pour les équipes pratiquant l'Intégration continue (CI) qui ont besoin d'une vue d'ensemble des tendances et des données agrégées.
Modules complémentaires sous licence
VectorCAST/Coupling
Analyse et instrumentation automatisées pour la vérification du couplage des données et du couplage de contrôle, requises par des normes telles que la DO-178C aux niveaux d'assurance de conception les plus élevés.
VectorCAST/Timing
Analyse statistique du timing pour les logiciels critiques pour la sûreté de fonctionnement. Remplace l'estimation statique du WCET par des méthodes statistiques formelles dérivées entièrement des données d'exécution mesurées. Supporte les normes ISO 26262, DO-178C, EN 50716, CEI 61508, CEI 62304 et CEI 60880.
Importez votre suite de tests existante dans VectorCAST
Les équipes qui développent des logiciels critiques pour la sûreté de fonctionnement disposent souvent d’une suite de tests C++ existante — GoogleTest ou d’autres frameworks xUnit. Avec VectorCAST Coded Tests, il n’est pas nécessaire de repartir de zéro. Importez directement vos suites existantes dans VectorCAST sans avoir à les réécrire. L’exécution, l’analyse de couverture MC/DC et la génération de rapports de certification fonctionnent dès la première exécution. The support for mocking functions in C is integrated; for new tests, write them in a C++ style that is familiar to you, and manage them through the same certified environment.
Les avantages pour votre suite de tests actuelle
Couverture structurelle MC/DC
La couverture des instructions, des branches et des MC/DC est mesurée et rapportée automatiquement pour l’ensemble de vos tests existants. Aucune instrumentation externe, aucun outil supplémentaire.
Traçabilité des exigences
Reliez vos cas de test aux exigences et générez des rapports de traçabilité prêts pour l’audit. Le lien entre l’exigence et le résultat du test est vérifiable sans intervention manuelle.
Qualification certifiée des outils
Des kits de qualification certifiés TÜV sont disponibles pour la norme DO-178C et d’autres normes applicables. Votre suite de tests s’exécute désormais dans un environnement qualifié.
Simulation et stub intégrés
Injection de défauts et isolation des unités sans recourir à des frameworks de simulation tiers. Le support de la simulation VUnit pour les fonctions C permet de conserver l’autonomie du code de test.
ATG pour les nouveaux tests
La génération automatique de tests produit des fichiers source C++ révisables pour combler les nouvelles lacunes de couverture, vous offrant ainsi un point de départ sans avoir à rédiger manuellement le code.
Intégration à VS Code
Exécutez des tests codés et visualisez la couverture directement dans votre code source grâce à l’extension VectorCAST Test Explorer, sans quitter l’IDE.
Génération de tests basée sur les exigences et optimisée par l'IA
Les tests basés sur les exigences constituent une exigence de certification dans la plupart des programmes critiques pour la sûreté de fonctionnement. Il s’agit également de l’une des étapes les plus exigeantes en termes de main-d’œuvre du processus de vérification : mettre en correspondance les exigences avec le code, rédiger des cas de test pour chacune d’entre elles et préserver la traçabilité à mesure que les exigences et le code évoluent.
Reqs2x, le générateur de tests basés sur les exigences alimenté par l’IA de VectorCAST 2026, automatise ce travail. Reqs2x met en correspondance les exigences avec les fonctions qui les implémentent et génère des cas de test alignés à l’aide de Large Language Models (LLM). Aucun élément n’est intégré au processus de vérification tant qu’un ingénieur ne l’a pas examiné et approuvé.
Comment cela fonctionne-t-il ?
Conditions d'importation
Importez les exigences via la passerelle « Requirements Gateway », afin que votre flux de travail actuel reste exactement tel quel.
Mappage automatique
Reqs2x associe chaque exigence aux fonctions qui la mettent en œuvre à l’aide du « program slicing ». Aucun recoupement manuel n’est nécessaire.
Cas de test générés par l’IA
Large Language Models (LLM) génèrent des cas de test exécutables alignés sur chaque exigence. Chaque artefact est totalement transparent : les entrées, les sorties et les mappages sont visibles à chaque étape.
Révision par les ingénieurs
Les mappages et les cas de test générés sont soumis à une étape de révision par un ingénieur avant d’intégrer un quelconque workflow de vérification. Rien n’est accepté automatiquement. Les artefacts générés par l’IA sont soumis aux mêmes contrôles de révision et de qualité que le code de test écrit manuellement.
Conçu pour les programmes où la sûreté de fonctionnement est primordiale
L'approche de Vector en matière d'IA repose sur des agents modulaires, spécifiques à chaque tâche, conçus pour des cas d'utilisation précisément définis dans des contextes contrôlés. Chaque agent effectue une seule tâche à un seul endroit, ce qui rend son comportement prévisible et ses résultats vérifiables. Cette conception soutient la norme MISRA C:2025, les cadres ISO/IEC relatifs à l'IA et la loi européenne sur l'IA.
L’approche « Bring Your Own Model » (Apportez votre propre modèle) permet à votre organisation de choisir le Large Language Model (LLM) qui correspond à votre infrastructure et à vos exigences en matière de confidentialité des données. Les déploiements sur site, dans le cloud et hybrides sont tous supportés.
Qualification et certification
Qualification des outils DO-178 en avionique
Le dossier de qualification de l'outil VectorCAST pour les normes DO-178B et DO-178C comprend la documentation relative à la qualification de l'outil, des cas de test et des procédures. Il est conçu pour permettre aux équipes de qualifier VectorCAST en vue de son utilisation dans le cadre de programmes régis par les normes DO-178B/ED-12B ou DO-178C/ED-12C.
Certifié TÜV SÜD
Le pack de validation de l'outil VectorCAST fournit de la documentation, des certificats et des modèles destinés à être utilisés dans le cadre de projets critiques en matière de Sûreté de Fonctionnement. Secteurs industriel, automobile, médical et ferroviaire (CEI 61508, ISO 26262, EN 50716, CEI 62304)
Vos ressources VectorCAST
