Parasoft rationalise la conformité et la création de rapports AUTOSAR, permettant aux organisations d'atteindre efficacement les niveaux de sûreté et de sécurité requis dans les systèmes embarqués

Les nouvelles fonctionnalités axées sur la conformité du test Parasoft C / C ++ présentées à Embedded World 2019

Nuremberg, Allemagne et Monrovia, Californie - Parasoft, le leader mondial des tests logiciels automatisés, a annoncé aujourd'hui la dernière version du test Parasoft C / C ++, sa solution de test de développement unifiée C et C ++ pour les applications embarquées. La version 10.4.2 du test Parasoft C / C ++ poursuit l'objectif récent du produit de réduire le fardeau manuel de la conformité aux normes de codage et de fournir la solution la plus complète pour tester le code C et C ++ moderne. Avec cette version, le test Parasoft C / C ++ présente la solution de test la plus complète du secteur pour se conformer à AUTOSAR C ++ et relever les défis du développement de logiciels critiques pour la sécurité en C ++.

Pour demander un essai gratuit de la suite d'outils de test de logiciels automatisés de Parasoft pour C et C ++, veuillez visiter: https://www.parasoft.com/products/parasoft-c-ctest/

Les consortiums AUTOSAR et MISRA ont récemment annoncé la fusion de leurs normes pour C ++ en une seule norme industrielle, faisant d'AUTOSAR C ++ l'ensemble le plus important de directives de codage pour le développement critique en matière de sécurité avec C ++. Le test Parasoft C / C ++ propose désormais un ensemble de règles packagées de vérificateurs de normes de codage automobile et de sécurité, ainsi que des rapports de conformité dédiés, aidant les entreprises automobiles à atteindre les niveaux de sûreté et de sécurité requis dans leurs systèmes. Le test Parasoft C / C ++ était déjà équipé d'une prise en charge complète des normes de sécurité telles que CERT C, CERT C ++, UL 2900 et MISRA, et ceci est maintenant augmenté avec le meilleur support de sa catégorie pour la dernière édition de l'AUTOSAR C ++ 14 directives de codage.

L'offre unique de Parasoft pour la norme AUTOSAR C ++ comprend un ensemble de vérificateurs d'analyse statique regroupés dans une configuration de test prête à l'emploi et un module de rapport de conformité dédié, qui facilite le processus de conformité et génère automatiquement la documentation requise par les responsables de la sécurité et les auditeurs indépendants, réduire considérablement la surcharge manuelle des activités de conformité.

"The most innovative software development teams across embedded industries are using more of the modern C++ language in their safety-critical designs, and the recent major update for the AUTOSAR C++ coding standard, along with its merger with MISRA, are focused on these safety-critical development teams," said Miroslaw Zielinski, Parasoft C/C++test Product Manager. "With our latest release, Parasoft is strengthening its leadership in the market of coding standards compliance, augmenting its comprehensive solution for security with the most complete solution for safety-critical C++ development."

En plus des mises à jour spécifiques pour la norme de codage AUTOSAR C ++, la nouvelle version du test Parasoft C / C ++ a augmenté plusieurs flux de travail de développement pour la conformité, avec de nouvelles fonctionnalités, notamment:

• Prise en charge améliorée des métriques de couverture de code au niveau de l'application:
  Cette version inclut une intégration simplifiée avec les systèmes de construction et des améliorations du module de couverture de test Parasoft C / C ++, pour mieux prendre en charge l'analyse de couverture avancée requise par les normes de sécurité, telles que la couverture des succursales, la couverture des appels et la couverture MC / DC.
• Performances améliorées pour les systèmes de construction avancés:
  Le moteur d'analyse statique responsable de la surveillance de la conformité aux règles basées sur des modèles est désormais optimisé pour réduire le temps d'analyse, en réponse à la taille croissante des bases de code et à l'utilisation croissante de systèmes de construction avancés tels que Bazel, qui utilisent fortement la mise en cache à l'échelle de l'équipe et une approche incrémentale de la création de code source.

Pour plus d'informations sur l'analyse statique Parasoft, rendez-vous sur https://www.parasoft.com/solutions/static-code-analysis

« 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.