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
ISO 26262

Conformité ISO 26262 avec Parasoft

Qu’est-ce que la norme ISO 26262 ?

L'ISO 26262 «Véhicules routiers - Sécurité fonctionnelle» est une norme de sécurité fonctionnelle qui couvre les systèmes automobiles électriques et électroniques et leur processus de développement, y compris la spécification des exigences, la conception, la mise en œuvre, l'intégration, la vérification, la validation et la configuration. La norme fournit des conseils sur les activités du cycle de vie de la sécurité automobile en spécifiant les exigences au niveau logiciel et matériel.

Application de la conformité ISO 26262 avec l'analyse du code source et les tests unitaires

Les utilisateurs de Parasoft peuvent tirer parti Parasoft C / C ++test  réduire le coût de la conformité à la norme ISO 26262 en automatisant les multiples méthodes de test requises par la norme. La partie 6 de la norme traite spécifiquement du développement de produits au niveau logiciel, et les utilisateurs de Parasoft peuvent gagner du temps et des efforts en respectant cette partie de la norme.

Exigences de conformité ISO 26262

Comprendre comment respecter votre niveau de risque ASIL

Pour le développement du système au niveau logiciel, les utilisateurs doivent déployer un ensemble de techniques de test logiciel. Les méthodes de test spécifiques requises dépendent de la classification de niveau ASIL du système. Par exemple, les utilisateurs développant des systèmes classés ASIL A n'auront qu'à démontrer la couverture des déclarations pour prouver un niveau suffisant de tests logiciels, tandis que les utilisateurs développant des systèmes ASIL D devront investir davantage de travail pour assurer un niveau approprié de couverture MC / DC.

Mettre en œuvre l'analyse statique et les tests unitaires

Pour se conformer à la norme ISO 26262, les organisations doivent mettre en œuvre plusieurs processus et exigences, et des techniques telles que l'analyse statique et les tests unitaires, qui automatisent les activités de développement de logiciels, peuvent considérablement aider les organisations à répondre aux exigences ISO 26262. La qualification d'outil logiciel prouve que l'outil est adapté pour développer un article ou un élément lié à la sécurité.

Assurez-vous que votre outil est qualifié pour l'utilisation

Le test Parasoft C / C ++ est certifié par TÜV SÜD comme pouvant être utilisé lors du développement de systèmes critiques pour la sécurité. Notre certification TÜV couvre la qualification aux tests C / C ++ pour tous les niveaux d'ASIL. En soutien aux autres normes de l'industrie, Parasoft dispose d'un kit de qualification qui automatise une partie importante du processus de qualification des outils, réduisant la quantité de travail manuel et éliminant cette distraction des équipes logicielles.

Comment Parasoft contribue à atteindre la conformité ISO 26262

Les utilisateurs de Parasoft peuvent tirer parti Parasoft C / C ++test  pour réduire le coût d'obtention de la conformité ISO 26262 en automatisant les multiples méthodes de test requises par la norme pour gagner du temps et des efforts. Les rapports et tableaux de bord générés automatiquement fournissent aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs du logiciel et de préparer la documentation requise pour les audits.

Parasoft aide les organisations à effectuer des analyses statiques, des tests unitaires, la couverture du code structurel, la traçabilité des exigences et d'autres méthodes de test recommandées par la norme.

Le test Parasoft C / C ++ facilite et automatise les méthodes de test logiciel spécifiées dans l'ISO 26262, dont la partie 6 est consacrée au développement de produits au niveau logiciel. Les exigences pour les activités de développement suivantes sont spécifiées:

  • Initialisation du développement produit
  • Spécification des exigences de sécurité des logiciels
  • Conception architecturale logicielle
  • Conception et mise en œuvre de l'unité
  • Tests unitaires
  • Intégration et test de logiciels
  • Vérification des exigences de sécurité des logiciels

Les tableaux répertoriés dans les sections ci-dessous correspondent aux principales méthodes de test des logiciels de l'ISO 26262 avec le test Parasoft C / C ++. (Les tableaux sont destinés à fournir un échantillon des fonctionnalités de Parasoft et ne sont en aucun cas complets.)

Cette section de l'ISO 26262 (partie 6) définit des informations générales sur le processus de développement et de validation de logiciels. Voir les détails dans le tableau ci-dessous.

5.4.6 Exigences pour garantir l'exactitude de la conception et de la mise en œuvre du logiciel. Les méthodes décrites ici s'appliquent à la fois aux langages de modélisation et de programmation.

