10 mars 2022 PG
Autres informations: Société Testwell CMT++/CMTJava Testwell CTC++ Imagix Evènements/Séminaires Toutes les nouveautés

Imagix 4D version 10.4 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 8 mars 2022)
En outre, d'autres améliorations ont été apportées :
- Une option d'affichage supplémentaire "By Origin" pour les "probes" (sondes) dans les revues, définies par défaut.
- Un affichage des probes avec des entrées provenant de différents fichiers dans la même fenêtre.
- La création d'un graphe d'appel à partir de l'architecture inclut les membres des sous-systèmes sélectionnés ou visibles.
Plus d'informations sur Release notes.
Les clients disposant d'une maintenance valide, peuvent télécharger la nouvelle version sur le site web d'Imagix..

Premiers secours pour vieux code
(Offenburg/Allemagne, 4 mars 2022)
Les fabricants doivent garantir la qualité de leurs logiciels tout au long du cycle de vie d'un produit. Si de nouvelles fonctions sont ajoutées à des appareils plus anciens, mais que la documentation du logiciel est insuffisante et que plus personne ne connaît vraiment l'ancien code, cette tâche devient problématique.En prenant comme exemple un logiciel pour un dispositif médical, notre article technique décrit une procédure idéale.
Lisez l'article complet ici (pdf en français) - ou en anglais sur notre blog

Imagix 4D: Version 10.3 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 5 octobre 2021)
Autres changements par rapport à 10.2.0 :
- La résolution des appels de Java vers C/C++ via la JNI a été étendue.
- Les améliorations de l'interface graphique concernent l'affichage du code source dans les organigrammes et le défilement.

Webinaire: Imagix 4D and Refactoring is just a Bowl of Cherries
Verifysoft vous invite pour le webinaire « Imagix 4D and Refactoring is just a Bowl of Cherries” le jeudi, 25 novembre 2021, 13h00 (heure de Paris), en anglais
L'accent sera mis sur les aspects suivants :
• L´amélioration ou la modification d’une application
• La réduction du nombre de cas de test et donc de l’effort de test, en diminuant la complexité
• Une architecture clairement organisée, associée à des composants faiblement couplés, simplifie l'extensibilité et améliore la sécurité
• La conformité aux normes de codage améliore la lisibilité du code et peut avoir un impact positif sur la robustesse d'une application
Enregistrez-vous, dès maintenant!

Imagix 4D: Version 10.2 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 8 avril 2020)
Cette nouvelle version propose les améliorations suivantes:
- Additional options in generating architectures from source code
- Improved performance working with large projects, including in Architecture Diagrams
- More automation of loading code into Imagix 4D, using Soong, Gradle and JSON build systems
- Extensible interface to load code from any build logs

Imagix 4D Version 10.1 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 8 octobre 2020)
Cette nouvelle version propose les améliorations suivantes:
- Complete HIS checklist including underlying MISRA rules and metrics covering two project versions
- Delta control flow charts that show the flow chart differences between two project versions
- Unreachable Statement report and other small report enhancements

Les développeurs de logiciels ont des problèmes.
Les nouvelles signées Jan-David Baltzer
(Offenburg, 9 juin 2020)
Nous espérons que vous apprécierez leurs lectures..

Imagix 4D Version 10.0 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 1 mai 2020)
Cette nouvelle version propose les améliorations suivantes:
- Improved C/C++ Source Analyzer: The C/C++ source analyzer has been optimized. Analysis speed has been increased up to 300%. Semantic analysis' precision has been improved by making it more tolerant regarding missing type definitions.
- SARIF Import/Export (Imagix 4D Advanced Edition only): Static Analysis Interchange Format (SARIF) has been added to Imagix 4D. It allows to import analysis results from other static analysis tools into Imagix 4D's Review Tool. Exporting SARIF results from Imagix 4D analyses enables a foreign IDE like Microsoft Visual Studio SARIF Viewer visualizing the findings.

Comment Imagix 4D facilite la compréhension des programmes au niveau du code source
(Offenburg/Allemagne, 25 septembre 2019)
Cet article montre comment Imagix 4D prend en charge l'exploration et la compréhension de code source inconnu. Après une introduction au contexte du problème, les différentes méthodes d’Imagix 4D et leur contribution à la solution sont abordées ci-après.
Lire le texte complet ici (en anglais)

