Simplifiez les flux de travail de conformité avec le nouveau test C/C++ 2024.2 et l'automatisation pilotée par l'IA | Inscrivez-vous

Image d'arrière-plan de connectivité abstraite

Qualification des outils

Automatisez facilement le processus de qualification des outils

Réduisez les frais généraux associés à la qualification des outils pour les industries critiques pour la sécurité

La qualification des outils est un processus obligatoire pour le développement de logiciels critiques pour la sécurité. Kits de qualification Parasoft pour Solutions de tests Parasoft C/C++ automatiser le processus de création de la documentation de support requise pour la qualification des outils d'analyse statique, les tests unitaires et les exigences de couverture, en réduisant à la fois le potentiel d'erreur humaine et le temps nécessaire pour effectuer la qualification des outils.

Relever les défis de la qualification des outils

Générer automatiquement la documentation de conformité

Parasoft automatise la création de la documentation requise pour qualifier les solutions de test Parasoft C/C++ destinées à être utilisées dans des industries critiques pour la sécurité en guidant l'utilisateur à travers un flux de travail intuitif et en générant une documentation essentielle pour démontrer la qualification des outils.

Réduire la portée de ce qui est nécessaire pour qualifier l'outil

La première étape du flux de travail efficace de Parasoft consiste à sélectionner les cas d'utilisation et les capacités spécifiques des solutions de test Parasoft C/C++ à utiliser dans le projet logiciel, afin de réduire la portée globale de ce qui doit être qualifié et de rationaliser le processus de qualification.

Exécuter automatiquement les tests

Bien que le processus de qualification des outils ne puisse pas être automatisé à 100%, le flux de travail unique des kits de qualification de Parasoft le rend aussi indolore que possible, réduisant les efforts de test manuel et exécutant des tests automatisés pour certains cas d'utilisation.

Kits de qualification d'outils de Parasoft

La qualification des outils est obligatoire pour les organisations développant des logiciels pour des applications critiques pour la sécurité, conformes aux normes telles que DO-178B / C (aérospatial), ISO 26262 (automobile), CEI 62304 (médical), EN-50128 (chemin de fer) et CEI 61508 (sécurité fonctionnelle). Ces normes exigent que les organisations fournissent la preuve que les outils logiciels utilisés pour développer leur code sont adaptés à une utilisation dans l'application critique pour la sécurité qu'ils exigent.

Parasoft prend en charge le processus de qualification conforme aux normes DO-178C et DO-330 avec le kit de qualification d'outils automatisé pour tous ses niveaux de logiciel. Parasoft C/C++test et C/C++test CT sont certifiés TÜV SÜD pour les normes ISO 26262 (automobile), IEC 62304 (médical), EN 50128 (ferroviaire) et IEC 61508 (sécurité fonctionnelle) pour tous les niveaux ASIL et SIL. Aucune qualification d'outil supplémentaire n'est nécessaire car le certificat fourni est plus que suffisant. Néanmoins, l'option d'effectuer une qualification par validation à l'aide du kit de qualification d'outils automatisé de Parasoft est toujours disponible.

Parasoft C/C++test CT est certifié TÜV SÜD et un kit qualité est disponible.

L'approbation de l'utilisation de l'outil est généralement un processus formel lourd en documentation, qui nécessite une exécution manuelle longue et sujette à des erreurs humaines. Pour résoudre ce problème, les kits de qualification d'outils de Parasoft pour Solutions de tests Parasoft C/C++ automatiser le processus de qualification lui-même, en guidant l'organisation tout au long du processus de qualification et en réduisant considérablement l'effort manuel fastidieux et sujet aux erreurs de qualification. Lire la suite ci-dessous.

 

Bénéficiez de l'approche Parasoft

Passez moins de temps sur la qualification des outils et plus de temps sur le développement de nouvelles fonctionnalités.

Rationalisez la qualification des outils grâce à une approche intégrée

Les kits de qualification de Parasoft couvrent toutes les capacités du test Parasoft C/C++, répondant non seulement à l'analyse statique, mais également aux tests unitaires et aux exigences de couverture pour les logiciels critiques pour la sécurité. Ceci est similaire pour le test CT C/C++. Sans cela, les utilisateurs sont tenus de qualifier individuellement plusieurs outils dans leur chaîne d’outils, ce qui entraîne une duplication importante des efforts.

Facilitez la qualification des outils grâce à une automatisation supplémentaire

Contrairement aux kits de qualification statiques fournis par d'autres fournisseurs, l'outil de support de qualification de Parasoft génère automatiquement des rapports appropriés en fonction des fonctionnalités et des capacités utilisées dans le projet logiciel. En se concentrant sur les fonctionnalités importantes pour le projet, les utilisateurs peuvent minimiser la documentation manuelle requise, réduisant ainsi le risque d'erreur humaine dans la préparation de la documentation.

Tirez parti de l'automatisation pour simplifier la requalification

Lorsque Parasoft publie un nouveau correctif de Parasoft C/C++test et C/C++test CT, les utilisateurs peuvent rapidement réexécuter la qualification par rapport à la version et requalifier l'outil pour une utilisation avec un minimum d'effort. Cela signifie que les utilisateurs peuvent profiter des mises à jour et des améliorations de nos solutions de test C/C++ sans avoir à se soucier à nouveau de tous les détails de la qualification des outils.