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.