Exigence Capacité de test Parasoft C / C ++
Application de faible complexité Signale la complexité cyclomatique, la complexité essentielle, la complexité Halstead et d'autres métriques de code
Utilisation du sous-ensemble de langues Application des normes de codage, p. Ex. Détection des constructions linguistiques dangereuses
Application d'un typage fort Application des normes de codage, détection des conversions implicites
Utilisation de techniques de mise en œuvre défensives Applique une programmation défensive par rapport aux règles de normes de codage appropriées, par exemple, vérification de la valeur de retour de malloc, vérification de la valeur de code d'erreur renvoyée par les fonctions appelées, etc.
Utilisation des principes de conception établis Application des ensembles de règles des normes de codage de l'industrie, par exemple MISRA C / C ++, JSF, métriques de code source HIS, etc.
Utilisation d'une représentation graphique sans ambiguïté Application de conventions de formatage spécifiques
Utilisation de guides de style Application de conventions de codage spécifiques
Utilisation des conventions de dénomination Application de conventions de dénomination spécifiques

Cette section définit le processus de spécification et de mise en œuvre des unités logicielles, ainsi que la vérification de la conception et de la mise en œuvre.

8.4.5 Spécifie les méthodes de vérification pour vérifier la conception et la mise en œuvre des unités logicielles.

Exigence Capacité de test Parasoft C / C ++
Analyse du flux de contrôle Analyse du flux de contrôle
Analyse des flux de données Analyse des flux de données
Analyse de code statique Application des normes de codage

Cette section définit le processus de planification, de définition et d'exécution des tests unitaires logiciels.

9.4.1 Décrit des informations générales sur l'exécution des tests unitaires

Exigence Capacité de test Parasoft C / C ++
Exécution de test unitaire
  • Module d'exécution de test unitaire
  • Module de rapports pour présenter les résultats
Spécification de test unitaire
  • Le module de génération de tests unitaires configurables crée des tests selon la spécification définie
  • Le module Explorateur de cas de test présente une liste de tous les cas de test définis avec un statut de réussite / échec

9.4.2 Décrit les méthodes utilisées pour spécifier et exécuter des tests unitaires

Exigence Capacité de test Parasoft C / C ++
Tests basés sur les exigences
  • Les utilisateurs peuvent concevoir des cas de test unitaires avec le test Parasoft C / C ++ en fonction des besoins
  • Les cas de test unitaires peuvent être attribués avec un ID d'exigence
  • Le cadre de rapport de test Parasoft C / C ++ s'intègre aux systèmes de gestion des exigences et génère des rapports présentant les résultats des tests dans le contexte des exigences spécifiques
Spécification de test unitaire
  • Mappe les cas de test avec les exigences et / ou les défauts en conjonction avec le Concerto
  • Prend en charge les cas de test définis par l'utilisateur créés manuellement et les tests créés avec l'éditeur de cas de test
Tests d'interface
  • Des cas de test unitaires peuvent être créés
  • Utilise des stubs de fonction et des sources de données pour émuler le comportement des composants externes pour l'exécution automatique des tests unitaires
Tests d'injection de défauts
  • Application des conditions de défaut à l'aide des stubs de fonction
  • Génération automatique de tests unitaires en utilisant différents ensembles de conditions préalables (par exemple, min, max, valeurs heuristiques)

9.4.3 Définit les méthodes à utiliser pour créer des cas de test

Exigence Capacité de test Parasoft C / C ++
Couverture du relevé Module de couverture de code
Couverture des succursales Module de couverture de code
MC / DC (condition modifiée / couverture de décision) Module de couverture de code

9.4.5 Définit les exigences de l'environnement de test.

Exigence Capacité de test Parasoft C / C ++
L'environnement d'essai pour les essais unitaires doit correspondre autant que possible à l'environnement cible Exécution de tests unitaires sur le périphérique cible et le simulateur pour effectuer des tests dans différents environnements (par exemple, logiciel dans la boucle, processeur dans la boucle, matériel dans la boucle

10.4.2 Décrit des informations générales sur l'exécution des tests d'intégration de logiciels.

Exigence Capacité de test Parasoft C / C ++
Tests d'intégration Configuration flexible de la portée du logiciel testé (de la fonction unique à l'application entière)

10.4.5 Définit des méthodes pour démontrer l'exhaustivité des tests d'intégration.

Exigence Capacité de test Parasoft C / C ++
Couverture des fonctions Module de couverture de code
Couverture des appels de fonction Module de couverture de code

10.4.7 Définit les exigences de l'environnement de test d'intégration.

Exigence Capacité de test Parasoft C / C ++
L'environnement de test pour les tests d'intégration de logiciels doit correspondre autant que possible à l'environnement cible
  • Les tests d'intégration peuvent être exécutés à la fois sur l'appareil cible et sur le simulateur pour effectuer des tests dans différents environnements (par exemple, logiciel dans la boucle, processeur dans la boucle, matériel dans la boucle)
  • Cadre de stub flexible
PAPIER BLANC

Conformité logicielle ISO 26262

Développer un logiciel conforme à la norme ISO 26262 pour les systèmes E / E dans les automobiles n'est pas une mince affaire, mais Parasoft allège le fardeau en offrant une large gamme d'outils d'analyse et en vous permettant de surveiller automatiquement la conformité avec votre politique de développement - en comblant le fossé entre les activités de développement et processus d'affaires. Pour obtenir la liste complète des mappages, téléchargez cette ressource.

Télécharger