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