Découvrez GoogleTest certifié TÜV avec Agentic AI pour les tests C/C++ !
Plus de détails »
Aller à la section
Blog Parasoft
Qu'est-ce que la qualification d'outils et pourquoi est-elle importante dans les tests logiciels ? Consultez cet article pour en savoir plus sur la qualification des outils et sur la manière dont les solutions de test Parasoft C/C++ fonctionnent comme un outil certifié pour les tests, contrairement à d'autres concurrents.
Aller à la section
Les normes de développement de logiciels critiques pour la sécurité, telles que l'ISO 26262 (automobile), la DO-178B/C (aérospatiale), la CEI 62304 (dispositifs médicaux), l'EN 50716 / EN 50128 (chemin de fer) et la CEI 61508 (sécurité fonctionnelle des systèmes électroniques), exigent que les fabricants prouvent que les outils qu'ils utilisent pour développer leurs logiciels fournissent des résultats corrects et prévisibles.
Le processus de fourniture de telles preuves est appelé qualification ou validation d'outils. Il peut s'avérer long et fastidieux, et représente assurément une charge de travail supplémentaire pour les équipes qui doivent se concentrer sur le développement et les tests logiciels du projet. Bien que la responsabilité de la qualification des outils incombe en dernier ressort aux utilisateurs, ces derniers font appel à des fournisseurs d'outils comme Parasoft pour les accompagner dans cette démarche. Ces fournisseurs peuvent alléger la charge des utilisateurs finaux en certifiant leurs produits et en fournissant des kits de qualification.
Il n'existe pas d'approche unique pour la qualification ou la certification des outils selon les normes, et tous les outils ne nécessitent pas de qualification. Par conséquent, les normes définissent un processus de « classification », accordant différents niveaux d'importance à la qualification des outils et définissant différentes méthodes pour garantir la fiabilité des outils utilisés, ce qui permet de déterminer si une qualification est nécessaire pour un outil spécifique.
Cela étant dit, en règle générale, si un outil est utilisé pour automatiser le processus de vérification ou produit un résultat utilisé dans le cadre d'un système critique, comme le code source généré à partir du modèle, alors la qualification de l'outil est requise.
La réponse courte est que cela dépend de la norme.
En bref, la pratique dans le secteur est que pour les normes ISO 26262, IEC 61508 et IEC 62304, les équipes peuvent utiliser des outils certifiés par un organisme indépendant (comme TÜV SÜD) sans autres activités de qualification. Pour DO-178B/C, les certificats ne sont pas acceptés et les équipes doivent passer par le processus de qualification.
Les fournisseurs d'outils engagent une organisation indépendante (telle que TÜV SÜD) spécialisée dans la sécurité fonctionnelle pour évaluer le processus de développement des outils logiciels. L'évaluation comprend une évaluation des cas d'utilisation prévus et un examen avec un accent particulier sur l'assurance qualité des logiciels, le cycle de vie des défauts connus et la gestion des versions.
Si les processus répondent aux normes et garantissent la qualité de l'outil, l'organisation obtient la certification. La certification est accordée pour la version spécifique de l'outil ; il n'est pas possible de certifier les versions « futures ».
Le certificat est ensuite proposé avec l'outil pour simplifier le processus d'approbation pour un développement critique pour la sécurité. Pour toutes les normes de sécurité qui le permettent, il s'agit de la méthode privilégiée de qualification des outils, car elle réduit l'effort pour l'utilisateur de l'outil.
Les éditions Parasoft C/C++test et C/C++test CT Compliance ont été certifiées par TÜV SÜD pour une utilisation dans le développement de logiciels critiques pour la sécurité, conformément aux normes suivantes :
TÜV SÜD est une organisation spécialisée dans les audits et certifications de sécurité. C'est une organisation largement reconnue et respectée. Contrairement à certains concurrents, Parasoft certifie chaque version de son produit afin que vous puissiez profiter des innovations les plus récentes et ne soyez pas limité à une version spéciale de support à long terme.
Pour en savoir plus sur TÜV SÜD, consultez le site https://www.tuvsud.com/.
La certification TÜV peut être utilisée pour approuver et qualifier les tests Parasoft C/C++ et C/C++test CT pour le développement de logiciels pour tous les niveaux ASIL ou SIL. Les équipes qui développent des logiciels pour ASIL D ou SIL 4 peuvent toujours envisager d'approuver l'outil avec le kit de qualification. Cependant, en général, la pratique dans le secteur est que la certification est suffisante.
La certification TÜV est un document PDF qui fait partie du package de distribution de sécurité fonctionnelle des solutions de test C/C++ et est disponible pour les clients qui utilisent une version de conformité de Parasoft C/C++test et C/C++test CT. Le package contient les documents suivants :
Z10 075084 0005 Rev.02.pdf – Certificat principal. Ce document contient des informations sur la version de l'outil certifiée et la liste des normes de sécurité fonctionnelle pour lesquelles la certification est valable. Le certificat doit être joint à la documentation du projet soumise à l'audit de sécurité fonctionnelle.
C++test <version> – Considérations relatives à la sécurité fonctionnelle.pdf – Manuel de sécurité de l'outil. Ce document contient des informations importantes sur l'utilisation sécurisée de l'outil. Il doit être distribué à tous les utilisateurs. Il précise les fonctionnalités certifiées et explique comment configurer l'outil pour détecter les erreurs potentielles.
C++test <version> – Anomalies connues.pdf – Liste de toutes les anomalies connues de l'outil susceptibles d'affecter son fonctionnement. Les utilisateurs finaux doivent consulter ce document et appliquer des solutions de contournement pour tous les problèmes rencontrés lors de l'utilisation de l'outil dans un projet spécifique.
PK83996C V6.4.pdf – Rapport relatif au certificat. Ce document précise le périmètre des essais, la classification des outils et les exigences de qualification. Il complète le certificat principal.
PK83317T V7.4.pdf – Rapport technique de sécurité fonctionnelle. Ce document complète le certificat principal.
De plus, tous les utilisateurs de Parasoft C/C++test et C/C++test CT développant des logiciels critiques pour la sécurité doivent s'inscrire pour recevoir les mises à jour de la liste des « défauts connus ». Parasoft tient à jour une liste des défauts connus et la distribue à tous les utilisateurs inscrits.
La certification TÜV pour les outils de test de logiciels offre de nombreux avantages très appréciés dans le secteur du développement de logiciels. Un avantage notable est qu'il fournit une marque de qualité et de fiabilité et garantit aux parties prenantes que l'outil a subi des tests rigoureux et répond aux normes reconnues par l'industrie. Cette certification renforce la crédibilité et la fiabilité de l'outil, le rendant plus attrayant pour les utilisateurs et clients potentiels.
De plus, la certification TÜV peut réduire considérablement les risques juridiques et réglementaires associés au développement et aux tests de logiciels, car elle démontre un engagement à respecter les normes internationales de sécurité et de qualité. Cela peut aider les éditeurs de logiciels à éviter des litiges juridiques coûteux et des amendes tout en garantissant que leurs outils respectent les meilleures pratiques.
De plus, les outils de test de logiciels certifiés TÜV comme Parasoft C/C++test et C/C++test CT sont souvent dotés de fonctionnalités qui améliorent l'efficacité globale du développement et, par extension, sont conçus en tenant compte des meilleures pratiques du secteur. En tant que tels, ils peuvent rationaliser les processus de test, améliorer la précision et accroître l'efficacité. Cela peut se traduire par des économies de coûts pour les organisations en réduisant le temps et les ressources nécessaires aux tests, ainsi qu'en minimisant la probabilité de problèmes et de défauts après la publication. En substance, la certification TÜV signifie non seulement un engagement envers la qualité et la sécurité, mais se traduit également par d'autres avantages tels qu'une meilleure commercialisation, des risques réduits et une efficacité accrue du développement de logiciels.
La certification TÜV peut être téléchargée à partir du portail client Parasoft, accessible depuis la page Web principale de Parasoft (parasoft.com). Les clients peuvent se connecter à l'aide de leurs identifiants et accéder à Produits et licences -> Téléchargements, puis sélectionner le package de distribution de sécurité fonctionnelle.
Le package de distribution de sécurité fonctionnelle est disponible pour tous les clients qui ont acheté l'édition « Conformité » de Parasoft C/C++test ou C/C++test CT.
