Solutions pour l'industrie ferroviaire

Atteignez la conformité du code à l'aide du test Parasoft C / C ++ pour les normes de codage de sécurité. Il fournit un ensemble de vérificateurs intégrés (règles) pour vérifier la conformité aux normes CERT C, CERT C ++, CWE, OWASP, etc. Ces normes détectent les problèmes complexes de type runtime au début de la phase de développement sans qu'il soit nécessaire d'exécuter des tests d'exécution coûteux. Ils aident les utilisateurs à identifier les vulnérabilités de sécurité et les constructions de codage incorrectes et à comprendre les domaines de risque particulier.

Respectez la conformité du code et améliorez la qualité du code avec le test Parasoft C / C ++, qui offre une prise en charge plus complète que tout autre fournisseur d'outils pour les normes de codage telles que MISRA C 2012, MISRA C ++ 2008, AUTOSAR C ++ 14, HIC ++ et autres. Les organisations peuvent réduire le coût de la satisfaction du processus de conformité avec le test C / C ++. Notre outil de test de développement fournit des rapports de conformité dédiés qui permettent une vue dynamique du processus de conformité et une analyse des violations en fonction des regroupements et des catégorisations de la norme d'origine. Parasoft fournit également des outils pour générer automatiquement la documentation nécessaire pour prouver la conformité.

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

Conçues pour les ingénieurs embarqués ayant à l'esprit les tests logiciels critiques pour la sécurité, les fonctionnalités de test unitaire du test Parasoft C / C ++ incluent un puissant framework de stubbing et de simulation C. Les ingénieurs intégrés peuvent créer des cas de test en tant que code source pour un contrôle complet ou automatiquement avec un éditeur graphique pour obtenir une couverture de code structurel pour les instructions, les branches, le MC / DC et le code objet. Ces fonctionnalités sont faciles à utiliser, réduisant le fardeau de la mise en œuvre du cadre de test unitaire et améliorant la productivité des développeurs.

Parasoft s'intègre à des outils de gestion des exigences tels que codeBeamer, Polarion et CollabNet VersionOne pour réaliser les cas de test et fournir les résultats de vérification des tests. Cette intégration complète la matrice de traçabilité et permet de satisfaire la conformité aux normes de processus. La suite d'outils de Parasoft fournit des rapports de traçabilité et affiche les dépendances entre les exigences et les artefacts, notamment:

• Cas de test
• Code Source
• Résultats de l'exécution du scénario de test
• Résultats de la couverture du code
• Résultats de l'analyse statique

Le test Parasoft C / C ++ est certifié par TÜV SÜD pour une utilisation lors du développement de logiciels critiques pour la sécurité. Pour les projets présentant un niveau de risque plus élevé, vous pouvez automatiser une partie importante du processus de qualification des outils avec le kit de qualification de test Parasoft C / C ++. Un guide d'assistance à la qualification dédié fournit toutes les étapes nécessaires pour qualifier l'outil et automatiser la plupart des travaux manuels fastidieux. Cela comprend l'exécution des cas de test de la suite de tests exhaustive fournie avec le kit de qualification et la génération des rapports finaux nécessaires pour documenter le processus de qualification visé à la norme EN 50128.