Développement et test de logiciels pour l'aviation civile

Le test Parasoft C / C ++ aide les organisations à promouvoir des modèles de codage sécurisés et à se conformer aux normes de codage de sécurité. Le test C / C ++ fournit l'ensemble le plus complet de vérificateurs intégrés (règles) du marché pour vérifier la conformité à des normes telles que CERT C, CERT C ++, UL 2900 et CWE.

Le test Parasoft C / C ++ détecte les problèmes complexes de type runtime au début de la phase de développement en analysant les chemins d'exécution à travers le code et en trouvant des bogues potentiels. En plus de plus de 2200 règles et vérificateurs, Parasoft permet aux équipes de vérifier facilement les directives de codage spécifiques à l'organisation, avec un éditeur spécial pour créer des vérificateurs personnalisés pour étendre (ou remplacer) les règles intégrées fournies avec l'outil. Avec le test Parasoft C / C ++, les utilisateurs n'ont pas à écrire de scripts et les directives de codage spécifiques à l'organisation peuvent être entièrement automatisées pour remplacer le processus manuel de vérification de la conformité.

DO-178C ne répertorie pas explicitement les tests unitaires comme une méthode de test obligatoire. Cependant, la norme exige que la couverture de test des exigences de bas niveau soit atteinte (DO-178C 6.4.4.b). Dans la plupart des cas, les tests unitaires sont le moyen le plus pratique d'atteindre cet objectif.

Le test C / C ++ réduit l'effort lié à la création et à la maintenance des cas de test unitaires en réduisant la quantité de scripts requis et en fournissant des vues et des éditeurs graphiques pratiques pour simplifier le processus.

La conception du cadre de test unitaire du test C ++ est créée en tenant compte des tests logiciels critiques pour la sécurité. Les stubs et cas de test avec des valeurs pour la stimulation du logiciel testé peuvent être créés sous forme de code source ou avec des éditeurs graphiques avec des capacités de génération de code source. Les utilisateurs peuvent stocker et examiner les artefacts de test créés avec les fichiers du projet. L'initialisation des variables et des paramètres d'entrée pour la stimulation logicielle testée se fait exactement de la même manière que lors du fonctionnement du logiciel de production, pour une approche supérieure.

Le test C / C ++ peut être utilisé pour exécuter des tests unitaires sur la plate-forme hôte, le simulateur de processeur cible ou sur la cible intégrée. Cette flexibilité permet aux développeurs d'exécuter fréquemment des tests dans leur IDE et dans le pipeline CI / CD, où des simulateurs sont généralement utilisés, ainsi qu'avec du matériel réel, à des fins de conformité DO-178C. Le harnais de test du test Parasoft C / C ++ a été optimisé pour prendre un minimum de frais supplémentaires pour l'empreinte binaire et les cycles de processeur. Des intégrations dédiées avec des IDE et des débogueurs intégrés rendent le processus d'exécution des cas de test unitaires fluide et automatisé.

Les tests unitaires deviennent beaucoup plus faciles et productifs s'ils peuvent être utilisés avec un framework de stubbing / mocking. Le puissant module de test Parasoft C / C ++ pour créer des stubs et des simulations peut aider à l'injection de fautes ou aux tests de robustesse (DO-178C 6.4.2.2), réduire les dépendances du code testé ou simplement stuber le code source non encore implémenté .

DO-178C exige explicitement la réalisation de la couverture de test de la structure du logiciel (DO-178C 6.4.4.c) pour se conformer à la norme. Parasoft C / C ++test prend en charge toutes les métriques de couverture requises par DO-178C (instruction, branche, MC / DC), et plus (chemin, condition simple, ligne, bloc, fonction, appel). L'outil présente les résultats de couverture de code de tous les niveaux de test, y compris les tests au niveau de l'unité, de l'intégration et du système.

Le test Parasoft C / C ++ réduit le temps nécessaire pour analyser les résultats de la couverture et trouver les lacunes dans le processus de test. Les développeurs peuvent examiner les résultats de la couverture de code dans l'EDI avec des vues dynamiques et filtrer les résultats en fonction de la métrique, de la fonction / méthode ou du cas de test spécifique.

L'outil de couverture d'assemblage de Parasoft (ASMTool) satisfait les recommandations de code d'objet exécutable définies par DO-178B / C niveau A. Avec peu d'effort, ASMTool peut générer des rapports de couverture structurelle à partir du code d'objet exécutable. La couverture structurelle est rapportée avec un aperçu facilement révisable du code généré par le compilateur qui n'est pas directement traçable aux instructions de code source. Il suit également les instructions de commutation, fournissant un aperçu complet des chemins d'exécution des tests au niveau des instructions du langage machine.

ASMTool prend également en charge la collecte de la couverture structurelle à partir du processus d'intégration logicielle (test du matériel cible) et de l'environnement de développement de bureau (Parasoft C / C ++test pour les tests unitaires).

Les rapports de traçabilité des exigences du test Parasoft C / C ++ aident les organisations à se conformer à la DO-178C, qui énumère explicitement les tests basés sur les exigences comme objectif (DO-178C 6.4.4.1). Parasoft s'intègre au système de gestion des exigences de l'équipe pour fournir des rapports de traçabilité qui affichent la corrélation entre les exigences et le
Suivante à la suite:

● Code source créé pour mettre en œuvre ces exigences.
● Des cas de test créés pour tester les exigences.
● Résultats des tests exécutés et résultats de la couverture du code.

Les rapports de traçabilité fournissent des informations claires et complètes sur l'avancement du développement, et les équipes peuvent facilement déterminer le nombre d'exigences déjà implémentées et leur degré de test.

DO-178C introduit 5 niveaux de logiciel (SL) A à E. Le niveau de logiciel d'un système est déterminé pendant le processus d'évaluation de la sécurité, en fonction de la condition de défaillance qui peut résulter du comportement anormal du logiciel. Le niveau logiciel A représente le niveau le plus strict avec les pratiques les plus rigoureuses requises dans le développement et les tests de logiciels aérospatiaux.

Pour prendre en charge la qualification des outils telle que décrite dans DO-178C / DO-330, le test Parasoft C / C ++ est pris en charge par un kit de qualification dédié, qui automatise le processus de qualification de l'outil, guidant les utilisateurs à travers toutes les étapes nécessaires pour effectuer la qualification et produire documentation nécessaire. Un outil d'assistance à la qualification dédié automatise la majorité du travail manuel fastidieux requis pour qualifier l'outil, y compris l'exécution des cas de test à partir de la suite de tests exhaustive fournie et la génération des rapports finaux nécessaires pour documenter le processus de qualification.