10 mars 2022 PG
Autres informations: Société Testwell CMT++/CMTJava Testwell CTC++ Imagix Evènements/Séminaires Toutes les nouveautés
Newsletter
Vous souhaitez être tenus informés (2 à 4 fois par an) des actualités et nouveautés de Verifysoft?Abonnez-vous à notre newsletter ici. La confiance que nos clients nous porte est essentielle pour nous. Nous garantissons que nous ne divulguerons pas vos coordonnées à des tiers.
Pour lire notre dernière newsletter, merci de cliquer ici.
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++).