Webinaire à la demande en vedette : Accélérez la conformité des logiciels grâce à l'IA Regardez maintenant >>
La qualification des outils est un processus obligatoire pour le développement de logiciels critiques pour la sécurité. Kits de qualification Parasoft pour Parasoft C / C ++test
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.
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 (l'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 DO-178B/C et DO-330 avec le kit de qualification d'outil automatisé, pour tous ses niveaux de logiciel et le test Parasoft C/C++ est Certifié TÜV SÜD pour normes ISO 26262 (automobile), CEI 62304 (médical), EN 50128 (ferroviaire) et CEI 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 effectuer une qualification par validation, en utilisant le kit de qualification d'outils automatisé de Parasoft est toujours 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 Parasoft C / C ++test inclure un assistant d'outil automatisé qui automatise le processus de qualification lui-même, guide l'organisation tout au long du processus de qualification et réduit considérablement l'effort manuel fastidieux et sujet aux erreurs de qualification. Lisez plus ci-dessous.
Le kit de qualification d'outils de Parasoft tire parti de l'automatisation pour guider les utilisateurs à travers le flux de travail suivant:
Oui! Le rapport de classification des outils détermine la qualification nécessaire et présente la classification du niveau de sécurité maximum pour le test Parasoft C / C ++ en fonction des cas d'utilisation sélectionnés par l'utilisateur.
Oui! Le document Plan de qualification de l'outil décrit comment le test Parasoft C/C++ va être qualifié pour être utilisé dans un projet de développement lié à la sécurité. La méthode de qualification appliquée est basée sur la « validation des outils », et ce document contient la description des processus de qualification.
Oui! Le document de rapport de qualification d'outil démontre que le test C / C ++ a été qualifié selon le plan de qualification d'outil (TQP).
Oui! Ce document décrit comment le test Parasoft C / C ++ doit être utilisé en toute sécurité, c'est-à-dire conforme aux normes de sécurité (DO-178B / C, EN 50128, CEI 61508, ISO 26262) dans les projets critiques pour la sécurité.
En plus des modèles de rapport automatisés (rapport de classification d'outil, plan de qualification d'outil, rapport de qualification d'outil et manuel de sécurité d'outil)
Passez moins de temps sur la qualification des outils et plus de temps sur le développement de nouvelles fonctionnalités.
Les kits de qualification de Parasoft couvrent toutes les capacités du test Parasoft C / C ++, répondant non seulement à l'analyse statique, mais aussi aux tests unitaires et aux exigences de couverture pour les logiciels critiques pour la sécurité. Sans cela, les utilisateurs doivent qualifier individuellement plusieurs outils dans leur chaîne d'outils, ce qui entraîne une duplication importante des efforts.
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.
Lorsque Parasoft publie un nouveau correctif du test Parasoft C / C ++, les utilisateurs peuvent réexécuter rapidement 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 du test C / C ++ sans avoir à se soucier à nouveau de tous les détails de la qualification des outils.