Embedded World 2024:
Verifysoft avec les meilleurs outils de test de logiciels de sa catégorie

Voir ici la vidéo de Verifysoft à Embedded World 2024


Verifysoft et son partenaire Codee ont présenté des outils de premier ordre pour améliorer la qualité, la productivité, la sûreté et la sécurité des logiciels embarqués.
Lors de la 19e participation à Embedded World, 14 spécialistes étaient présents à Nuremberg pour présenter des technologies de test de premier ordre.

En savoir plus sur les dernières versions présentées au salon :

Couverture de code: Testwell CTC++

Version 10.1 de l'analyseur de couverture de code Testwell CTC++ offre désormais la possibilité d'utiliser des justifications. Ceci peut être utilisé pour expliquer une couverture manquante. Les justifications ont un effet sur les résultats de la couverture de code. L'influence des justifications est documentée dans le rapport - les testeurs reçoivent les deux valeurs de couverture : avec et sans justifications.
Cet outil certifié par le TÜV fonctionne avec tous les compilateurs et toutes les cibles embarquées et est utilisé avec succès dans le monde entier pour le développement de logiciels critiques en matière de sécurité.

Optimisation de la performance du code: Codee

Codee est un nouvel outil d'analyse statique qui détecte très tôt les problèmes de performance dans le code source C, C++ et le Fortran (mathematical FORmula TRANslating system), dans le processus de développement. Dans de nombreux cas, Codee peut même corriger les problèmes de performance automatiquement.
Codee est une solution de pointe qui permet d'optimiser les performances tout en réduisant la consommation d'énergie et l'utilisation de la mémoire.
L'outil est utilisé pour améliorer les applications critiques, telles que les systèmes de freinage, afin qu'elles exécutent correctement leurs tâches dans les délais impartis.

Compréhension du code: Imagix 4D

Imagix 4D offre une aide précieuse à tous ceux qui ont besoin de trouver leur chemin dans un code ancien et peu familier. L'outil permet d'explorer et de comprendre le code source. Imagix 4D simplifie l'exécution des révisions et fournit une visualisation significative du logiciel.

Analyse statique du code: CodeSonar

La nouvelle version 8.1 de l'outil d'analyse statique CodeSonar se concentre sur l'amélioration de la couverture des normes de codage. CodeSonar prend désormais en charge six langages de programmation supplémentaires. Outre les langages C, C++, Java et C#, les logiciels écrits en Kotlin, Python, Go, Rust, JavaScript et TypeScript sont désormais également analysés.
CodeSonar couvre désormais 95 % des règles MISRA C 2023. La couverture de MISRA C++ 2023 est nouvelle. Ici, une couverture de 65% a déjà été atteinte. La couverture complète sera disponible dans la prochaine version.

Cyber-sécurité : CodeSentry

CodeSentry analyse les composants des logiciels libres et des logiciels tiers et crée une nomenclature logicielle.
L'outil fournit également des informations sur les vulnérabilités en matière de sécurité et réduit ainsi le risque de dommages causés par des cyber-attaques.