Testwell CTC++ Version 10.3 est disponible

Verifysoft annonce la sortie de la version 10.3 de Testwell CTC++, l’outil d’analyse de couverture de code.

Cette nouvelle version permet d'ajouter des informations aux rapports de couverture, comme la version testée ou le numéro de build grâce à la fonctionnalité « User Variables », permettant d’ajouter des informations textuelles personnalisées via des paires clé-valeur. Ces données sont visibles directement dans le rapport standard et peuvent être utilisées dans le langage de template pour générer des rapports sur mesure.

La version 10.3 offre également un mécanisme pour simplifier les chemins des fichiers sources lors de l’instrumentation, tout en garantissant l’interopérabilité de Testwell CTC++ entre Windows et Linux. Les chemins utilisés dans l’analyse et les rapports sont ainsi plus courts et plus cohérents.

Pour plus de détails, consultez la Release-Note.

Version 10.5.8 d’Imagix 4D disponible

Imagix vient de publier la version 10.5.8 d’Imagix 4D. Cette mise à jour apporte plusieurs améliorations mineures ainsi que des corrections touchant différentes fonctionnalités, notamment les rapports, les vues d’architecture et l’analyse Delta.

Pour consulter le détail complet des changements, référez-vous aux Release notes.

Verifysoft déménage au centre d’Offenburg!

Après 22 ans dans le parc technologique « In der Spöck », Verifysoft s’installe désormais dans le nouveau centre technologique « flow 1986 », au cœur d’Offenburg (Allemagne). Cette étape marque une nouvelle phase de croissance pour l’entreprise dirigée par Klaus Lambertz. Le déménagement est prévu pour début novembre.

Simplifiez la maintenance de vos logiciels hérités avec Imagix 4D

La vie de développeur logiciel n’est pas toujours de tout repos — surtout lorsqu’il faut maintenir des produits anciens, avec des contraintes de temps et de budget. Les bugs doivent être corrigés rapidement… mais encore faut-il savoir où chercher et comment s’y prendre. Les produits ont évolué pendant des années, la documentation est souvent obsolète, et les anciens collaborateurs qui maîtrisaient les détails techniques ne sont plus là. La pression est constante, les délais serrés, et les attentes élevées.

Imagix 4D Version 10.5.7 disponible

Imagix a publié la version 10.5.7 de Imagix 4D qui inclut un support étendu pour les versions actuelles de Testwell CTC++.
Cette version comporte les modifications suivantes:

• Changement de nom du rapport de couverture en « Couverture des fonctions, décisions et appels »
• Utilisation des résultats de couverture des décisions issus des exports XML des versions 9 et 10 de Testwell CTC++
• Amélioration de la correspondance entre les sondes Testwell CTC++ et les diagrammes de flux de contrôle d’Imagix 4D
• Amélioration de la lisibilité des rapports
• Corrections des calculs de couverture pour certaines instructions (if)
• Vérifications de cohérence des résultats de couverture des appels

Le rapport « Couverture des fonctions, décisions et appels » contient des liens vers les fonctions et les lignes de code source contribuant aux résultats. Un double-clic sur ces liens permet d´afficher les graphiques et le code source associés aux symboles. Un clic droit sur les symboles de fonction permet d’afficher les diagrammes de flux de la fonction, où les données de couverture peuvent être mises en évidence. Des informations plus détaillées sur les modifications spécifiques sont disponibles dans la Release notes.

Plus de 35 ans de Testwell CTC++ : Une étape importante dans l’analyse de la couverture de code

Depuis plus de 35 ans, Testwell CTC++ Code Coverage Analyzer aide les équipes de développement du monde entier à améliorer la qualité de leur logiciel de manière précise et fiable. Ce qui a commencé en 1989 comme un petit projet est devenu un outil performant d’analyse de la couverture de code – continuellement perfectionné pour répondre aux exigences du développement logiciel moderne. Aujourd’hui, Testwell CTC++ est bien établi dans des secteurs critiques pour la sécurité, tels que l’automobile, la technologie médicale et l’aérospatiale. Cela s’explique par sa grande fonctionnalité, ses multiples domaines d’application et une équipe engagée.
En tant qu’entreprise indépendante en pleine croissance, dotée d’une équipe expérimentée, nous continuons à faire évoluer Testwell CTC++ – avec l’objectif d’être un partenaire fiable pour la qualité logicielle de nos clients dans le monde entier. Un grand merci à tous les utilisateurs et partenaires pour leur confiance – hier, aujourd’hui et demain !

Verifysoft Technology s'installe dans le nouveau centre technologique « flow1986 » d'Offenburg

