Qualification des outils : Conformité des logiciels ISO 26262

Webinaire en vedette : Tests d'API améliorés par l'IA : une approche de test sans code | Voir le séminaire

Qualification des outils pour les systèmes automobiles critiques pour la sécurité

Logiciels critiques pour la sécurité normes de développement telles que ISO 26262 Les fabricants doivent prouver que les outils qu'ils utilisent pour développer des logiciels fournissent des résultats corrects et prévisibles. Le processus consistant à fournir ces preuves est connu sous le nom de qualification des outils. Bien qu'il s'agisse d'un processus nécessaire, la qualification des outils est souvent une activité fastidieuse et chronophage que de nombreuses organisations ne parviennent pas à planifier.

Le résultat final est une preuve sous forme de documentation, mais le processus de qualification ne se limite pas à la simple livraison d'une grosse pile de documentation statique. Les kits de qualification pour les tests C/C++ de Parasoft, qui incluent un assistant d'outils pratique qui permet l'automatisation, réduisent le temps et les efforts nécessaires à la qualification des outils.

Outils pré-certifiés

La qualification des outils doit commencer par leur sélection, en s'assurant que vous utilisez un outil de développement certifié par un organisme tel que TÜV SÜD. Cela réduira considérablement les efforts en matière de qualification des outils.

Test Parasoft C/C++ et test C/C++ CT sont certifiés par TÜV SÜD pour la sécurité fonctionnelle selon les normes IEC 61508, IEC 62304, EN 50128 et ISO 26262 pour les applications basées sur l'hôte et les applications cibles intégrées. Les tests entièrement intégrés solution pour le développement de logiciels C/C++ ouvre la voie à une qualification simplifiée des analyses statiques, des tests unitaires et des exigences de couverture pour les normes critiques pour la sécurité.

Les outils pré-certifiés sont souvent suffisants pour les niveaux d'intégrité de sécurité inférieurs tels que ASIL A et B. Cependant, pour ASIL C et D, la qualification de l'outil nécessite une validation supplémentaire, nécessitant généralement la vérification et la validation de l'outil lui-même sur le matériel du système cible.

La qualification des outils nécessite davantage de tests

Traditionnellement, la qualification des outils impliquait une quantité importante de travail manuel, de tests et de documentation pour satisfaire à un audit de certification. Mais ce processus, qui nécessite beaucoup de documentation, nécessite une interprétation et une réalisation manuelles. Par conséquent, il prend du temps et s'ajoute au calendrier et au budget de tests déjà très chargés d'une organisation.

Parasoft s'appuie sur ses propres automatisation des tests logiciels Qualification des outils avec des kits de qualification, qui incluent un flux de travail documenté pour réduire considérablement la quantité d'efforts requis.

Avantages de l'utilisation des kits de qualification

Réduisez automatiquement le champ de qualification aux seules parties de l’outil utilisé.
Automatisez autant que possible les tests requis pour la qualification.
Gérez tous les tests manuels aussi éloquemment que possible et intégrez les résultats aux tests automatisés.
Générez automatiquement une documentation prête pour l'audit qui indique exactement ce qui est qualifié, ni plus, ni moins !

Qualifiez uniquement les outils utilisés

Il ne devrait pas être nécessaire d'effectuer de travail supplémentaire pour qualifier les capacités non utilisées pendant le développement. La réduction de la portée des tests, des rapports et de la documentation est un moyen essentiel de réduire la charge de travail de qualification.

L'exemple ci-dessous illustre le cas d'utilisation de l'analyse de code statique C/C++ utilisée pour vérifier la conformité à la norme MISRA C 2023, dans le cadre de la qualification ISO 26262. L'outil sélectionne ensuite uniquement les parties de la suite de qualification nécessaires à cette fonction.

Capture d'écran montrant la sélection de la conformité fonctionnelle avec des paramètres de cas d'utilisation supplémentaires — Sélection de conformité fonctionnelle

Sélection de la conformité fonctionnelle avec des paramètres de cas d'utilisation supplémentaires 2 — Paramètres de cas d'utilisation supplémentaires

