Obtenez une prise en charge complète de MISRA C 2023 dans la nouvelle version de test Parasoft C/C++. Rejoignez notre webinaire le 8 juin.
Économisez du temps et de l'argent en détectant et en corrigeant les défauts plus tôt pour éviter des problèmes plus complexes et plus coûteux.
Conformez-vous aux normes de votre secteur et générez automatiquement des rapports de vérification en utilisant l'automatisation des tests.
Améliorez votre productivité. Tirez parti de notre intelligence artificielle et de notre apprentissage automatique pour réduire la charge de travail de vos équipes et garantir que les problèmes de conception sérieux sont traités en premier.
Les équipes de développement fournissent un code de meilleure qualité et sont plus productives avec Parasoft C/C++test 2023.1, y compris une augmentation de 25 % des performances d'analyse statique.
Bénéficiez d'une couverture complète pour MISRA C 2023 et la préquelle MISRA C 2012 AMD 4. D'autres améliorations incluent :
Le test C / C ++ de Parasoft est la solution de test logiciel entièrement intégrée pour les industries critiques pour la sécurité embarquée. Ses capacités de test de logiciels automatisés sont également conçues pour les environnements Agile DevOps à haute vitesse d'aujourd'hui. Il s'intègre étroitement dans votre IDE C et C ++, votre pipeline CI / CD et vos déploiements conteneurisés pour détecter les défauts plus tôt et appliquer automatiquement la conformité aux normes de l'industrie.
Libérez-vous en toute confiance en sachant que vous fournissez des applications fiables, sûres et sécurisées.
Élimine l'ennui de la conformité aux normes de sécurité et de sûreté, vous permettant de vous concentrer sur le développement de nouvelles fonctionnalités.
Testez plus intelligemment, pas plus difficile. Développez les suites de tests existantes à l'aide d'éditeurs graphiques avec une couverture de code intégrée et une analyse statique.
Le test Parasoft C / C ++ vérifie la conformité du code avec une variété de normes de sécurité fonctionnelle, de sécurité et de codage. Il génère également automatiquement la documentation nécessaire pour démontrer la conformité.
Le test Parasoft C / C ++ s'intègre à une grande variété d'EDI, d'architectures embarquées, de solutions ALM, de contrôle de source et de systèmes de construction / CI. Branchez le test Parasoft C / C ++ de manière transparente dans votre écosystème de développement existant.
Permet d'utiliser l'analyse de code statique Parasoft, le cadre de test unitaire et le moteur de couverture de code avec les chaînes d'outils arm. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de codage telles que MISRA, AUTOSAR ou CERT, identifier les bogues réels avec une analyse statique, identifier les régressions avec des tests unitaires automatisés et trouver les lacunes de couverture de code.
developer.arm.com/tools-and-software/embedded/arm-compiler
Permet d'utiliser l'analyse de code statique Parasoft, le cadre de test unitaire et le moteur de couverture de code avec les chaînes d'outils IAR. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de codage telles que MISRA, AUTOSAR ou CERT, identifier les bogues réels avec une analyse statique, identifier les régressions avec des tests unitaires automatisés et trouver les lacunes de couverture de code.
iar.com
Permet d'utiliser l'analyse de code statique Parasoft, le cadre de test unitaire et le moteur de couverture de code avec les chaînes d'outils Keil. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de codage telles que MISRA, AUTOSAR ou CERT, identifier les bogues réels avec une analyse statique, identifier les régressions avec des tests unitaires automatisés et trouver les lacunes de couverture de code.
keil.com
Permet aux outils Parasoft de définir la portée et de déterminer la paternité lors de l'analyse du code et de l'exécution des tests. De plus, le code source et les métadonnées associées peuvent être affichés dans le tableau de bord de reporting centralisé de Parasoft, PAO Parasoft.
git-scm.com
Permet aux équipes d'intégrer les tests continus dans leur infrastructure CI.
Le plug-in Parasoft Findings permet d'intégrer les résultats des outils d'analyse et de test Parasoft dans les rapports Jenkins et les pipelines de création et de publication de portail en fonction de ces résultats de test.
Le plug-in Parasoft Environment Manager permet la configuration rapide d'environnements de test virtuels et l'exécution de tâches de test.
jenkins.io
Permet aux organisations d'associer le risque aux exigences de l'entreprise en corrélant les résultats de l'analyse statique et les résultats des tests avec les exigences, les témoignages d'utilisateurs et les défauts. Les résultats des tests peuvent être à la fois envoyés à Jira et agrégés dans PAO Parasoft pour une traçabilité bidirectionnelle complète. De plus, la création de nouveaux problèmes et défauts peut être automatisée en fonction de l'examen et du tri des échecs de test et des violations d'analyse statique dans Parasoft DTP.
atlassian.com/software/jira
Permet aux organisations d'associer le risque aux exigences de l'entreprise en corrélant les résultats de l'analyse statique et les résultats des tests avec les exigences, les user stories et les défauts. Les résultats des tests peuvent être envoyés à codebeamer et agrégés dans DTP pour une traçabilité bidirectionnelle complète. En outre, la création de nouveaux problèmes / anomalies peut être automatisée en fonction de l'examen et du triage des échecs de test et des violations d'analyse statique dans Parasoft DTP.
codebeamer.com/cb/login.spr
Permet d'utiliser l'analyse de code statique Parasoft, le cadre de test unitaire et le moteur de couverture de code avec les chaînes d'outils Green Hills. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de codage telles que MISRA, AUTOSAR ou CERT, identifier les bogues réels avec une analyse statique, identifier les régressions avec des tests unitaires automatisés et trouver les lacunes de couverture de code.
ghs.com
En intégrant les résultats des tests de Parasoft aux solutions de gestion des exigences, d'assurance qualité et de gestion du cycle de vie des applications de Polarion, les entreprises peuvent obtenir une visibilité complète sur la qualité de leurs livrables et répondre aux exigences de traçabilité pour les industries critiques pour la sécurité.
polarion.plm.automation.siemens.com
Permet d'utiliser l'analyse de code statique Parasoft, le cadre de test unitaire et le moteur de couverture de code avec les chaînes d'outils Clang. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de codage telles que MISRA, AUTOSAR ou CERT, identifier les bogues réels avec une analyse statique, identifier les régressions avec des tests unitaires automatisés et trouver les lacunes de couverture de code.
clang.llvm.org/get_started
Permet d'utiliser l'analyse de code statique Parasoft, le cadre de test unitaire et le moteur de couverture de code avec les chaînes d'outils Texas Instruments. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de codage telles que MISRA, AUTOSAR ou CERT, identifier les bogues réels avec une analyse statique, identifier les régressions avec des tests unitaires automatisés et trouver les lacunes de couverture de code.
ti.com/tool/TI-CGT
Permet d'utiliser l'analyse de code statique Parasoft, le cadre de test unitaire et le moteur de couverture de code avec les chaînes d'outils Altium TASKING. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de codage telles que MISRA, AUTOSAR ou CERT, identifier les bogues réels avec une analyse statique, identifier les régressions avec des tests unitaires automatisés et trouver les lacunes de couverture de code.
tasking.com/produits