D'ici la fin de l'année 2025, Verifysoft emménagera dans le nouveau centre technologique d'Offenburg appelé "flow1986". Le nouveau bâtiment de plus de 5 000 mètres carrés est en construction depuis mai 2024 et constitue une étape importante pour le paysage économique régional. Verifysoft sera l'un des partenaires de premier plan dans ce nouveau bâtiment, qui remplace le Technologiepark Offenburg (TPO) où notre entreprise a été fondée il y a 22 ans.

flow1986 offre de l'espace à plus de 30 entreprises - des start-ups créatives aux entreprises établies de la deep-tech. Verifysoft a décidé en toute connaissance de cause de s'installer dans le nouveau bâtiment connu auparavant sous le nom de « Black Forest Innovation Campus »; en effet la possibilité d'interagir avec d'autres entreprises a été un facteur décisif dans le choix du nouveau site.

Testwell CTC++ Version 10.2.2 disponible

Verifysoft a publié la version 10.2.2 de Testwell CTC++ Code Coverage Analyzer.

Il s'agit d'une version dédiée à la correction de bogues.

Pour plus de détails voir la Release-Notes.

Imagix 4D Version 10.5.6 disponible

Imagix a publié la version 10.5.6 d´ Imagix 4D.
La nouvelle version ajoute une liste de contrôle pour tester toutes les règles MISRA C++: 2008 (à l'exception du chapitre 14), et introduit également une liste de contrôle pour AUTOSAR C++14. En outre, l'importation du code source via les journaux Microsoft Build a été ajoutée. De plus amples détails sur les changements spécifiques sont fournis dans la Release notes.

Nouveaux " templates " pour les rapports de couverture

Pour les utilisateurs de Testwell CTC++ nous fournissons trois nouveaux templates:

• Un format XML générique axé sur le code source pour générer des informations d'exécution basées sur les lignes. Il est destiné à servir de point de départ pour des adaptations individuelles à différentes plateformes.
• Un template HTML dérivé du rapport standard pour Azure DevOps. Ce modèle tient compte de la sécurité spécifique à ADO et des restrictions CSS.
• Un template pour fournir des informations sur la couverture dans les demandes de fusion sur GitLab. Il est basé sur des fichiers XML et fournit une transformation XSLT.

Ces Templates, ainsi que d'autres, sont fournis aux clients et aux utilisateurs lors d´une évaluation gratuite de l´outil dans notre section de téléchargement . Nous enrichissons continuellement cette collection avec de nouveaux modèles développés dans le cadre de projets communs. Plus d´informations pour une évaluation gratuite de l´outil avec toutes ses fonctionalités.

Programmez : La couverture de code presque un jeu d’enfant?

Le magazine Programmez a publié dans son numéro 269 Mai Juin 2025, l´article « La couverture de code presque un jeu d’enfant ? ». Klaus Lambertz, PDG et fondateur de Verifysoft, y partage l´importance des tests de logiciels pour l’assurance qualité. Des éléments incontournables selon lui seraient de respecter les exigences relatives aux outils de couverture de code, les exigences spécifiques pour le développement de logiciels embarqués …etc.

La version 10.5.5 d'Imagix 4D est disponible

Imagix a publié la version 10.5.5 d´ Imagix 4D. La nouvelle version améliore l'analyse Delta au niveau du diagramme d'architecture et inclut une prise en charge étendue des versions actuelles de Testwell CTC++.

Les améliorations apportées à l'intégration de Testwell CTC++ sont les suivantes :

• Support for all probe types in the updated CTC++ HTML reports
• Improved handling of Revision Branch Coverage and Accumulated Branch Coverage
• Visualization of Accumulated Branch Coverage in Control Flow Graphs

La mise à jour contient également diverses améliorations mineures et des corrections de bugs. Pour plus de détails sur les changements spécifiques, voir la Release-Notes.

Verifysoft à VECS 2025 : Vehicle Electronics & Connected Services

VECS est l'un des événements automobiles les plus importants des pays nordiques. Essentiellement dédiée aux dernières avancées en matière d'électronique embarquée, de véhicules connectés, d'autonomie et de mobilité électrique. Verifysoft y était aux côtés des principaux équipementiers tels que Volvo Group, Scania, BMW, Saab, Group Lotus…. Nos outils ( Testwell, Imagix …) capables d'améliorer les processus industriels et maintenir ainsi leur efficacité, de réduire les coûts, d'améliorer la durabilité et de maximiser la rentabilité, y avaient toutes leurs places.

Embedded World 2025: Verifysoft y présentait ses outils de test de logiciels

Embedded World 2025 a été un succès complet pour Verifysoft!

L'équipe a présenté des outils permettant d'améliorer la qualité, la productivité et la sécurité des logiciels embarqués. Les nombreux visiteurs ont montré un grand intérêt pour les solutions qui aident les entreprises à rendre leurs logiciels plus efficaces et plus sûrs.

Nous tenons à remercier tous les participants pour les discussions intéressantes et le dialogue animé. Verifysoft se réjouit déjà de la prochaine édition du salon!

Verifysoft spendet 1400 Euro an die Rehaklinik Katharinenhöhe

L'équipe du spécialiste en tests logiciels d'Offenburg a accompagné le Charity-Hiker Sven Hardt, lors d'une étape de sa randonnée au long cours « du Cap Nord au bout du monde ».

C'est avec une grande joie que l'équipe de Verifysoft Technology d'Offenburg revient sur sa participation réussie à une action de randonnée toute particulière. Dans le cadre de l'action caritative de Sven Hardt, un guide de randonnée de la Forêt-Noire, les collaborateurs de la société Verifysoft, spécialiste des tests logiciels, ont fait une randonnée de Hausach jusqu'au « Langenbachhof », à Schonach près de Triberg. L'entreprise a fait don d'un montant prédéfini pour chaque kilomètre parcouru. Au total, ce sont 1 400 euros qui ont été récoltés et qui seront reversés à la clinique de rééducation Katharinenhöhe via l'association Charity-Hiker e.V..

En passant par la Suisse, Sven va traverser la France ces prochaines semaines jusqu´à Saint Jean Pied de Port et, ainsi rejoindre le « Camino de Santiago » espagnol et, atteindre Saint Jacques de Compostelle …et le « bout du monde ».

Embedded Testing 2025

Verifysoft Technology a présenté ses outils performants pour le test et l’analyse des logiciels lors des conférences de Embedded Testing 2025.

Nos deux présentations ont été particulièrement appréciées :

• „Mit Justifications zu 100% Coverage“ (en français : Atteindre 100 % de couverture avec les Justifications)
• „In der Ruhe liegt die Kraft – Statische Performance-Optimierung“ (en français : La force réside dans le calme – Optimisation statique des performances)

Ces interventions ont offert des perspectives précieuses sur des stratégies de test efficaces et ont présenté des solutions concrètes pour améliorer la qualité logicielle et la couverture des tests. Nous remercions tous les participants pour ces échanges enrichissants et nous nous réjouissons de vous retrouver lors des prochaines conférences et salons.

Certificat TÜV et Safety-Package pour Testwell CTC++ 10.2

TÜV SÜD a certifié que la version 10.2 de l'analyseur de couverture Testwell CTC++, récemment publiée, peut être utilisée dans le développement de logiciels critiques pour la sécurité sans autres mesures de qualification pour tous les niveaux de sécurité des normes IEC 61508, ISO 26262, EN 50716 et IEC 62304. Pour ce faire, Verifysoft propose à ses clients un Safety Package qui, outre le certificat, offre des documents complémentaires tels qu'un Safety Manual et un accès à la Known-Bugs List. Par le biais d'un abonnement, le client est informé activement des mises à jour des documents. Pour les projets DO-178C dans l'aéronautique, une qualification de l'outil est toujours nécessaire. Ici, Verifysoft, fournit un support actif à ses clients pour obtenir cette qualification.

Nouvelle version : Testwell CTC++ version 10.2

Notre nouvelle version se concentre sur la fonctionnalité " Merging ": les résultats de couverture pour différentes variantes de code source peuvent désormais être fusionnés lors de la création des rapports. En outre, la version 10.2 propose des améliorations pour la génération de rapports avec des modèles personnalisés et également quelques corrections de bugs. Une vue d'ensemble des nouvelles fonctionnalités est disponible dans la Release-Notes.

Verifysoft participait à l'événement Bits & Chips à Eindhoven (Pays-Bas)

Verifysoft a présenté à l'événement Bits & Chips Event à Eindhoven des outils de test et d'analyse de logiciels à la pointe de la technologie. Nous étions également présents avec la présentation "Static Code Analysis and dynamic Tests - Complementary Procedures for Quality Assurance" dans la session "Software quality". Si vous avez manqué la présentation ou si vous souhaitez plus d'informations, consultez notre traduction française du document de présentation.

La version 10.5.4 d'Imagix 4D disponible

Imagix a publié la version 10.5.4 d'Imagix 4D. La version 10.5.4 améliore les informations générées par les rapports StackSize et VariableSize, étend l'intégration avec l'outil de couverture de test Testwell CTC++, et contient d'autres améliorations mineures et corrections de bogues.

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

Verifysoft et son partenaire Codee ont présenté des outils de premier ordre pour améliorer la qualité, la productivité, la sécurité et la sûreté des logiciels embarqués. 14 personnes ont présenté à Nuremberg les dernières versions de l'analyseur de couverture de code Testwell CTC++, ainsi que les outils d'analyse statique Imagix 4D et CodeSonar. Nouveauté sur le salon : Codee, une solution de pointe pour optimiser les performances tout en réduisant la consommation d'énergie et l'utilisation de la mémoire. Pour en savoir plus sur les points forts de notre stand, regardez notre vidéo du salon.