Verifysoft: Code Coverage für viele Betriebssysteme

Verifysoft legt seinen Schwerpunkt auf Test- und Analysesoftware für die Entwicklung von sicherheitskritischer Embedded-Software, für die Zertifizierungen nach Normen und Standards erforderlich sind. ...
Die Software-Firma zeigt auch das Tool Imagix 4D, welches durch Visualisierung aller Softwarebestandteile und deren Abhängigkeiten ein schnelles Verständnis für unbekannte oder alte Software bietet. Metriken und Softwarechecks verbessern die Qualität und Dokumentenerstellung.
Den vollständigen Artikel finden Sie hier
MedicalDesign, 09. Juni 2022

Unbekannten Quellcode analysieren

Zwei Neuheiten präsentiert Verifysoft auf der embedded world: Imagix 4D in der Version 9.2 und Testwell CTC++ in der Version 9.0. Imagix 4D kann unbekannten Quellcode erkunden und bietet nun umfangreicheren Datenflussanalysen und verbesserten Kontrollfluss-Graphen. Die Quellcode-Analyse wurde mit Features von C++ 14 und C++ 17 auf die letzten Versionen von MSVC 2019 und GCC 9 erweitert. Der Code-Coverage-Analyser Testwell CTC++ misst die Testabdeckung auf allen eingebetteten Zielplattformen und Mikrocontrollern.

Design & Elektronik Nr. 01 2020 Januar ( Seite MF 25 )

Durchblick bei Legacy-Code: Erste Hilfe beim Refactoring

Die Arbeit an Legacy-Code gehört zu den undankbarsten Aufgaben der Entwickler. Sich in gewachsenem, meist kaum dokumentierten Quellcode zurecht zu finden, ist zeitraubend und fehleranfällig. Allerdings gibt es Werkzeuge, die dabei helfen können. Etwa, indem die Software und die zugrunde liegende Architektur grafisch so aufbereitet werden, dass ein effizientes Refactoring möglich wird.
embedded-software engineer, 10.01.2020

Testwell CTC++ auch für Objective C

Neben C, C++, Java und C# kann der Code-überdeckungs-Analysator Testewell CTC++, den Verifysoft vorstellt, in der neuen Version 9.0 auch für Objective C genutzt werden. Neu ist auch das Tool Imagix 4D. Dieses hilft, komplexen Third-Party- und Legacy-Quellcode zu verstehen, zu dokumentieren und zu verbessern. Das Werkzeug automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten, und es deckt Probleme in den Datennutzungen und bei Task-Interaktionen auf.

Design & Elektronik / Würth Elektronik, Nr. 1 Januar/2019 ( Seite 20 )

Code umfangreich analysieren

Im Fokus des Messeauftritts von Verifysoft stehen der Code-Coverage-Analyser Testwell CTC++, CodeSonar für die statische Analyse und Imagix 4D, das Projektmanager und Entwickler dabei unterstützt, Code von Drittanbietern und Legacy Code zu verstehen, zu dokumentieren und zu verbessern.
Testwell CTC++ hat eine neue Benutzeroberfläche erhalten, um flexibel zwischen verschiedenen Coverage-Stufen (bis MC/DC und MCC) wechseln zu können. CodeSonar unterstützt in der Version 4.5 nun unter anderem auch C++17.
Design Elektronik Ausgabe 1/2018

Sicherheitszertifizierungen möglich

Der Coverage-Analyser Testwell CTC++ den Verifysoft auf der Messe zeigt, wird jetzt mit einem Tool-Qualifizierungskit angeboten, das die Zertifizierung für ISO 26262, DO178-C, IEC 61508 und andere Sicherheitsnormen ermöglicht. Mit Imagix 4D stellt Verifysoft ein Werkzeug für Reverse-Engineering und Quellcode-Analyse vor. Das Werkzeug unterstützt dabei, komplexen, in C, C++ oder Java geschriebenen Third-Party- und Legacy-Quellcode zu verstehen, zu dokumentieren und zu verbessern.
Design & Elektronik Ausgabe 2/2017

Das Verständnis von Legacy-Codes ist schwierig. ... Daraus ergibt sich der Bedarf an einem umfassenden Reengineering/Reverse Engineering-Tool. Wir fanden den Einsatz von Imagix 4D gut, da es ein Maximum an bildlichen Darstellungen in Form von Flussdiagrammen, Flussgraphen, Klassendiagrammen, Metriken und teilweise auch dynamischen Visualisierungen erzeugt. ...
Imagix 4D ist ein gutes Werkzeug in Bezug auf die Vielfalt der unterstützten Sprachen, die grafische Benutzeroberfläche, die maximale Diagrammerstellung und die Möglichkeiten zur Visualisierung von Informationen durch Filtertechniken.
Rashmi Yadav, Ravindra Patel, und Abhay Kothari: Kritische Bewertung des Reverse-Engineering-Tools Imagix 4D! (Link zu Springerplus, online veröffentlicht 2016)

Verifysoft Becomes Distributor of the Source Code Checking and Architecture Analysis Tool Imagix 4D

Imagix Corporation has chosen Verifysoft Technology as european distributor for its Source Code Checking and Architecture Analysis Tool Imagix 4D. Verifysoft will handle sales and support for Imagix in Germany, Austria, Switzerland, Liechtenstein, France, Netherlands, Belgium, Luxemburg, Poland, Czech Republic, Slovakia, Hungary, Slovenia, Spain and Portugal. ...
Professional Tester, 27 January 2016