Tests de logiciels de sécurité fonctionnelle C/C++

Rejoignez-nous le 30 avril : dévoilement de Parasoft C/C++test CT pour l'excellence en matière de tests continus et de conformité | En savoir plus

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 50128, IEC 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 important en raison du nombre de technologies de test différentes qui doivent être orchestrées. C'est pourquoi Parasoft C/C++test et C/C++test CT simplifient ces exigences en fournissant tout. vous devez tester votre code C et C++ dans une solution intégrée et 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.

Les solutions Parasoft C/C++ comprennent des intégrations dédiées avec les principaux environnements de développement matériels et logiciels 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 ou des simulateurs cibles pour augmenter la fiabilité et la fidélité des résultats des tests, nécessaires au respect des niveaux et 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.

Démo Faire un tour

Fonctionnalité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é de Parasoft C/C++test et C/C++test CT 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 besoin de passer du temps à mettre en œuvre 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, prêt à l'emploi.

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: 2020».