Webinaire: "Refactoring using Imagix 4D"(en anglais), le mardi 7 mai 2019".
(Offenburg/Allemagne, 17 avril 2019)
Venez découvrir comment Imagix 4D va vous permettre de gagner du temps avec le « Code refactoring » en participant à notre webinaire gratuit.
Inscrivez-vous dès maintenant au prochain webinaire gratuit, "Refactoring using Imagix 4D " .

Imagix 4D en dessin animé: Anna a un problème
(Avril 2019)
La développeuse de logiciels, Anna est responsable d'un ancien logiciel dont personne ne connait plus rien. La documentation du logiciel est obsolète ... Tout cela ressemble à un cauchemar qui ne semble pouvoir être résolu qu’avec beaucoup de temps et d’argent.Anna découvre l'outil Imagix 4D, qui détermine l'état actuel du logiciel en fonction du code source. Grâce aux graphiques, à la documentation et aux rapports générés, Anna identifie rapidement les causes des erreurs et peut les corriger plus facilement que prévu. Anna informe immédiatement ses clients, qui sont plus que soulagés ... Regardez la vidéo maintenant!

Imagix 4D: Le "couteau suisse" du Software
(Munich, Offenburg/Allemagne, 19 Juin 2018)
Regardez ici notre présentation par David Baltzer, spécialiste de l'analyse statique, durant Avionics Electronics à Munich..
En savoir plus sur Imagix 4D
Imagix 4D Version 9.1 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 1 mai 2018)
Imagix a publié la version 9.1 de son outil Imagix 4D.
Cette nouvelle version propose les améliorations suivantes:
- Added metrics and analysis of stack size for embedded code
- Added import of test coverage data from Testwell CTC++

Témoignage d´un utilisateur de l´outil ImagiX 4D (Texte original en anglais)
“The context:
The SW of this class 2 medical device had been developed by a single engineer during a dozen of years.
In fact, this is not a single SW but several SW's with different microprocessors from 8 to 32 bit, written in C++ or a mix of assembler and C. The whole is about 200000 lines of code. There were few comments which were not very helpful or wrong. There was no coding style. The SW is not modular and could be qualified as clever code. He liked for instance to redefine operators, to use syntaxes that you can only understand by checking in the Kernighan & Ritchie reference book. A lot of methods call methods belonging to another object or 3 layers below. Many library functions of the O/S were amended. The SW code had never been peer reviewed.
And, of course, the documentation was brief. By lack of ressource the SW had been poorly tested. The result was that there were hundreds of complaints coming from.customers. As a senior embedded SW engineer I was called to replace this guy with a very limited time for training.
I used Imagix to understand the code. Other tools were completely overwhelmed by the complexity and even induced to errors. To load the project with Imagix is easy and very rapid because Imagix is supporting the main development environments and compilers on the market. Most of the times you simply have to give the project file and Imagix parses the whole code including libraries within a few dozen of seconds or minutes. I really appreciate to be in the capacity to tailor graphs in order to focus on the SW entity that is at the core of my issue. The graph may describe all types of relationships and not only object inheritance or function call trees. Instantly, I can have an overview on where a variable is written or read. I can instantly display a flow diagram of a function. Then, I may hide parts which are not relevant for solving the issue. Then, I can surf in the corresponding code and highlight in the graph where a key variable is used.
Surfing in the code is so easy. I can follow my idea without having to swap between thousand of files of code or documents. I can rapidly go to the point where a surgical correction is needed to solve the issue.
I can say that Imagix saved me weeks of tedious work.”
Gilles Carré, senior graduated HW/SW engineer (28 years of experience)
“The context:
The SW of this class 2 medical device had been developed by a single engineer during a dozen of years.
In fact, this is not a single SW but several SW's with different microprocessors from 8 to 32 bit, written in C++ or a mix of assembler and C. The whole is about 200000 lines of code. There were few comments which were not very helpful or wrong. There was no coding style. The SW is not modular and could be qualified as clever code. He liked for instance to redefine operators, to use syntaxes that you can only understand by checking in the Kernighan & Ritchie reference book. A lot of methods call methods belonging to another object or 3 layers below. Many library functions of the O/S were amended. The SW code had never been peer reviewed.
And, of course, the documentation was brief. By lack of ressource the SW had been poorly tested. The result was that there were hundreds of complaints coming from.customers. As a senior embedded SW engineer I was called to replace this guy with a very limited time for training.
I used Imagix to understand the code. Other tools were completely overwhelmed by the complexity and even induced to errors. To load the project with Imagix is easy and very rapid because Imagix is supporting the main development environments and compilers on the market. Most of the times you simply have to give the project file and Imagix parses the whole code including libraries within a few dozen of seconds or minutes. I really appreciate to be in the capacity to tailor graphs in order to focus on the SW entity that is at the core of my issue. The graph may describe all types of relationships and not only object inheritance or function call trees. Instantly, I can have an overview on where a variable is written or read. I can instantly display a flow diagram of a function. Then, I may hide parts which are not relevant for solving the issue. Then, I can surf in the corresponding code and highlight in the graph where a key variable is used.
Surfing in the code is so easy. I can follow my idea without having to swap between thousand of files of code or documents. I can rapidly go to the point where a surgical correction is needed to solve the issue.
I can say that Imagix saved me weeks of tedious work.”
Gilles Carré, senior graduated HW/SW engineer (28 years of experience)

