Embedded World 2024: Verifysoft und Codee präsentieren Tools für Test und Analyse von Software

Sehen Sie hier unser Video der Embedded World 2024

Gemeinsam mit unserem Partner Codee zeigte Verifysoft auf der Embedded World erstklassige Tools zur Verbesserung von Qualität, Produktivitiät, Safety und Security bei der Entwicklung von embedded Software. Verifysoft war in Nürnberg bereits zum 19. Mal dabei. Ein Team von 14 Spezialisten führte zahlreiche Gespräche mit Interessenten, Kunden und Partnern.

Code Coverage: Testwell CTC++

Verifysoft präsentierte die neue Version 10.1 des Code Coverage Analyseres Testwell CTC++, die jetzt die Möglichkeit bietet, Justifications zu nutzen. Damit lässt sich fehlende Coverage erklären.
Das TÜV-zertifizierte Werkzeug arbeitet mit allen Compilern und allen embedded Targets und ist in der sicherheitskritischen Softwareentwicklung weltweit erfolgreich im Einsatz.

Software Performance: Codee

Komplett neu im Programm ist Codee, ein statisches Analysewerkzeug, welches sehr früh im Entwicklungsprozess Performanceprobleme in C, C++ und Fortran-Quellcode aufdeckt. Mit Codee werden zeitkritische Anwendungen wie beispielsweise Bremsanlagen so verbessert, dass sie ihre Aufgaben innerhalb des vorgegebenen Zeitrahmens korrekt erfüllen. Durch die Partnerschaft zwischen Verifysoft und Codee, steht das Tool des spanischen Herstellers jetzt auch Unternehmen im deutschsprachigen Raum zur Verfügung.

Code Understanding: Imagix 4D

Für alle, die sich in altem und unbekanntem Code zurechtfinden müssen, bietet Imagix 4D wertvolle Unterstützung.
Imagix 4D hilft dabei, Source Code zu erkunden und zu verstehen. Das Tool vereinfacht die Durchführung von Reviews und bietet eine aussagekräftige Visualisierung der Software.

Static Code Analysis: CodeSonar

Der Schwerpunkt der neuen Version 8.1 des statischen Analysetools CodeSonar liegt auf der Verbesserung der Abdeckung v on Coding-Standards und der Unterstützung sechs weiterer Programmiersprachen.
Neben den bisherigen Sprachen C, C++, Java und C# wird jetzt auch in Kotlin, Python, Go, Rust, JavaScript und TypeScript geschriebene Software analysiert.
CodeSonar bietet jetzt ebenfalls Unterstützung für MISRA C 2023 und MISRA C++ 2023.

Cyber-Security: CodeSentry

Um das Risiko von Schäden durch Cyber-Attacken zu verringern, führt CodeSentry eine Analyse von Komponenten in Open-Source und Third-Party-Software durch und erstellt eine Software Bill of Materials. Das Tool gibt Hinweise auf Sicherheitslücken.