Tests de développement de logiciels de dispositifs médicaux

Le test Parasoft C/C++ aide les laboratoires de test de dispositifs médicaux à se conformer aux normes de codage en fournissant le plus grand ensemble de vérificateurs de code intégrés de l'industrie, vérifiant la conformité aux normes telles que MISRA C 2023, MISRA C 2012, MISRA C++ 2023, AUTOSAR C++14, HIC++, et plus encore.

« 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.

Pour les organisations axées sur l'atténuation des risques de menaces de sécurité dans leurs dispositifs médicaux, le test Parasoft C / C ++ favorise des modèles de codage sécurisés et aide les utilisateurs à se conformer aux normes de codage de sécurité. La prise en charge des normes de codage de sécurité par le test Parasoft C / C ++ est la solution la plus complète du marché avec des vérificateurs intégrés pour vérifier la conformité aux normes telles que CERT C, CERT C ++, UL 2900, CWE et autres. Les rapports de conformité dédiés permettent aux parties prenantes de comprendre facilement la gestion des risques.

Pour réduire le coût de conformité aux normes de codage, les rapports dédiés de Parasoft permettent aux utilisateurs d'avoir des vues granulaires et dynamiques du processus de conformité. Le système de rapport centralisé de Parasoft aide les utilisateurs à comprendre les résultats des tests en analysant les violations de code en fonction des regroupements et des catégorisations de la norme d'origine.

La documentation de conformité, qui est indispensable pour prouver la conformité, peut être générée automatiquement. Les rapports et la documentation générés conformes à la norme MISRA 2020, qui est très populaire dans tous les secteurs, permettent aux équipes de gagner un temps précieux tout en augmentant les performances.

Parasoft C / C ++test outil d'analyse statique 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 recherchant les bogues potentiels. En plus de plus de 2500 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 afin d'étendre (ou de remplacer) les règles intégrées fournies avec l'outil. Avec Parasoft C/C++test, 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é.

Les vues pratiques et les éditeurs graphiques de Parasoft C / C ++ réduisent l'effort manuel de création et de maintenance de cas de test unitaires grâce à un cadre de test unitaire conçu pour les tests logiciels critiques pour la sécurité. Les stubs et les 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 pendant le fonctionnement du logiciel de production, ce qui rend la méthode fiable et robuste.

Les tests unitaires sont beaucoup plus faciles et productifs s'ils sont utilisés avec un cadre de stubbing et de simulation. Le puissant module de test Parasoft C / C ++ pour créer des stubs et des simulations aide dans les tests d'injection de fautes, réduit les dépendances du code testé et permet aux utilisateurs de supprimer facilement le code source qui n'a pas encore été implémenté.

Parasoft Test CT C/C++ est spécifiquement conçu pour s'intégrer dans des frameworks de tests unitaires open source tels que GoogleTest, CppUnit et tout autre framework.

Parasoft 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 la cible intégrée. Cette flexibilité permet aux développeurs d'exécuter fréquemment des tests dans l'EDI et dans le pipeline CI/CD, où les simulateurs sont généralement utilisés avec du matériel réel. 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é.

Parasoft C/C++test et C/C++test CT affiche les résultats de couverture de code de tous les niveaux de tests, y compris l'unité, l'intégration et le système. Il prend en charge toutes les mesures de couverture généralement requises lors du développement de logiciels critiques pour la sécurité (instruction, branche, MC/DC, fonction, appel, chemin, condition simple, ligne, bloc, etc.).

Les utilisateurs de Parasoft passent moins de temps à analyser les résultats de la couverture pour trouver des 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 et de la méthode, ou du cas de test spécifique.

Parasoft s'intègre au système de gestion des exigences (RMS) de l'équipe pour fournir des rapports de traçabilité qui affichent la corrélation entre les exigences et les éléments suivants:

• Code source créé pour implémenter ces exigences.
• Cas de test créés pour tester les exigences.
• Résultats des tests exécutés et couverture du code.

Les rapports de traçabilité fournissent des informations claires et complètes sur l'avancement du développement. Les équipes peuvent facilement déterminer combien d'exigences ont déjà été implémentées et dans quelle mesure elles sont testées.

Le test Parasoft C / C ++ est certifié par TÜV SÜD comme pouvant être utilisé lors du développement de logiciels critiques pour la sécurité. Pour les projets présentant un niveau de risque plus élevé, le kit de qualification du test Parasoft C / C ++ automatise une partie importante du processus de qualification des outils, réduisant la quantité de travail manuel et éliminant cette distraction des équipes logicielles.

Un outil d'assistance à la qualification dédié guide les utilisateurs à travers toutes les étapes requises pour qualifier l'outil. Il 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.

Parasoft C/C++test CT est en cours de certification et un kit qualité est en cours de développement.