Comment ça marche?
Parasoft C/C++test utilise un moteur d'analyse de code C/C++ de pointe pour analyser le code testé, créer une interprétation abstraite et appliquer un vérificateur C/C++ pour trouver les problèmes et les violations dans le code. Plus de 2500 règles différentes sont fournies avec l'outil de test C/C++, couvrant les meilleures pratiques générales (C++ efficace, C++ moderne), les normes de l'industrie (AUTOSAR, MISRA*, JSF, CERT, CWE) et les outils de recherche de bogues spécialisés (pointeur nul déréférencement, division par zéro, fuites de mémoire, etc.).
Les règles sont regroupées dans des configurations prédéfinies, permettant à un utilisateur de configurer rapidement l'analyse.
Parasoft aide les utilisateurs à gérer les résultats des tests, y compris la hiérarchisation des résultats, la suppression des résultats indésirables, l'attribution des résultats aux développeurs, et bien plus encore.
L'analyse statique C et C ++ peut être effectuée soit dans l'EDI (Eclipse, Visual Studio Code, Visual Studio, etc.) soit dans l'interface de ligne de commande (pour les scénarios d'automatisation / d'intégration continue). Les résultats de l'analyse peuvent être consultés immédiatement (dans l'EDI ou avec des rapports HTML / PDF / XML) ou agrégés pour un post-traitement, des rapports et des analyses supplémentaires. Le Process Intelligence Engine de Parasoft s'intègre de manière transparente avec d'autres composants de l'environnement de développement (c.-à-d. Système de gestion de contrôle de source ou système de gestion des exigences) pour aider les utilisateurs à gérer efficacement les efforts de développement. Les utilisateurs peuvent, par exemple, afficher les résultats d'analyse statique complets uniquement à partir du code qui a changé entre deux versions différentes, ou afficher les résultats de couverture obtenus uniquement sur le code modifié.
Pour rendre l'analyse statique C / C ++ et les tests unitaires plus faciles à maintenir, Parasoft aide les utilisateurs à gérer les résultats des tests, y compris la hiérarchisation des résultats, la suppression des résultats indésirables, l'attribution des résultats aux développeurs, et bien plus encore. La personnalisation des vues de ces résultats aide les équipes à se concentrer sur les avertissements présentant le risque potentiel le plus élevé.
L'analyse statique du test Parasoft C / C ++ pour C / C ++ brille dans un sécurité fonctionnelle processus de développement, certifié par TÜV SÜD pour se conformer aux normes ISO 26262 et CEI 61508, CEI 62304 et EN 50128. Notre Kit de qualification avec une automatisation supplémentaire aide à la qualification des outils pour DO-178B / C (et d'autres normes) et réduit le fardeau de la documentation de 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.