Autres informations:
Société
Testwell CMT++/CMTJava
Testwell CTC++
Imagix
ACTUALITÉS (pour tous les outils)
La version 10.5.3 d'Imagix 4D disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 4 mars 2024)
La version 10.5.3 améliore les performances de l'éditeur de fichiers, la prise en charge du code basé sur gcc et corrige certains bogues de l'interface graphique dans la boîte de dialogue des sources de données.
Imagix 4D version 10.5.2 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 22 décembre 2023)
La nouvelle version accélère la création de documents Html en proposant alternativement un "mode concurrent" (multithreading).
Imagix 4D version 10.5.1 disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 23 mai 2023)
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..
La version 10.5 d'Imagix 4D avec support MISRA C++ est disponible
(San Luis Obispo/USA, Offenburg/Allemagne, 1 février 2023)
Imagix 10.5 propose une liste de contrôle pour la version actuelle de MISRA C++ 2008, qui permet de mettre en œuvre toutes les règles (à l'exception du chapitre 14).
La fonction de vérification d'Imagix aide l'utilisateur à vérifier les règles de MISRA C++ et automatise tous les calculs. Pour les règles qui nécessitent une documentation de la part de l'utilisateur, il n'y a pas d'étapes automatiques, mais une demande de joindre la documentation. Les violations de règles clairement vérifiables sont signalées avec précision, à condition que le projet ait été analysé sans erreur et que le code source soit complet. Les violations de règles potentielles non évidentes, qui nécessitent une vérification humaine, sont également répertoriées, avec indication des passages correspondants dans le code, afin de pouvoir ensuite faire l'objet d'une évaluation humaine finale.
L'utilisation de la fonctionnalité MISRA C++ dans Imagix 4D nécessite une extension de licence.
Imagix 10.5 offre également une prise en charge pour le chargement de données à partir de fichiers sources qui se trouvent dans des chemins de répertoire avec des jeux de caractères internationaux.
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.
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)
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 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)
"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
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.
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
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.
Des actualités pertinentes, plus anciennes sont disponibles sur les pages spécifiques suivantes:
Société Testwell CMT++/CMTJava Testwell CTC++ Imagix ACTUALITÉS (pour tous les outils)
Société Testwell CMT++/CMTJava Testwell CTC++ Imagix ACTUALITÉS (pour tous les outils)