Découvrez comment intégrer facilement l'analyse statique, les tests unitaires et d'autres méthodes de test de logiciels C et C++ dans votre pipeline CI/CD. Inscrivez-vous pour la démo >>

Nous avons publié le test Parasoft C / C ++ 10.4.2!

Par Miroslaw Zielinski

16 April 2019

4  min lire

La nouvelle version du test Parasoft C / C ++ comprend des améliorations de l'analyse statique, la prise en charge d'AUTOSAR C ++ 14 version 18.10 et un module de couverture de code amélioré. Qu'est-ce-que tout cela veut dire? Lisez plus ci-dessous.

Le 29 janvier, les consortiums MISRA et AUTOSAR ont annoncé la fusion des deux normes de codage les plus populaires pour le développement C ++ critique pour la sécurité, clarifiant deux choses essentielles:

  • AUTOSAR C ++ 14 sera mis à jour pour refléter les changements dans le langage C ++, introduits dans C ++ 17
  • Il n'y aura pas deux normes de codage compétitives sur le marché pour un développement orienté sécurité en C ++

Il s'agit d'une excellente nouvelle pour le nombre croissant d'entreprises développant des systèmes critiques pour la sécurité en C ++, qui peuvent désormais investir en toute confiance dans leurs processus de conformité pour AUTOSAR C ++ 14 car l'avenir de la norme est bien défini.  

Dans l'attente de cette fusion, Parasoft a fortement investi dans l'amélioration de la prise en charge des directives de codage AUTOSAR C ++ 14. La dernière version de Parasoft C / C ++test  apporte un pack de conformité automobile mis à jour et des améliorations des performances d'analyse statique. Les équipes travaillant avec de grandes bases de code peuvent désormais améliorer leur productivité grâce à des cycles de rétroaction plus courts et à la possibilité d'examiner les résultats fraîchement après la modification du code source.

Du côté des tests d'exécution, nous travaillions pour aider nos clients à collecter des métriques de couverture de code à partir des tests au niveau des applications / systèmes. Un module de couverture de code amélioré simplifie le processus de configuration, permet aux utilisateurs de collecter tous les types de mesures de couverture à partir des tests système / d'intégration / unitaire et prend en charge leur fusion pour générer des rapports unifiés.

Lisez plus ci-dessous!

Le pack de conformité automobile prend désormais en charge AUTOSAR C ++ 14 Version 18.10

Le pack de conformité automobile du test Parasoft C / C ++ prend désormais en charge la dernière version de la norme de codage AUTOSAR C ++ 14. La dernière version, 18.10, a été publiée en octobre 2018 et apporte des améliorations significatives par rapport aux éditions précédentes des directives de codage. Il y a nouvelles directives ajoutées au standard, et un  quelques les directives ont de nouveaux identifiants. Les équipes planification de la migration vers la dernière édition des directives de codage devrait mettre de côté un budget de temps pour analyser les améliorations de la norme afin d'éviter surprises lors de l'examen des rapports de conformité.   

La nouvelle version de test C / C ++ offre la meilleure couverture pour la norme de codage AUTOSAR disponible sur le marché, associée à des rapports de conformité dédiés. Cette solution puissante aide les organisations à créer du code compatible AUTOSAR C ++ 14 à accélérer le processus de mise en conformité. Le cadre de reporting aide à gérer le processus de conformité et génère automatiquement la documentation de conformité conforme à la norme «MISRA 2016», réduisant considérablement la surcharge manuelle sur les activités de conformité. 

Amélioration des performances de l'analyse statique

Avec la version 10.4.2 du test C / C ++, 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 dans les builds incrémentiels et raccourcir les cycles de rétroaction entre la modification du code et l'examen des résultats de l'analyse statique.

L'amélioration répond à 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émentielle pour créer le code source. On s'attend à ce que des boucles de rétroaction plus courtes améliorent le développeur productivité, car ils peuvent réagir plus tôt aux problèmes signalés alors que le code modifié est encore frais dans leur esprit. Ces optimisations ont été conçues pour le déploiement CI / CD, mais les utilisateurs travaillant dans l'EDI peuvent également en bénéficier et bénéficier d'une analyse raccourcie. 

Améliorations de la collecte de la couverture de code à partir des tests d'application

Pour aider nos utilisateurs à surveiller efficacement la rigueur de leurs tests de niveau système / d'intégration, nous avons amélioré le test Parasoft C / C ++ module de couverture de code pour mieux prendre en charge les systèmes de construction complexes. Les utilisateurs peuvent désormais sélectionner le chemin d'installation simplifié sans créer de projet dédié dans l'EDI pour préparer le binaire instrumenté. Le test C / C ++ fournit désormais un poids léger utilitaire de couverture de code qui peut être facilement intégré dans n'importe quel système de construction et utilisé pour préparer des binaires de test. La génération de couverture générée peut être exercée avec un ensemble de scénarios de test d'un utilisateur, et les journaux de couverture collectés peuvent être fusionnés pour obtenir l'image complète des résultats de la couverture de code. En outre, les utilisateurs peuvent combiner les résultats de la couverture de code des tests au niveau du système, de l'intégration et de l'unité pour obtenir une image complète de leurs efforts de test.  

Les rapports peuvent être générés automatiquement à l'aide de l'interface de ligne de commande ou chargés dans l'EDI pour l'analyse des développeurs et combler les lacunes avec des tests ponctuels unitaires. La solution améliorée utilise des composants de test C / C ++ déjà existantsts pour fournir le moyen le plus efficace d'atteindre 100% de couverture de code pour les métriques populaires du secteur, en commençant par la couverture des relevés, en passant par la couverture des blocs, des appels et des conditions, en se terminant par la métrique de couverture MC / DC.

À la recherche de into l'avenir 

Nos trois dernières versions étaient fortement axées sur l'amélioration de l'analyse statique. Nous avons travaillé pour rendre nos vérificateurs d'analyse statique plus précis, plus rapides et pour fournir à nos utilisateurs la meilleure couverture pour les normes de codage de sûreté et de sécurité importantes du marché. Nous recevons de très bons retours! Les clients apprécient en particulier la large couverture de CERTMISRAet AUTOSAR - un facteur critique lors du choix d'un nouvel outil d'analyse statique sur un marché très concurrentiel.  

Dans un avenir proche, nous allons investir un peu plus de temps dans les capacités de test dynamique de C/C++test, en particulier le cadre de test unitaire. Nous avons une collection d'innovations en file d'attente dans notre carnet de commandes qui ne demandent qu'à être mises en œuvre. Nous ne pouvons pas les faire attendre trop longtemps… attendez-vous à des goodies de tests unitaires intéressants à l'automne de cette année !

Bénéficiez d'une solution de test de développement unifiée C et C ++ pour les projets logiciels embarqués et critiques pour la sécurité

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

Par Miroslaw Zielinski

Chef de produit pour les solutions de test embarquées de Parasoft, les spécialités de Miroslaw comprennent le C / C ++, les RTOS, l'analyse de code statique, les tests unitaires, la gestion de la qualité des logiciels pour les applications critiques pour la sécurité et la conformité des logiciels aux normes de sécurité.

Recevez les dernières nouvelles et ressources sur les tests de logiciels dans votre boîte de réception.