Embedded World 2018:
Verifysoft und GrammaTech mit Innovationen für den Softwaretest von Embedded, M2M und IoT-Devices

Sehen Sie hier unser Video der Embedded World 2018

Mit über 1.000 Ausstellern und mehr als 30.000 Besuchern aus 73 Ländern ist die Embedded World in Nürnberg der weltweit größte Treffpunkt der "Embedded-Systems-Community".
Verifysoft Technology und GrammaTech zeigten auf der Embedded World 2018 ihre neuesten Entwicklungen ihrer statischen und dynamischen Softwaretesttools.

Testwell CTC++: das Code Coverage Tool für alle Anwendungszwecke

Verifysoft Technology zeigte die neue Benutzerschnittstelle des Code Coverage Analysers Testwell CTC++, die es jetzt erlaubt mit nur einem Mausklick zwischen den verschiedenen Coverage-Levels zu wechseln.
Testwell CTC++ zeigt alle Testabdeckungsstufen bis zu MC/DC und sogar Multicondition Coverage. Das Werkzeug arbeitet mit allen Kompilern und allen, auch kleinsten embedded Targets und Mikrocontrollern. CTC++-Nutzer vergleichen das Tool mit einem Geländewagen, der einfach nutzbar mit jedem Terrain zurechtkommt. Testwell CTC++ wird mit verschiedensten C und C++-Dialekten, mit allen, auch "exotischen" Kompilern und kleinsten Targets eingestzt. Auch außergewöhnliche und modernste Programmiermethoden sind für Testwell CTC++ problemlos.
Testwell CTC++ wird erfolgreich in sicherheitskritischen Softwareentwickungen nach Normen wie DO-178C und ISO 26262 eingesetzt. Branchen wie Luftfahrt, Automotive, Transport und Medizintechnik vertrauen auf unseren Code Coverage Analyser.
Dies ist einer der Gründe warum Testwell CTC++ von hunderten Firmen und Institutionen in über dreißig Länderen auf allen Kontinenten eingesetzt wird.

Mit Imagix verstehen Sie selbst sehr komplexen Code problemlos

Imagix 4D unterstützt Entwickler und Projektmanager dabei, komplexen Third Party- und Legacy-Code zu verstehen, zu dokumentieren und zu verbessern. Das Werkzeug automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten. Es deckt Probleme in der Datennutzung und bei Interaktionen zwischen Tasks auf.

Zahlreiche Besucher interessierten sich für unsere Semanare Testen von Embedded Software, ISO 26262 im Projektalltag und Softwareentwicklung nach IEC 61508.

GrammaTech zeigt Innovationen bei der Statischen Analyse: CodeSonar/Libraries and CodeSonar/X

GrammaTech CodeSonar ist das führende Tool für die fortschrittliche Statische Analyse von Quellcode und Binarys. Das Werkzeug liefert die umfangreichste Analyse für C und C++.
CodeSonar finde kritische Software-Schwachstellen für eine maximale Anwendungssicherheit Ihres Codes und berücksichtigt dabei neben Inhouse-Entwicklungen auch Code von Drittanbietern und Open-Source-Code.
GrammaTech CodesSonar überprüft jetzt auch Binärbibliotheken, welche in der embedded Softwareentwicklung oft Anwendung finden.
Die heutigen Embedded-, M2M- und IoT-Geräte werden in zunehmend agilen und schnellen Prozessen entwickelt, welche hochentwickelte Funktionen schneller als je zuvor in den Markt bringen. Um bei der Entwicklung von Software für neue Geräte Schritt zu halten, nutzen Entwicklungsteams Legacy-Code, Open-Source-, Thrid-Party- und neuen proprietären Code. Der Einsatz der Geräte in stark vernetzten Ökosystemen setzt diese neuen Risiken wie ernsthafte Cyberattacken aus.
Dank der Binärcodanalyse kann die Sicherheit Ihrer Software mit GrammaTech CodeSonar deutllich gesteigert warden.

Vereinigung von Statischer und Dynamischer Analyse

Aktuell arbeitet GrammaTech an einer bahnbrechenden Technologie, die statische und dynamische Codeanalyse kombiniert.
Ein neues CodeSonar-Plug-in welches "State Violations" während des host-basierten Testens durch Analyse der Speichernutzung aufdeckt wird im Laufe des Jahres verfügbar sein. Für Entwickler bedeutet dies mehr Effizienz, weniger Sicherheitsrisiken und kürzeres Time-to-Market.

Erfahren Sie mehr in unseren Videos

Video Static Code Analysis and GrammaTech's innovations (CodeSonar/Libraries und CodeSonar/X) präsentiert auf der Embedded World 2018.
Mark Hermeling, Senior Director of Product Marketing bei Grammatech spricht im Interview über Innovationen in der Statischen Analyse.
Verifysoft und GrammaTech: Embedded World 2018 in 4 Minuten

Verifysoft Embedded World 2018 Team at Nuremberg