Capture d'écran montrant la sélection des fonctionnalités dans le test C/C++. Les kits de qualification Parasoft permettent aux utilisateurs de sélectionner les options requises pour leur projet. — Les kits de qualification Parasoft permettent aux utilisateurs de sélectionner les options requises pour leur projet. Une fois sélectionnés, seuls les tests et la documentation sont utilisés et fournis à partir de ce moment.

Tirer parti de l’automatisation et de l’analyse des tests

L'un des avantages uniques des outils d'automatisation des tests de qualification est qu'ils peuvent être utilisés pour automatiser leurs propres tests. L'automatisation maximale est essentielle pour rendre le processus aussi simple que possible. Même les tests manuels, qui sont inévitables pour tout outil de développement, sont traités aussi efficacement que possible. Des instructions étape par étape sont fournies et les résultats sont saisis et stockés dans le cadre du dossier de qualification.

Parasoft C/C++test et C/C++test CT collectent et stockent tous les résultats de test de chaque build, et les tests s'exécutent comme pour tout type de projet. Ces résultats sont intégrés dans l'assistant d'état de test des kits de qualification Parasoft pour fournir un aperçu complet des résultats comme ceux présentés ci-dessous.

Capture d'écran montrant l'état du test de la chaîne d'outils avec C/C++test. — L’exploitation de la collecte centralisée des données et l’automatisation du processus de qualification réduisent considérablement le suivi manuel des progrès de la conformité.

Gestion des défauts connus

Chaque outil de développement comporte des bugs connus et tout fournisseur de produits destinés au développement de produits critiques pour la sécurité doit les documenter. La gestion des défauts connus ne se limite pas à leur simple documentation. La qualification de l'outil nécessite la preuve que ces défauts n'affectent pas les résultats utilisés pour la vérification et la validation. Pour chaque défaut connu, le fabricant doit fournir une atténuation pour chacun d'eux et la documenter à la satisfaction de l'auditeur de certification.

Il incombe au fournisseur d'outils d'automatiser autant que possible la gestion des défauts connus. Après tout, le fournisseur s'attend à ce que les clients gèrent les bugs des logiciels tiers dans le cadre de leur charge de travail ! Les kits de qualification de test Parasoft C/C++ incluent un assistant pour automatiser l'enregistrement des mesures d'atténuation des défauts connus, comme le montre l'exemple ci-dessous.

Capture d'écran de la sélection d'atténuation dans le test Parasoft C/C++. — Les défauts connus sont gérés directement dans Parasoft C/C++test.

Automatisation de la documentation de qualification des outils

Le résultat final de la qualification des outils est une documentation abondante. Chaque test exécuté avec les résultats, chaque défaut connu avec les mesures d'atténuation, les résultats des tests manuels et les exceptions sont tous enregistrés et signalés. Les kits de qualification d'autres fournisseurs peuvent se résumer à de la documentation et, sans automatisation, la documentation de la conformité est fastidieuse.

Au lieu de cela, en utilisant les kits de qualification pour le test C/C++, les documents critiques sont générés automatiquement dans le cadre du flux de travail.

Rapport de classification des outils

Déterminez la qualification nécessaire et présentez la classification du niveau de sécurité maximal pour le test C/C++ en fonction des cas d'utilisation sélectionnés par l'utilisateur.

Plan de qualification des outils

Décrivez comment le test C/C++ va être qualifié pour être utilisé dans un projet de développement lié à la sécurité.

Rapport de qualification d'outil

Démontrer que le test C/C++ a été qualifié selon le plan de qualification de l'outil.

Manuel de sécurité des outils

Décrivez comment les tests C/C++ doivent être utilisés en toute sécurité, par exemple conformément aux normes de sécurité, telles que ISO 26262 et IEC 61508, dans les projets critiques pour la sécurité.

Dans chacun de ces documents, seule la documentation nécessaire aux fonctionnalités de l'outil utilisé est générée, car le champ de qualification a été réduit au début du projet. L'automatisation et la réduction du champ de qualification réduisent considérablement la charge de documentation.