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.
Utilisez Insure ++ pour réduire vos coûts de développement et éliminer les longues heures de débogage fastidieux.
Respectez vos délais en identifiant tôt les problèmes de gestion de la mémoire et non sur le terrain. Publiez un logiciel qui fonctionne comme il se doit au fil du temps sans compter sur de longs cycles de test pour trouver les bogues liés à la mémoire
Découvrez les défauts associés à la mémoire impossibles à trouver avant la publication, afin de ne pas perdre de temps à rechercher les défauts plus tard.
Ayez l'esprit tranquille. Attrapez tous les défauts liés à la mémoire pendant les tests du système, tandis que tout le code, y compris vos bibliothèques tierces, est intégré.
Utilisez ce que vous avez. Parasoft Insure ++ s'intègre à une grande variété de systèmes de construction et de frameworks. Testez et faites évoluer votre environnement de développement existant.
Permet d'effectuer une analyse de code statique, de créer et d'exécuter des tests unitaires et d'analyser les rapports de couverture de code directement dans l'IDE de Microsoft Visual Studio. Les utilisateurs peuvent analyser leurs projets pour vérifier la conformité aux normes de sécurité (par exemple MISRA, AUTOSAR) et aux normes de sécurité (par exemple OWASP, CWE, CERT, PCI DSS, UL 2900) et 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.
visualstudio.microsoft.comPermet 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.comPermet 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.ioPermet 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/jiraPermet 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 GNU. 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.
gcc.gnu.orgPermet 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.
subversion.apache.org