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

Actualité

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

02.26.2019

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

«Les équipes de développement logiciel les plus innovantes dans les industries embarquées utilisent davantage le langage C ++ moderne dans leurs conceptions critiques pour la sécurité, et la récente mise à jour majeure de la norme de codage AUTOSAR C ++, ainsi que sa fusion avec MISRA, se concentrent sur ces aspects de sécurité. les équipes de développement critiques », a déclaré Miroslaw Zielinski, chef de produit de test Parasoft C / C ++. «Avec notre dernière version, Parasoft renforce son leadership sur le marché de la conformité aux normes de codage, en complétant sa solution complète de sécurité avec la solution la plus complète pour le développement C ++ critique pour la sécurité.»

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.