Webinaire en vedette : MISRA C++ 2023 : tout ce que vous devez savoir | Voir le séminaire

Personne tapant sur ordinateur

Conformité à la sécurité fonctionnelle C / C ++

Sécurité fonctionnelle et conformité

Propulsé par Parasoft C / C ++ test, la solution de test de développement la plus complète pour C et C ++

Test logiciel pour la sécurité fonctionnelle dans les applications C / C ++

La solution de sécurité fonctionnelle de Parasoft permet aux organisations de répondre aux exigences de test et de qualité logicielle découlant des documents de normes tels que ISO 26262 , ISO 21434 , EN 50128IEC 61508et DO-178B / C. Parasoft permet aux équipes d'automatiser les pratiques de test et le processus de qualification des logiciels requis par ces normes, et réduit considérablement l'effort manuel intensif qui est autrement nécessaire.

Comment ça marche?

Les normes de sécurité fonctionnelle imposent de nombreuses pratiques de test pour le processus de vérification et de validation des logiciels. La mise en œuvre du processus V&V conformément aux fonctions de sécurité peut poser un défi de taille en raison du nombre de technologies de test différentes qui doivent être orchestrées, donc le test Parasoft C / C ++ simplifie cette exigence en fournissant tout ce dont vous avez besoin pour tester votre C et C ++ code dans une solution intégrée certifiée TÜV SÜD.

La solution de Parasoft pour les logiciels critiques pour la sécurité offre une combinaison unique de fonctionnalités qui aident les utilisateurs à répondre à toutes les principales exigences de test imposées par les fonctions de sécurité avec un minimum d'effort. Au lieu de dépenser des ressources pour mettre en œuvre, intégrer et maintenir des solutions indépendantes, les utilisateurs de Parasoft peuvent passer plus de temps à livrer des projets sûrs et de haute qualité.

Par exemple, le test Parasoft C / C ++ permet aux développeurs d'effectuer une analyse de code statique pour diverses normes de codage (telles que MISRA, CERT, AUTOSAR, CWE, JSF, etc.), des tests unitaires et des tests au niveau des systèmes avec injection de défauts et surveillance de la couverture de code (instruction, succursale, MC / DC, appel, etc.), sans quitter leur IDE. Les résultats des tests peuvent être consultés immédiatement dans l'environnement de développement de l'utilisateur ou sur un tableau de bord de reporting centralisé, où des analyses avancées sont effectuées sur les données de test agrégées.

Le test Parasoft C / C ++ comprend des intégrations dédiées avec les principaux environnements de développement matériel et logiciel embarqués, tels que Arm Development Studio, TI Code Composer, Wind River Workbench, Green Hills Software Multi et bien d'autres. Ces intégrations prennent en charge l'exécution de tests sur du matériel cible ou des simulateurs pour augmenter la fiabilité et la fidélité des résultats des tests, ce qui est nécessaire pour la conformité aux niveaux et aux normes d'intégrité de sécurité fonctionnelle.

Parasoft réduit considérablement le risque et l'effort requis pour la qualification des outils. En plus de pouvoir appliquer la certification TÜV (le cas échéant), les utilisateurs bénéficient d'une automatisation supplémentaire dans l'exécution des qualification d'outils processus, à l'aide des kits de qualification dédiés de Parasoft, qui guident les utilisateurs à travers toutes les étapes importantes de la procédure et automatisent la plupart des travaux manuels fastidieux généralement requis.

Fonctionalités

Avantages de l'approche Parasoft

Réduisez les risques grâce à plusieurs technologies de test intégrées dans un seul outil

L'exhaustivité du test Parasoft C / C ++ se traduit par une efficacité accrue des développeurs lors du développement d'applications avec des exigences de sécurité fonctionnelle. Les développeurs peuvent se concentrer sur leurs activités principales sans avoir à apprendre, intégrer et qualifier plusieurs outils. Les intégrateurs d'outils ou les architectes n'ont pas à passer du temps à implémenter des interfaces entre les outils pour échanger des données et générer des rapports uniformes. Au lieu de cela, ils obtiennent tout cela de Parasoft hors de la boîte.

Réduisez les efforts de test avec une suite de tests éprouvée conçue spécifiquement pour les applications critiques pour la sécurité fonctionnelle

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 forme de code source et peuvent être versionnés et inspectés. Cette approche est supérieure 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. Le test C / C ++ 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 les systèmes de production.

Élimine les frais généraux pour la conformité de la sécurité fonctionnelle

Parasoft fournit une intégration de données à l'échelle de l'équipe, des rapports pratiques personnalisés selon différentes normes de codage et des analyses avancées grâce au moteur primé d'intelligence de processus de Parasoft. Les utilisateurs bénéficient de la possibilité d'agréger des informations sur plusieurs sources différentes (telles que le code source ou les systèmes de gestion des exigences, les outils de test ou les ALM) pour des analyses de données uniques, aidant à concentrer les efforts de la manière la plus productive. Les équipes peuvent augmenter la productivité en surveillant les tendances du processus de développement et générer facilement des rapports conformes aux normes de l'industrie telles que «MISRA Compliance: 2016».