Obtenez une prise en charge complète de MISRA C 2023 dans la nouvelle version de test Parasoft C/C++. Rejoignez notre webinaire le 8 juin.
La CEI 61508 est considérée comme une norme internationale de base ou «parapluie» pour la sécurité fonctionnelle. La CEI 61508 peut être appliquée à tout type de produit électrique / électronique de sécurité. Les secteurs industriels sont censés fournir leurs propres normes, documents et directives spécifiques selon les besoins (par exemple ISO 26262 dans l'automobile). La CEI 61508 englobe tout le cycle de vie de sécurité des systèmes critiques pour la sécurité. Il contient 4 parties normatives (1-4) plus 3 parties informatives ou «directives» (5-7). La certification CEI 61508 est facultative - la norme ne l'exige pas spécifiquement.
La norme technique CEI 61508 introduit le concept de niveau d'intégrité de sécurité (SIL). SIL peut prendre l'un des quatre niveaux (SIL1-SIL4) correspondant à la plage de probabilité cible d'une fonction de sécurité donnée de défaillances dangereuses. Chaque fonction de sécurité d'un système lié à la sécurité doit avoir un niveau d'intégrité de sécurité approprié attribué. Un système E / E / PE relatif à la sécurité implémentera généralement plus d'une fonction de sécurité. Si les exigences d'intégrité de sécurité pour ces fonctions de sécurité diffèrent, à moins qu'il y ait une indépendance suffisante de mise en œuvre entre elles, les exigences applicables au niveau d'intégrité de sécurité pertinent le plus élevé s'appliquent à l'ensemble du système E / E / PE relatif à la sécurité.
Les utilisateurs de Parasoft peuvent tirer parti Parasoft C / C ++test pour réduire le coût de la conformité à la norme CEI 61508 en automatisant les multiples méthodes de test requises par la norme pour économiser du temps et des efforts. Le test Parasoft C / C ++ aide les équipes de développement de logiciels d'automatisation industrielle à satisfaire les exigences du processus de développement et de vérification de logiciels définies par la norme CEI 61508. Lorsque les résultats du large éventail de types de test et d'analyse de code automatisés Parasoft C / C ++test sont traitées, des analyses intelligentes sont signalées, ce qui réduit considérablement le travail requis pour la vérification des logiciels.
Le test Parasoft C / C ++ est une solution de test de développement intégrée pour automatiser un large éventail de bonnes pratiques éprouvées pour améliorer la productivité de l'équipe de développement logiciel et la qualité des logiciels, notamment:
Ces technologies offrent aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs afin de s'assurer que leur code C et C ++ fonctionne comme prévu et est conforme aux exigences. Pour favoriser une résolution rapide, chaque problème détecté est priorisé en fonction d'attributions de gravité configurables, automatiquement attribués au développeur qui a écrit le code associé, et distribué à son IDE avec des liens directs vers le code problématique et une description de la façon de le résoudre. Pour le développement intégré et multiplateforme, le test C / C ++ peut être utilisé dans l'analyse de code et les flux de test basés sur l'hôte et sur la cible.
Contrairement aux outils fragmentés fournis par d'autres produits de test de logiciels, Parasoft C / C ++test satisfait à plusieurs exigences de test logiciel imposées par les règles CEI 61508. L'exhaustivité de la solution Parasoft se traduit par un effort d'apprentissage et de configuration moindre. Les développeurs n'ont pas besoin d'apprendre plusieurs outils et peuvent se concentrer sur leurs activités principales. Les intégrateurs d'outils ou les architectes peuvent gagner du temps qui serait autrement consacré à la mise en œuvre d'interfaces entre les outils pour échanger les données et générer des rapports uniformes.
Parasoft C / C ++test a été conçu avec un critique pour la sécurité application à l'esprit. Lors de l'exécution de tests unitaires ou de la surveillance de la mémoire d'exécution, tous les composants requis pour créer le binaire de test (y compris les cas de test pour la stimulation du code testé et les stubs) sont exprimés sous la forme du code source et peuvent être versionnés et inspectés.
Cette approche est supérieure par rapport aux autres outils, dans lesquels la stimulation du code testé est envoyée au moment de l'exécution depuis l'hôte et nécessite des conversions supplémentaires avant d'être affectée aux variables en mémoire. En exprimant à la place tous les artefacts de test sous la forme du code source, Parasoft C / C ++test supprime cette couche inutile et garantit que l'état de la mémoire avant l'exécution des tests est construit de la même manière que dans le système de production.
Contrairement à d'autres outils avec des modules de reporting fermés, Parasoft C / C ++test est intégré à la plate-forme sophistiquée de reporting et d'analyse de Parasoft, pour toute l'équipe agrégation de données, rapports pratiques et analyses avancées. Le hub de reporting et d'analyse fournit une vue agrégée des informations pertinentes provenant de différentes sources telles que le code source ou les systèmes de gestion des exigences, les outils de test ou les ALM.
La corrélation de ces informations fournit aux utilisateurs de nouvelles capacités d'analyse de données, pour concentrer plus efficacement les efforts de la manière la plus productive. Les utilisateurs peuvent augmenter la productivité en surveillant les tendances du processus de développement et générer automatiquement des rapports conformes aux normes de l'industrie telles que «MISRA Compliance: 2016» (largement utilisé dans divers secteurs).
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é CEI 61508. Notre certification TÜV couvre la qualification des tests C / C ++ pour tous les niveaux d'intégrité de sécurité (SIL). À l'appui d'autres normes de l'industrie, Parasoft a une certification CEI 61508 kit qui automatise une partie importante du processus de qualification des outils, réduisant la quantité de travail manuel et éliminant cette distraction des équipes de technologie logicielle.
Les normes fonctionnelles IEC 61508 réduisent les risques logiciels. Lisez ce document pour découvrir comment Parasoft peut aider les équipes de développement logiciel à répondre aux exigences de niveaux SIL particuliers. Il vous aide à comprendre le SIL tel que défini par la norme IEC 61508 et montre comment Parasoft peut être utilisé pour satisfaire les exigences du processus de développement logiciel pour des niveaux SIL particuliers.
Télécharger