Verifysoft Technology au "Testing Stage 2018" de Kiev (Ukraine)
(Offenburg/Allemagne, Kiev/Ukraine, 19 avril 2018)
Dédié au Software, "Testing Stage 2018" a réservé une zone spéciale pour l´ "Embedded Track".
Notre IT-Trainer Sebastian Goetzinger a animé un atelier d'une journée avec au programme : "Efficient Unit-Tests for Embedded Systems", "Code Coverage on small safety-critical embedded targets" et un Master-Class sur le "Code Coverage on μ-Controller".
Au cours du Testing Stage, Verifysoft a présenté ses solutions de tests logiciels: Testwell CTC++ Code Coverage Analyser et Imagix 4D, un outil qui aide les gestionnaires de projets et les développeurs à comprendre, documenter et améliorer le code complexe, tiers ou existant.

Embedded World 2018: Verifysoft Technology et ses nouvelles technologies de test pour les secteurs des Systèmes Embarqués, de l'IoT et du M2M (Machine to machine )
(Nuremberg/Allemagne, 1 Mars 2018)
Fin février, à l’occasion du salon Embedded World, l’éditeur et distributeur d’outils de test présenta les dernières évolutions de l´ensemble de ses outils et en particulier de Testwell CTC++ Code Coverage Analyser.
En effet sa nouvelle interface utilisateur permet de basculer entre différents niveaux de couverture.
Pour rappel: L´intégration d´Imagix 4D avec Testwell CTC++ vous aide à examiner les données de couverture de test. Plusieurs mises en page pour visualiser le déroulement du programme sont disponibles. En plus l'outil Imagix 4D montre le Call Coverage / Call Pair Coverage (basé sur les analyses de Testwell CTC++).

"Kummler+Matter est une société suisse développant des concepts de trafic pour l'installation électrique de systèmes de contrôle du trafic, de guidage de stationnement et de systèmes de signalisation. Pour interconnecter les systèmes de contrôle du trafic, nous utilisons des protocoles de communication comme OCIT, standard dans les systèmes de circulation routière. Afin de réaliser le développement logiciel de ces systèmes complexes, nous utilisons Imagix 4D, pour analyser, concevoir et implémenter des logiciels principalement écrits en langages C et C++. Le logiciel a été très utile pour aider nos développeurs à comprendre les processus en temps réel et à analyser la complexité de plus de 60.000 lignes de code. Les développeurs ont largement utilisé les différents points de vue de l'outil, qui donnaient un aperçu clair des logiciels qu'ils développaient et qui les ont aidés à passer par les étapes de rétro-ingénierie. Les systèmes cibles fonctionnent sous Linux et pour faciliter l'utilisation, une partie de l'analyse a été effectuée sur la plateforme Windows. Il était vraiment utile de pouvoir utiliser le logiciel Imagix 4D sur les deux plateformes. En conclusion, Imagix 4D a beaucoup aidé Kummler+Matter dans les processus de développement et a facilité le travail des équipes."
Minh Tuan Nguyen, Directeur du développement (Réglementation du trafic routier)
Kummler+Matter SA, Suisse
Minh Tuan Nguyen, Directeur du développement (Réglementation du trafic routier)
Kummler+Matter SA, Suisse

