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

Parasoft aide les organisations à se conformer à DO-178B / C, qui exige explicitement que le code source créé soit conforme aux normes de code logiciel (DO-178C, 5.3.2.b). Toutes les organisations souhaitant se conformer à DO-178C doivent démontrer la conformité aux normes du code.

À cette fin, le test Parasoft C / C ++ aide les équipes à se conformer à plusieurs normes de codage et à améliorer la qualité du code. Le test Parasoft C / C ++ fournit un ensemble de vérificateurs intégrés (règles) pour vérifier la conformité aux normes telles que JSF, MISRA C 2023, MISRA C ++ 2023, AUTOSAR C ++ 14 et HIC ++.

« MISRA », « MISRA C » et le logo triangulaire sont des marques déposées de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Tous droits réservés.

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.

C/C++test et C/C++test CT réduisent les efforts liés à la création et à la maintenance des cas de tests unitaires en réduisant la quantité de scripts requis et en fournissant des vues pratiques et des éditeurs graphiques pour simplifier le processus.

La conception du cadre de tests unitaires de Parasoft C/C++test est créée en gardant à l'esprit les tests logiciels critiques pour la sécurité. Des stubs et des 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 dotés de 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 du logiciel testé se fait exactement de la même manière que lors du fonctionnement du logiciel de production, pour une approche supérieure.

La conception de Parasoft C/C++test CT est conçue pour s'intégrer dans des frameworks de tests unitaires open source comme GoogleTest, CppUnit et tout autre.

C/C++test et C/C++test CT peuvent être utilisés 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 des tests fréquemment dans leur IDE et dans le pipeline CI/CD, où les 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 de Parasoft C/C++test a été optimisé pour prendre un minimum de surcharge supplémentaire pour l'empreinte binaire et les cycles du 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 tests 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 et C/C++test CT prend en charge toutes les métriques de couverture requises par DO-178C (instruction, branche, MC/DC), et plus encore (chemin, condition simple, ligne, bloc, fonction, appel). L'outil présente les résultats de couverture de code à tous les niveaux de tests, y compris les tests unitaires, d'intégration et au niveau du système.

Parasoft C/C++test et C/C++test CT réduit le temps nécessaire pour analyser les résultats de couverture et trouver les lacunes dans le processus de test. Les développeurs peuvent examiner les résultats de 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 d'un scénario 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 et C/C++test CT pour les tests unitaires).

Les rapports de traçabilité des exigences de Parasoft C/C++test et C/C++test CT aident les organisations à se conformer au DO-178C, qui répertorie 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 comme décrit dans DO-178C/DO-330, le test Parasoft C/C++ est pris en charge avec un kit de qualification dédié, qui automatise le processus de qualification des outils, guidant les utilisateurs à travers toutes les étapes nécessaires pour effectuer la qualification et produire documentation nécessaire. Un outil d'aide à 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 requis pour documenter le processus de qualification. Le kit de qualification de Parasoft C/C++test CT est en cours de développement.