VectorCAST/Coupling
La vérification des couplages est une exigence obligatoire pour les logiciels avioniques critiques pour la sécurité, conformément aux normes DO-178B et DO-178C. VectorCAST/Coupling répond à ces exigences en identifiant d’abord les couplages par analyse statique, puis en les vérifiant en temps réel lors de l’exécution de l’application.
VectorCAST/Coupling s'intègre à votre projet VectorCAST/QA existant ou à votre environnement VectorCAST Cover. Aucune configuration distincte n'est nécessaire. Les analyses statique et d'exécution s'appliquent toutes deux à des composants logiciels, qui sont des ensembles définis par l'utilisateur comprenant un ou plusieurs fichiers source C ou C++.
À qui s’adresse VectorCAST/Coupling ?
VectorCAST/Coupling est utilisé par les ingénieurs de vérification et les responsables logiciels dans le cadre de programmes avioniques régis par les normes DO-178B ou DO-178C aux niveaux d’assurance de conception A, B ou C. Il nécessite un environnement VectorCAST/QA existant.
L'exigence relative au couplage de la norme DO-178
La norme DO-178C définit deux types de couplage qui doivent être vérifiés.
Couplage de données
La dépendance d'un composant logiciel à l'égard de données qui ne relèvent pas exclusivement de son contrôle.
(DO-178C ANNEXE B, Glossaire)
Accouplement de commande
La manière ou le degré selon lequel un composant logiciel influence l'exécution d'un autre composant logiciel.
(DO-178C, ANNEXE B, Glossaire)
Comment les exigences ont été renforcées entre la norme DO-178B et la norme DO-178C
La norme DO-178B exigeait de confirmer que le couplage entre les données et les commandes existait bien comme prévu. La norme DO-178C a renforcé cette exigence en imposant désormais aux équipes de vérifier que les tests basés sur les exigences ont effectivement mis en œuvre ce couplage. Pour la conformité aux niveaux DAL A, B ou C selon la norme DO-178C, trois éléments doivent être démontrés.
- Le couplage des données et des commandes est conforme aux exigences et à la conception prévue
- Une analyse de couverture des couplages de données et de contrôle a été effectuée après l’exécution des tests basés sur les exigences
- Une analyse de couverture dynamique est disponible ; l’analyse statique seule n’est plus suffisante
VectorCAST/Coupling répond à ces trois exigences.
Avantages de VectorCAST/Coupling
Automatisez ce qui serait autrement une analyse manuelle
L'identification et la vérification manuelles des couplages dans une base de code C ou C++ sont chronophages et sources d'erreurs. VectorCAST/Coupling automatise à la fois l'identification statique et la vérification en exécution, ce qui permet de gagner un temps considérable et d'améliorer la précision.
Utilisez votre environnement VectorCAST existant
VectorCAST/Coupling s’intègre directement à votre projet VectorCAST/QA existant ou à votre environnement VectorCAST Cover. Aucune configuration distincte ni aucune infrastructure parallèle n’est requise.
Respectez les exigences d’analyse dynamique de la norme DO-178C
L’analyse statique à elle seule ne suffit pas à satisfaire aux exigences de vérification du couplage de la norme DO-178C. VectorCAST/Coupling fournit le composant de vérification à l’exécution qui complète vos preuves de conformité.
Générez automatiquement des rapports prêts pour l’audit
Les rapports de couverture de couplage, les rapports complets d’ordre d’accès et les rapports d’erreurs d’ordre d’accès sont générés automatiquement et structurés pour l’examen de certification.
Comment ça marche ?
L'analyse de couplage a pour objectif de démontrer deux choses : d'une part, que les flux de contrôle et de données entre les composants architecturaux de l'implémentation correspondent à la conception prévue, et d'autre part, que ces flux ont été vérifiés par des tests. VectorCAST/Coupling fournit cette preuve au moyen d'un processus en deux phases.
Phase 1 : Analyse statique
VectorCAST/Coupling effectue une analyse statique de vos fichiers source C ou C++ afin d'identifier les couplages de données et de contrôle entre les composants logiciels que vous définissez. Un composant est un ensemble défini par l'utilisateur, composé d'un ou plusieurs fichiers source. L'analyse statique génère le « rapport de composant », qui répertorie les objets de données globaux et les fonctions pour chaque composant et établit la carte de couplage de référence.
Phase 2 : Vérification à l'exécution
Lors de l'exécution de l'application, VectorCAST/Coupling instrument les couples identifiés et vérifie qu'ils se comportent conformément à la conception. Les résultats d'exécution sont enregistrés et comparés à la carte de couplage générée par l'analyse statique. C'est cette vérification dynamique que la norme DO-178C exige en plus de la seule analyse statique.
Rapports sur la couverture des accouplements
VectorCAST/Coupling génère trois rapports, chacun remplissant une fonction distincte dans le processus de vérification et d'audit.
Rapport sur la couverture des accouplements
Combine les résultats de l'analyse statique et de l'analyse d'exécution pour offrir une vue d'ensemble de haut niveau de la couverture des couplages au sein de l'application. Comprend le rapport sur les composants, qui répertorie les objets de données et les fonctions globaux pour chaque composant.
Accès au rapport complet sur les raccordements
Affiche l'ordre d'accès en fonction des résultats des tests pour tous les couples, ce qui permet de vérifier que l'architecture logicielle a bien été respectée dans l'ensemble des tests. Permet de démontrer la couverture complète du comportement de couplage.
Rapport d'erreur concernant l'ordre d'accès au couplage
Affiche l'ordre d'accès en fonction des résultats des tests uniquement pour les couples présentant des erreurs. Cela permet aux ingénieurs chargés de la vérification de repérer efficacement les violations de l'ordre d'accès, sans avoir à passer au crible l'ensemble des résultats.
Frequently Asked Questions
