Solutions logicielles d'automatisation industrielle

Le test Parasoft C/C++ aide les organisations à atteindre la conformité du code avec les normes de codage pour améliorer la qualité du code, avec le plus grand nombre de vérificateurs intégrés (règles) sur le marché pour vérifier la conformité aux normes telles que MISRA C 2023, MISRA C 2012, MISRA C++ 2023, AUTOSAR C++14, HIC++, etc.

Pour obtenir les meilleures pratiques de codage sécurisé et la conformité du code de sécurité, le test Parasoft C / C ++ fournit la prise en charge la plus complète des vérificateurs intégrés qui vérifient la conformité aux normes de sécurité telles que CERT C, CERT C ++, UL 2900, CWE, etc.

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

Parasoft minimise le coût du processus de conformité aux normes de codage en fournissant des rapports dédiés. Les rapports de conformité donnent à l'utilisateur une vue dynamique du processus de conformité, aidant à hiérarchiser les résultats des violations d'analyse statique en fonction des regroupements et des catégorisations de la norme de codage d'origine.

Une documentation de conformité est nécessaire pour prouver la conformité. Le générer automatiquement permet aux équipes de gagner un temps précieux lorsque les rapports et la documentation générés sont conformes à la norme MISRA 2020, très populaire dans les secteurs de l'automatisation.

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

Les vues pratiques et les éditeurs graphiques du test Parasoft C / C ++ réduisent l'effort manuel de création et de maintenance de cas de test unitaires avec un cadre de test unitaire conçu en tenant compte des 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 / mocking. 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 non encore implémenté.

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

Parasoft C/C++test et C/C++test CT prend en charge toutes les métriques 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 et bloc). ), affichant les résultats de couverture de code de tous les niveaux de tests, y compris les tests unitaires, d'intégration et au niveau du système.

C/C++test et C/C++test CT réduisent 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.

Les solutions de test Parasoft C/C++ s'intègrent aux systèmes de gestion des exigences 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.
• 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. 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 ++ peut être intégré à des outils de développement basés sur des modèles tels que Matlab / Simulink ou IBM Rational Rhapsody, en vérifiant la conformité du code source généré à partir des modèles aux normes de codage et en effectuant une validation dynamique à l'aide des ensembles de données des moteurs de simulation , puis en présentant les résultats de la couverture de code.

Parasoft C/C++test est certifié par TÜV SÜD comme étant adapté pour une utilisation lors du développement de logiciels critiques pour la sécurité avec la norme CEI 61508. Pour les projets présentant un niveau de risque plus élevé, le kit de qualification de Parasoft C/C++test automatise une partie importante du processus de qualification des outils, réduisant ainsi la quantité de travail manuel et éliminant cette distraction des équipes logicielles. Parasoft C/C++test CT est en cours de certification TÜV SÜD et un kit qualité est en cours de développement.

Un outil d'assistance à la qualification dédié guide les utilisateurs à travers toutes les étapes requises pour qualifier l'outil, automatisant la majorité du travail manuel fastidieux requis pour qualifier l'outil, y compris l'exécution des cas de test de la suite de tests exhaustive fournie avec le kit de qualification, et génération des rapports finaux nécessaires pour documenter le processus de qualification.