embedded world 2011: Highlights der Halle 10

Verifysoft (Halle/Stand: 10/525) zeigt auf seinem Stand die neueste Version des Code-Coverage-Analysators »Testwell CTC++«. Das Tool zeigt die Testabdeckung für alle Code-Coveragestufen bis zur Modified Condition Coverage (incl. MC/DC-Coverage) und kann damit für Zertifizierungen in Luft- und Raumfahrt, Automotive und Medizintechnik eingesetzt werden. Da Testwell CTC++ mit allen Compilern und allen selbst kleinsten embedded Targets und Microcontrollern arbeitet ist es ein ideales Werkzeug zur Sicherung der Qualität von eingebetteter Software. Mit der Toolsuite »Conformiq« beschreiben Tester das Soll-Verhalten der Software in einem grafischen Modell und lassen die zum Test erforderlichen Testpläne, Testfälle und ausführbare Testscripten automatisch durch den Testfallgenerator »Conformiq Designer« erstellen. Durch die Anbindung an Requirementstools wird gewährleistet, dass die Tests immer aktuell sind. Unter anderem sind HTML, XML, Python, Perl, TCL, Visual Basic und TTCN-3 möglich. Softwarekomplexität und -wartbarkeit lassen sich mit dem Code-Complexity-Measurement-Tool »Testwell CMT++« messen.