Le Sommet de l'ASTQ est en direct le 4 novembre! Écoutez les chefs de file de l'industrie expliquer comment ils offrent une qualité continue. S'inscrire maintenant "

X
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 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.

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 la qualification du test Parasoft C / C ++ pour une utilisation dans les secteurs 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 du test Parasoft C / C ++ utilisé 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 (l'automobile), 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 DO330 avec le kit de qualification d'outils automatisé, pour tous ses niveaux de logiciel et le test Parasoft C / C ++ est Certifié TÜV SÜD pour normes ISO 26262 (l'automobile), 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:

1. Spécification des cas d'utilisation et des capacités à utiliser sur le projet, réduisant la portée des capacités requises pour la qualification.

2. Mappez rapidement les problèmes connus dans l'outil que vous qualifiez aux fonctionnalités de l'outil que vous utilisez en développement et définissez les actions d'atténuation appropriées.

3. Planification et saisie des résultats des efforts de tests manuels, simplifiant la gestion des efforts manuels.

4. Exécution de tests automatisés, éliminant le temps et l'erreur humaine associés à la capture des résultats de tests automatisés.

5. Rassembler toutes les données et générer les documents critiques nécessaires pour démontrer la qualification de l'outil.

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.

Le contenu de ce document se compose de quatre parties:

  • Description générale de la méthode d'évaluation
  • Définition de la chaîne d'outils en cours d'évaluation
  • Détermination de l'impact de l'outil
  • Détermination du niveau de classification des outils

Oui! Le document Plan de qualification des outils décrit comment le test Parasoft C / C ++ sera qualifié pour une utilisation dans un projet de développement relatif à la sécurité.

La méthode de qualification appliquée est basée sur la «validation d'outil», et ce document contient la description des processus de qualification - la base des contrôles de conformité standard qui ont été effectués et documentés dans des documents séparés.

Les objectifs de validation sont dérivés des exigences des normes de sécurité et des erreurs critiques d'outils potentielles identifiées pour les cas d'utilisation de l'outil dans le rapport de classification des outils (TCR). Le but de la validation de l'outil est de fournir des preuves suffisantes de l'absence de ces erreurs potentielles critiques dans les cas d'utilisation de l'outil.

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).

Une fois que le test Parasoft C / C ++ a été qualifié pour une utilisation dans un projet de développement relatif à la sécurité par l'utilisateur, il peut être utilisé conformément au manuel de sécurité de l'outil.

Ce document décrit les résultats de la qualification:

  • La définition de l'outil telle qu'elle a été utilisée pour la qualification
  • Le kit de qualification appliqué
  • Les cas de test exécutés et leurs résultats
  • L'analyse des cas de test avec un résultat différent de PASS
  • Le processus de qualification exécuté et les artefacts pertinents

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é.

La sécurité des outils est obtenue en trois étapes:

  • Classification en analysant les erreurs potentielles des outils et des fonctionnalités utilisées.
  • Qualification éventuelle, pour exclure certaines erreurs potentielles.
  • Utilisation sûre du test Parasoft C / C ++ conformément à ce manuel de sécurité de l'outil, y compris la vérification des mises à jour des bogues connus.

En plus des modèles de rapport automatisés (rapport de classification des outils, plan de qualification des outils, rapport de qualification des outils et manuel de sécurité des outils), le kit de qualification Parasoft comprend:

  • Manuel d'utilisation et guide de démarrage du kit de qualification
  • Documentation du processus V&V pour le kit de qualification
  • Test Automation Unit: le module du kit de qualification chargé d'automatiser le processus d'exécution des cas de test de validation
  • Cas de test de validation: la collection de fragments de code C / C ++ avec une configuration supplémentaire et la définition des résultats attendus, pour la validation des fonctionnalités du test Parasoft C / C ++ (exigences opérationnelles de l'outil).

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 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.

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 capacités utilisées dans le projet logiciel. En se concentrant sur les fonctionnalités importantes du projet, les utilisateurs peuvent minimiser la documentation manuelle requise, réduisant ainsi le potentiel 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 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.

Pourquoi Parasoft?

Depuis plus de 30 ans, Parasoft aide les principales entreprises aérospatiales, militaires et du DoD à fournir des systèmes rigoureux critiques et critiques pour la sécurité. En fournissant aux équipes de développement et de tests fonctionnels les meilleures technologies pour automatiser et changer leurs stratégies de test, les clients de Parasoft sont en mesure d'atteindre et de dépasser leurs objectifs de livraison Agile et DevOps.

Passez à l'étape suivante

Découvrez comment nous pouvons vous aider à améliorer la qualité de votre logiciel. Ayons une conversation.

Contactez-nous aujourd'hui