Verifysoft – Sofwarecode ohne Fehler
Verifysoft stellt auf der embedded world in Halle 4, Stand 423, seine Softwaretest- und Analysetools aus, welche die Softwareentwicklung im Medizinbereich sicherer gestalten und für Dokumentation, Testing und Zertifizierung keine Fragen offenlassen. So überprüft das Code-Analysetool CodeSecure, ohne dass das Schreiben von Testfällen erforderlich ist, Software auf
Programmierrichtlinien und deckt automatisch Fehler im Code auf. Bei Nutzung von Fremdsoftware zeigt das Werkzeug CodeSentry mögliche Sicherheitslücken an. Imagix 4D unterstützt Projektmanager und Entwickler dabei, Code zu verstehen, zu dokumentieren und zu verbessern. Das Werkzeug automatisiert die Analyse von Kontrollfluss und Abhängigkeiten. Es deckt Probleme bei der Datennutzung und der Interaktion von Tasks auf. Der Code Coverage Analyser Testwell CTC++ zeigt die Vollständigkeit der Softwaretests an. Hierdurch wir vermieden, dass Codeteile, die eventuell schwerwiegende Fehler enthalten beim Test »übersehen« werden. Testwell CTC++ ist vom TÜV Süd für die Nutzung in sicherheitskritischen Projekten zertifiziert. Mit Codee wird ein neues statisches Analysetool angeboten, das Software auf Performanceprobleme hin untersucht. Verifysoft informiert in Nürnberg des Weiteren über die Seminare für (MedTech-)Entwickler, wie etwa »Testen von Embedded Software« und »RTOS«.
Verifysoft – Halle 4, Stand 423