Automatisez facilement le processus de qualification des outils

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