Verifysoft a exposé au salon Embedded World 2017: regardez la vidéo maintenant!
(Nuremberg/Allemagne, 16 mars 2017)
Les solutions de test logiciel de Verifysoft répondent aux exigences de normes telles que la DO-178C, l’EN 50128, la CEI 61508, la 62304 ou l’ISO 26262 et sont utilisées dans les projets critiques pour la sécurité et la sûreté.
Nous fournissons des outils de test pour l'analyse statique, l'analyse dynamique et la couverture de code.
En savoir plus et regarder notre vidéo maintenant
Imagix lance la version 9.0 d'Imagix 4D: introduction d'un outil de revue de code et d'une liste d'énumération de vulnérabilités
(San Luis Obispo/USA, Offenburg/Allemagne, 6 mars 2017)
La version 9.0 de l'outil Imagix 4D est maintenant disponible.
La nouvelle version intègre des listes de contrôle guidées pour la révision et ajoute une liste de contrôle pour le test d'énumération de vulnérabilités (CWE). La performance des rapports de contrôle de flux a été considérablement améliorée.
La fonctionnalité du visualiseur de flux de données de l'arbre de calcul a été étendue.
La nouvelle version intègre des listes de contrôle guidées pour la révision et ajoute une liste de contrôle pour le test d'énumération de vulnérabilités (CWE). La performance des rapports de contrôle de flux a été considérablement améliorée.
La fonctionnalité du visualiseur de flux de données de l'arbre de calcul a été étendue.
Imagix 4D Version 8.1.4 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 6 octobre 2016)
Imagix a publié la version 8.1.4 de son outil Imagix 4D. Cette nouvelle version propose les améliorations suivantes:
- Support for Java Edition 8
- Addition of MSVC 2015 to user interface and compiler configuration file
- Improvements to Delta Analysis symbol matching and reports
- Various small improvements and fixes to GUI, graphs, reports, etc.
- C/C++ source analyzer enhancements for GCC #include_next, MSVC #import, IAR "@" operator, and C++14
Verifysoft Technology, premier distributeur européen pour Imagix 4D, outil de vérification du code source et d´analyse de l´architecture
(Offenburg/Allemagne, San Luis Obispo/USA, 2 Janvier 2016)
Imagix Corporaton a choisi Verifysoft comme distributeur en Europe pour son outil de vérification du code source et d´analyse de l´architecture Imagix 4D. Verifysoft, représentant exclusif de l´outil Imagix 4D, met ses experts à la disposition des clients pour assurer le support technique en Allemagne, Autriche, Suisse, Liechtenstein, France, Pays-Bas, Belgique, Luxemburg, Pologne, République Tchèque, Slovaquie, Hongrie, Slovénie, Espagne et Portugal.
Logiciel incontournable pour la rétro-engénierie, la qualité d´analyse et la documentation des logiciels écrits en C, C++ et Java, Imagix 4D est d´ores et déjà utilisé par de nombreuses sociétés mondiales telles que General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, Siemens, ainsi que par les organismes gouvernementaux comme la "Federal Aviation Administration" (FAA) et la NASA. > plus d´informations sur Imagix 4D
Logiciel incontournable pour la rétro-engénierie, la qualité d´analyse et la documentation des logiciels écrits en C, C++ et Java, Imagix 4D est d´ores et déjà utilisé par de nombreuses sociétés mondiales telles que General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, Siemens, ainsi que par les organismes gouvernementaux comme la "Federal Aviation Administration" (FAA) et la NASA. > plus d´informations sur Imagix 4D
Imagix 4D version 8.1 disponible
(Offenburg/Allemagne, San Luis Obispo/USA, 5 octobre 2015)
Imagix vient de publier la version 8.1 de Imagix 4D avec de nouvelles fonctionnalités:
- Ajout de l´analyse binaire pour les instructions Microsoft Visual C++ #import, #using
- Ajout des architectures de sous-sytèmes pour la génération de documents
Intégration de Testwell CTC++ avec Imagix 4D disponible
(Offenburg/Allemagne, San Luis Obispo/USA, 27 Novembre 2014)
Imagix et Verifysoft annoncent l´intégration de Testwell CTC++ avec Imagix 4D. Utilisé avec l´outil de couverture de test Testwell CTC++, Imagix 4D permet d´évaluer si les cas de tests produisent des résultats suffisants. Plusieurs plans de visualisation du flux du programme sont disponibles dans Imagix 4D. L´un d´entre eux est le diagramme de plan logique qui se focalise sur la logique du programme de la fonction. Des couleurs différentes illustrent la couverture de test de chaque partie de votre logiciel.
> plus d´informations
> plus d´informations