IBM et Parasoft

Proposez des logiciels de qualité avec les solutions intégrées Parasoft et IBM

IBM est une entreprise technologique mondiale qui fournit du matériel, des logiciels, des services basés sur le cloud et des services de conseil. Elle est connue pour ses innovations en matière d'intelligence artificielle, d'informatique quantique et de solutions informatiques d'entreprise. L'intégration de Parasoft avec IBM DOORS Next permet de répondre aux besoins de conformité en matière de vérification des exigences et de validation.

Le plug-in de test C/C++ de Parasoft dans IBM Rhapsody analysera automatiquement le code généré automatiquement par Rhapsody pour trouver les défauts de codage et les vulnérabilités que les tests pilotés par modèle ne peuvent pas détecter.

Test C++, CT de test C/C++ et intégration IBM DOORS Next

À quoi servent C/C++test et C/C++test CT

Les tests C/C++ et C/C++test CT de Parasoft s'intègrent à IBM DOORS Next pour rationaliser la traçabilité des exigences en reliant directement les cas de test aux exigences et en permettant un flux de données bidirectionnel pour les résultats de test, la traçabilité et les rapports de conformité dans les applications de sécurité fonctionnelle.

Comment fonctionne l'intégration IBM DOORS

Parasoft DTP peut importer les exigences DOORS Next, leur permettant de s'intégrer dans les tests C/C++, où les cas de test sont créés et liés à ces exigences à l'aide d'identifiants uniques.

Les résultats des tests et les données de traçabilité des tests C/C++ sont exportés vers DTP à des fins d'analyse, de visualisation du tableau de bord et de génération de rapports. DTP peut également se synchroniser avec DOORS Next en exportant les cas de test et les résultats, ce qui permet à DOORS Next de gérer les exigences plus efficacement et de créer une matrice de traçabilité des exigences complète pour la conformité aux normes de sécurité fonctionnelle.

Un flux de travail similaire est disponible pour les tests CT C/C++, bien que la liaison des exigences DOORS Next aux tests créés avec des frameworks comme GoogleTest nécessite une étape de liaison manuelle.

Test C/C++ et intégration IBM Rhapsody

Que fait le test C/C++

Le profil d'analyse statique de test Parasoft C/C++ se connecte directement à l'IDE IBM Rational Rhapsody. Le code C ou C++ est analysé pendant le processus de génération et de construction du code Rhapsody. Une analyse est effectuée pour garantir la conformité aux normes de codage telles que MISRA C/C++, AUTOSAR C++ 14, CERT C/C++, etc., en identifiant les défauts de sécurité et les vulnérabilités du codage de sécurité.

Fonctionnement de l'intégration IBM Rhapsody

Installez en toute transparence le profil de test C/C++ dans l'EDI de Rhapsody. La possibilité de configurer et d'activer votre analyse statique devient disponible via un menu dans le projet Rhapsody.

• Activez l’analyse du codage de test C/C++ pendant la génération et la construction automatiques de code.
• Les violations de codage pouvant donner lieu à une action sont répertoriées dans l'EDI de Rhapsody.
• Intégrez les rapports de violation de code dans le modèle.
• Intégrez des documents standard de codage dans le modèle pour faciliter le flux de travail.

L'analyse statique du test C/C++ est certifiée TÜV SÜD.