VectorCAST/Ada automatise la création de pilotes de test et de stubs, offrant ainsi à votre équipe un harnais de test complet et exécutable sans qu’il soit nécessaire de rédiger manuellement du code de test. Les tests unitaires et d’intégration pour Ada ont traditionnellement constitué un processus très chronophage. VectorCAST/Ada change la donne en gérant automatiquement la construction du harnais, ce qui permet aux ingénieurs de se concentrer sur l’élaboration de cas de test exhaustifs plutôt que sur la structure qui les entoure.
Les tests peuvent être exécutés en mode natif sur un hôte, sur un simulateur cible ou directement sur le matériel embarqué cible à l’aide de VectorCAST RSP. Les cas de test développés dans un environnement hôte peuvent être réexécutés sur votre cible afin de valider le comportement du compilateur croisé et les performances en conditions réelles.
À qui s’adresse VectorCAST/Ada ?
VectorCAST/Ada est utilisé par les développeurs Ada et les ingénieurs de test dans le cadre de programmes critiques pour la mission et la sécurité, notamment dans les secteurs de l’aérospatiale, du ferroviaire et d’autres industries réglementées. Il prend en charge les normes Ada 83, Ada 95, Ada 2005 et Ada 2012, et fonctionne aussi bien avec les bases de code récentes qu’avec les anciennes.
Avantages
VectorCAST/Ada remplace la charge de travail manuelle liée à la création de harnais de test Ada par un processus automatisé et reproductible qui prend en charge à la fois le développement de nouveaux codes et la validation des codes existants.
Éliminez la rédaction manuelle des harnais de test
Les pilotes et les stubs sont générés automatiquement à partir de votre code source. Vos ingénieurs définissent la logique de test, et non l'infrastructure qui l'entoure.
Appliquez la même rigueur au code Ada existant
VectorCAST/Ada fonctionne aussi bien sur les nouvelles applications Ada que sur les applications existantes. L'intégration de tests unitaires au code hérité est simple et ne nécessite pas de refonte majeure.
Vérifiez la couverture conformément aux normes aéronautiques et militaires
L’analyse de couverture de code est adaptée aux niveaux requis par les normes industrielles, notamment la norme DO-178C. La visionneuse de couverture identifie les lignes non testées directement dans votre code source.
Exécutez les tests sur l’hôte, le simulateur ou la cible embarquée
Les cas de test sont transférés de l’hôte vers la cible embarquée sans réécriture. VectorCAST RSP gère automatiquement et de manière transparente l’exécution sur le matériel cible.
Automatisez les tests de régression
Les données de test sont conservées séparément du harnais de test. Les exécutions de régression s’effectuent sur le code source mis à jour sans qu’il soit nécessaire de recompiler l’exécutable de test à chaque modification.
Domaines d'application
VectorCAST/Ada est utilisé dans les programmes où Ada est le langage principal et où l'exactitude du logiciel est essentielle à la réussite de la mission ou à la sécurité.
Aérospatiale
Tests unitaires et d'intégration pour les composants logiciels embarqués, conformément aux normes DO-178B et DO-178C, y compris la justification de la couverture aux niveaux requis pour les classifications de niveau d'assurance de conception supérieures.
Industriel
Vérification systématique des composants Ada dans les programmes soumis à la norme CEI 61508.
Chemins de fer
Vérification et validation logicielles des composants Ada dans les programmes soumis à la norme EN 50716:2023.
Caractéristiques principales
VectorCAST/Ada automatise toutes les étapes du processus de tests unitaires et d'intégration en Ada, depuis la génération des harnais jusqu'à la génération de rapports de couverture et l'exécution des tests de régression.
Création et exécution de tests
Conception de harnais de test automatiques
Génère l'intégralité de l'infrastructure de test à partir de votre code source Ada. Aucune rédaction manuelle de code de test n'est nécessaire.
Exécution fondée sur les données
Le harnais de test lit les données de test lors de l'exécution. Aucune recompilation n'est nécessaire à chaque mise à jour d'un cas de test.
Génération automatique de cas de test
Génère des cas de test à partir des chemins de décision, offrant ainsi un point de départ avant le début du développement manuel des tests.
Tests de régression
Les cas de test sont réexécutés automatiquement sur la base du code source mis à jour. La relecture de l'exécution des tests facilite le débogage des échecs.
Tests de précision
Exécutez vos tests directement sur le matériel cible embarqué via VectorCAST RSP. Aucune réécriture des tests n'est nécessaire pour passer de l'hôte à la cible.
Analyse et visibilité
Analyse de la couverture de code
Les indicateurs de couverture permettent d'identifier les lignes de code non testées. Ils sont configurables selon les niveaux de couverture requis par la norme DO-178 et d'autres normes.
Analyse de la complexité du code
Les indicateurs de complexité statique mettent en évidence le code à haut risque et permettent de hiérarchiser les efforts de test.
Prise en charge de la norme Ada et de la chaîne d'outils
De Ada 83 à Ada 2012. Intégrations avec AdaCore GNAT, Green Hills AdaMULTI, DDC-I SCORE, Atego ObjectAda, IBM Rational Rhapsody et DOORS.
Frequently Asked Questions
