Imagix 4D version 10.4 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 8 mars 2022)

Imagix 4D version 10.4 a été publiée. L'accent de cette nouvelle version est mis sur la norme MISRA-C 2012. Imagix 4D 10.4 vous fournit une liste de contrôle couvrant toutes les directives et règles de MISRA-C 2012.
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)

Imagix 4D version 10.3 est désormais disponible. L'objectif général de cette nouvelle version est d'améliorer les performances pour les grands ensembles de codes. L´amélioration de la rapidité concernent le chargement initial des projets (en particulier les ComboProjects ), la création et la restauration des architectures, l'exécution des rapports de vérification des flux et la génération de la documentation. Par exemple, un projet d'environ 1M d'instructions devrait voir une réduction de 30 à 50% du temps CPU pour les rapports de vérification de flux. Il y a également des réductions dans l'utilisation de la mémoire des très grands projets.
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.

Plus d'informations sur Release notes

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)

Imagix 4D 10.2 est actuellement disponible. L'objectif général de la nouvelle version est la prise en charge améliorée des grands ensembles de code source.
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

Plus d´informations sur Release notes et une description de la création de projets basés sur des artefacts de build Android .

Imagix 4D Version 10.1 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 8 octobre 2020)

Imagix a publié la version 10.1 de son outil Imagix 4D.
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

plus d´informations sur Imagix 4D version 10.1

Les développeurs de logiciels ont des problèmes.
Les nouvelles signées Jan-David Baltzer

(Offenburg, 9 juin 2020)

Durant cette période de Corona, c'est un peu plus calme pour nous, et nous avons enfin trouvé le temps de vous présenter les histoires de notre collègue Jan-David B., sur les problèmes des développeurs de logiciels, restées au fond de son tiroir depuis trop longtemps. D'une manière amusante, ces nouvelles en disent long sur les capacités de l´outil d'exploration et d'analyse de code source (inconnu), Imagix 4D.
Nous espérons que vous apprécierez leurs lectures..

Imagix 4D Version 10.0 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 1 mai 2020)

Imagix a publié la version 10.0 de son outil Imagix 4D.
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.

plus d´informations sur Imagix 4D version 10.0

Comment Imagix 4D facilite la compréhension des programmes au niveau du code source

(Offenburg/Allemagne, 25 septembre 2019)

À mesure que la durée des projets logiciels croit, leur taille et leur complexité augmentent également. Cela rend de plus en plus difficile le suivi, que ce soit pour la maintenance, l'amélioration ou la vérification des exigences existantes ou modifiées. Cela est également renforcé par les fluctuations des intervenants et souvent l'intégration d'éléments de programme supplémentaires, qu'ils soient achetés, free ou issus de projets existants.
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)

Le «Code refactoring », soit le remaniement du code avec Imagix 4D. Afin de protéger les investissements, un remaniement du code permanent est essentiel pour augmenter la durée de vie des applications logicielles. Parfois, il est judicieux car plus rentable de remanier le code hérité. Dans ce cas, le programme pourrait être réutilisé dans les projets suivants. Ainsi, le code est remanié pour une plus grande facilité de maintenance et une extensibilité améliorée, tout en conservant ses fonctionnalités. Imagix 4D est l'outil idéal pour vous aider à effectuer le « Code refactoring ». Une visualisation complète et bien agencée de l'architecture existante facilite la compréhension rapide de l'interaction des composants et ainsi les modifications peuvent être effectuées en douceur.
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: Le "couteau suisse" du Software

(Munich, Offenburg/Allemagne, 19 Juin 2018)

Imagix 4D peut être considéré comme le "couteau suisse" du Software. Avec Imagix 4D vous augmentez la productivité, améliorez la qualité et réduisez les risques. C'est un outil pour comprendre, documenter et améliorer le code source complexe, tiers ou hérité en C, C ++ et Java. Imagix 4D automatise l´analyse des flux de contrôle et des dépendances. En outre, le «couteau suisse» détecte les problèmes dans l´utilisation des données et les interactions de tâches. Avec Imagix 4D, les équipes de développement de logiciels augmentent la productivité, améliorent la qualité et réduisent les risques pour leurs projets.
Regardez ici notre présentation par David Baltzer, spécialiste de l'analyse statique, durant Avionics Electronics à Munich..
En savoir plus sur Imagix 4D

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)

Verifysoft Technology au "Testing Stage 2018" de Kiev (Ukraine)

(Offenburg/Allemagne, Kiev/Ukraine, 19 avril 2018)

Verifysoft Technology a participé au "Testing Stage 2018" à Kiev (Ukraine). Les deux jours de conférence des 13 et 14 avril ont compté plus de 1000 participants et plus de 50 conférenciers.
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)

Pour rappel, Embedded World 2018 (Nuremberg / Allemagne) est le principal lieu de rencontre au monde pour le secteur des systèmes embarqués, autour de 1000 exposants, 1700 conférenciers et 30 000 visiteurs professionnels venant de 73 pays y ont participé.
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

Verifysoft a exposé au salon Embedded World 2017: regardez la vidéo maintenant!

(Nuremberg/Allemagne, 16 mars 2017)

Plus de 30.000 visiteurs en provenance de 73 pays sont venus cette année au salon Embedded World à Nuremberg en Allemagne. Comme chaque année depuis 2005, Verifysoft Technology a présenté les meilleurs outils de test de logiciels de sa catégorie.
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