Rejoignez-nous le 12 décembre ! MISRA C++ 2023 : tout ce que vous devez savoir Inscrivez-vous maintenant >>
Les normes de sécurité fonctionnelle telles que la CEI 61508 et ses dérivés exigent des organisations qu'elles prouvent que les logiciels et les exigences de sécurité sont satisfaits et entièrement testés. Depuis plus de 30 ans, Parasoft aide les organisations à suivre ces normes grâce aux meilleures pratiques requises telles que les tests unitaires, la couverture des tests, les mesures logicielles, la traçabilité et l'analyse de code statique avec prise en charge intégrée de MISRA, CERT et d'autres normes de codage de l'industrie de l'automatisation.
Les systèmes d'automatisation industrielle (et les logiciels qui les alimentent) sont devenus de plus en plus connectés, n'utilisant plus de réseaux privés, mais s'appuyant de plus en plus sur l'Internet public pour connecter des capteurs au contrôle des infrastructures critiques et aux systèmes d'entreprise back-end. Internet, tout en améliorant la flexibilité des systèmes, a créé une explosion de nouvelles menaces et complexités. Avec des failles de sécurité dans le logiciel de contrôle, il y a un risque que les portes soient ouvertes à une attaque terroriste en utilisant une situation imprévue dans le processus. Le test Parasoft C / C ++ fournit la solution de test de logiciel de sécurité la plus complète du marché pour la sécurité, afin que les entreprises puissent développer et publier des logiciels avec moins de risques.
Les solutions industrielles Internet des objets (IIoT) multicouches nécessitent des technologies et des outils différents pour implémenter et tester le logiciel pour chaque couche. Les capteurs et actionneurs de bas niveau sont très probablement développés avec C et C ++, tandis que les couches supérieures sont implémentées avec Java ou C #. La connectivité ajoute de la complexité avec plusieurs composants utilisant différents protocoles pour propager les messages jusqu'à l'utilisateur final. Parasoft fournit des outils de test pour traiter chaque couche de complexité, intégrés de manière transparente avec des rapports et des analyses sophistiqués pour aider les organisations à gérer cette complexité croissante.
Pour les niveaux requis de sécurité fonctionnelle et de sécurité, de nombreuses organisations choisissent de développer leurs systèmes d'automatisation industrielle conformément à la norme CEI 61508, ce qui nécessite des processus de développement et de test de logiciels disciplinés et rigoureux. Les outils de test de logiciels automatisés de Parasoft réduisent le coût de la conformité à la norme CEI 61508 en fournissant les outils automatisés nécessaires pour atteindre efficacement la conformité, ainsi qu'un système de rapport centralisé qui rend les efforts de documentation moins manuels.
La suite d'outils intégrée de Parasoft fournit 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, vous pouvez utiliser le test C / C ++ dans l'analyse de code et les flux de test basés sur l'hôte et sur la cible.
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 tests et d'analyses de code automatisés via des tests C / C ++ sont traités, 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++ aide les organisations à atteindre la conformité du code avec les normes de codage pour améliorer la qualité du code, avec le plus grand nombre de vérificateurs intégrés (règles) sur le marché pour vérifier la conformité aux normes telles que MISRA C 2023, MISRA C 2012, MISRA C++ 2023, AUTOSAR C++14, HIC++, etc.
Pour obtenir les meilleures pratiques de codage sécurisé et la conformité du code de sécurité, le test Parasoft C / C ++ fournit la prise en charge la plus complète des vérificateurs intégrés qui vérifient la conformité aux normes de sécurité telles que CERT C, CERT C ++, UL 2900, CWE, etc.
« MISRA », « MISRA C » et le logo triangulaire sont des marques déposées de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Tous droits réservés.
Parasoft minimise le coût du processus de conformité aux normes de codage en fournissant des rapports dédiés. Les rapports de conformité donnent à l'utilisateur une vue dynamique du processus de conformité, aidant à hiérarchiser les résultats des violations d'analyse statique en fonction des regroupements et des catégorisations de la norme de codage d'origine.
Une documentation de conformité est nécessaire pour prouver la conformité. Le générer automatiquement permet aux équipes de gagner un temps précieux lorsque les rapports et la documentation générés sont conformes à la norme MISRA 2020, très populaire dans les secteurs de l'automatisation.
Le test Parasoft C / C ++ détecte les problèmes complexes de type runtime au début de la phase de développement en analysant les chemins d'exécution à travers le code et en trouvant les bogues potentiels. En plus de plus de 2500 règles et vérificateurs, Parasoft permet aux équipes de vérifier facilement les directives de codage spécifiques à l'organisation avec un éditeur spécial pour créer des vérificateurs personnalisés pour étendre (ou remplacer) les règles intégrées fournies avec l'outil. Avec le test Parasoft C / C ++, les utilisateurs n'ont pas à écrire de scripts, et les directives de codage spécifiques à l'organisation peuvent être entièrement automatisées pour remplacer le processus manuel de vérification de la conformité.
Les vues pratiques et les éditeurs graphiques du test Parasoft C / C ++ réduisent l'effort manuel de création et de maintenance de cas de test unitaires avec un cadre de test unitaire conçu en tenant compte des tests logiciels critiques pour la sécurité. Les stubs et les cas de test avec des valeurs pour la stimulation du logiciel testé peuvent être créés sous forme de code source ou avec des éditeurs graphiques avec des capacités de génération de code source. Les utilisateurs peuvent stocker et examiner les artefacts de test créés avec les fichiers du projet. L'initialisation des variables et des paramètres d'entrée pour la stimulation logicielle testée se fait exactement de la même manière que pendant le fonctionnement du logiciel de production, ce qui rend la méthode fiable et robuste.
Les tests unitaires sont beaucoup plus faciles et productifs s'ils sont utilisés avec un cadre de stubbing / mocking. Le puissant module de test Parasoft C / C ++ pour créer des stubs et des simulations aide dans les tests d'injection de fautes, réduit les dépendances du code testé et permet aux utilisateurs de supprimer facilement le code source non encore implémenté.
Le test Parasoft C / C ++ prend en charge toutes les mesures de couverture généralement requises lors du développement de logiciels critiques pour la sécurité (instruction, branche, MC / DC, fonction, appel, chemin, condition simple, ligne et bloc), affichant les résultats de la couverture de code de tous niveaux de test, y compris les tests au niveau de l'unité, de l'intégration et du système.
Le test C / C ++ réduit le temps nécessaire pour analyser les résultats de la couverture et trouver les lacunes dans le processus de test. Les développeurs peuvent examiner les résultats de la couverture de code dans l'EDI avec des vues dynamiques et filtrer les résultats en fonction de la métrique, de la fonction / méthode ou du cas de test spécifique.
Parasoft s'intègre aux systèmes de gestion des exigences pour fournir des rapports de traçabilité qui affichent la corrélation entre les exigences et les éléments suivants:
Les rapports de traçabilité fournissent des informations claires et complètes sur l'avancement du développement. Les équipes peuvent facilement déterminer combien d'exigences ont déjà été implémentées et dans quelle mesure elles sont testées.
Le test Parasoft C / C ++ peut être intégré à des outils de développement basés sur des modèles tels que Matlab / Simulink ou IBM Rational Rhapsody, en vérifiant la conformité du code source généré à partir des modèles aux normes de codage et en effectuant une validation dynamique à l'aide des ensembles de données des moteurs de simulation , puis en présentant les résultats de la couverture de code.
Le test Parasoft C / C ++ est certifié par TÜV SÜD comme pouvant être utilisé lors du développement de logiciels critiques pour la sécurité avec la norme CEI 61508. Pour les projets présentant un niveau de risque plus élevé, le kit de qualification du test Parasoft C / C ++ automatise une partie importante du processus de qualification des outils, réduisant la quantité de travail manuel et éliminant cette distraction des équipes logicielles.
Un outil d'assistance à la qualification dédié guide les utilisateurs à travers toutes les étapes requises pour qualifier l'outil, automatisant la majorité du travail manuel fastidieux requis pour qualifier l'outil, y compris l'exécution des cas de test de la suite de tests exhaustive fournie avec le kit de qualification, et génération des rapports finaux nécessaires pour documenter le processus de qualification.
Réduisez le coût de développement de logiciels de haute qualité sans sacrifier le temps de mise sur le marché.
Le test Parasoft C / C ++ satisfait plusieurs exigences de test logiciel énumérées dans la norme CEI 61508. L'exhaustivité de la solution 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 gagnent du temps sinon passé à implémenter des interfaces entre les outils pour échanger des données et générer des rapports uniformes.
Le test Parasoft C / C ++ est conçu pour les applications critiques pour la sécurité. 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 le code testé, la stimulation et les stubs sont exprimés sous la forme du code source et peuvent être versionnés et inspectés. En exprimant tous les artefacts de test sous la forme du code source, le test C / C ++ 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.
Le test Parasoft C / C ++ est pris en charge avec un kit de qualification CEI 61508 dédié qui est conforme aux exigences standard pour le processus de qualification des outils. Au lieu de simplement fournir une assistance à la qualification sous la forme d'une collection de cas de test et de modèles pour les scripts et les rapports qui nécessitent beaucoup de personnalisation, l'outil de support de qualification automatisé de Parasoft guide les utilisateurs à travers toutes les étapes nécessaires pour qualifier l'outil et automatise la majorité. du travail manuel fastidieux requis pour qualifier l'outil. Cela comprend l'exécution des cas de test à partir de la suite de tests exhaustive fournie, ainsi que la génération des rapports finaux nécessaires pour documenter le processus de qualification.
