Verifysoft propose dès à présent un Safety-Package pour l´analyseur de couverture de code Testwell CTC++.

En plus du Certificat TÜV, les clients Testwell CTC++ reçoivent avec le Safety-Package des documents complémentaires tels qu´un "Safety Manual" et l´accès à la "Known-Bugs-List". Ainsi grâce à un abonnement, le client est informé activement des mises à jour des documents inclus.

Avec le Safety-Package, Testwell CTC++ peut être utilisé sans autres mesures de qualification pour tous les niveaux de sécurité des normes IEC 61508, ISO 26262, EN 50128 et IEC 62304 dans le développement de logiciels critiques pour la sécurité. En savoir plus.

L'analyseur de couverture de code Testwell CTC++ de Verifysoft dispose déjà dans sa version standard de nombreuses intégrations, configurations et convertisseurs pour une grande variété d'environnements clients. Avec la version 6.12, une mise à jour de l'intégration avec IAR Embedded Workbench est maintenant disponible. En outre, les versions précédentes de Testwell CTC++ et d'IAR sont également prises en charge. indépendamment de la prise en charge complète du nouveau générateur de rapports HTML de Testwell CTC++, la mise à jour comprend également de nombreuses améliorations liées aux dernières versions d'IAR.

Imagix 4D version 10.5.1 a été publiée. L'accent de cette nouvelle version est axée sur AUTOSAR-C++ 2014. En effet Imagix 10.5.1 fournit une liste de contrôle pour AUTOSAR-C++ 2014 qui spécifie les directives de codage pour l'utilisation du langage C++14 tel que défini par ISO/IEC 14882 :2014, dans les systèmes critiques et liés à la sécurité.

L'utilisation de la fonction de révision d'Imagix guide l'utilisateur dans la vérification des règles et automatise la plupart des calculs.
Les règles exigeant une documentation de la part de l'utilisateur n'ont pas d'étapes automatisées mais demandent de joindre la documentation. Les règles automatisées listent toutes les violations avec précision pour autant que le projet ait été analysé sans erreur et que le code soit complet. Les règles partiellement ou non automatisées peuvent encore énumérer tous les emplacements potentiels et nécessiter un examen humain pour décider des problèmes et des violations. La liste de contrôle Imagix comprend toutes les règles définies par AUTOSAR.
Voir pour la liste complète des règles et leur niveau d'automatisation.

D'autres possibilités ont été apportées :
-   L´exécution de certaines opérations de l'outil de      révision par le biais de commandes en mode
    batch.
-   Le chargement du code source dans l'outil via
    les fichiers journaux de Microsoft Visual
    Studio Build.
Enfin, la version 10.5.1 complète la prise en charge de C++ 2022 et corrige également quelques bogues.
Les clients disposant d'une maintenance valide, peuvent télécharger la nouvelle version sur le site web d'Imagix.