Verifysoft Technology stellt die neue Version 10.1 des Code Coverage Analysers Testwell CTC++ vor. Das Tool zur Messung der Testabdeckung soll nun die Möglichkeit bieten, Erklärungen für fehlende Coverage strukturiert zu erfassen und nachzuhalten. Wichtig sei das für nicht oder schwierig zu testenden Code. Die Erklärungen – sogenannte Justifications – wirken sich in den Coverage-Berichten auf alle Coverage-Maße aus. Dabei bleibt immer transparent und nachvollziehbar dokumentiert, welche Teile des Codes tatsächlich getestet und welche rein über Justifications abgedeckt wurden. Für die Erfassung von Justifications bietet Testwell CTC++ 10.1 zwei Wege, um verschiedenen Bedürfnissen in den Arbeitsabläufen gerecht zu werden. Wahlweise können die Justifications in Quellcode-Kommentaren oder aber separiert vom Code in Begleitdateien gepflegt werden. Hiermit ergibt sich für Tester von sicherheitskritischer Software eine Arbeitserleichterung. Code Coverage und Justifications für nicht getesteten Code sind transparent und können für Zertifizierungen einfach nachgewiesen werden.
Bereits seit der Version 10 basiert die Berichtserzeugung des Code Coverage Analysers Testwell CTC++ auf anpassbaren Vorlagen für strukturierte HTML-Berichte. Mit der neuen Version 10.1 können Berichte jetzt zusätzlich auch aus einfachen Vorlagen erzeugt werden, die aus einer einzelnen Textdatei bestehen. Durch das Vorlagensystem wird jedes textbasierte Format wie XML, JSON, CSV, Markdown, YAML etc. unterstützt. Über eine einfache Vorlagensprache lassen sich bestehende Vorlagen anpassen und eigene Vorlagen erstellen. Nutzer von Testwell CTC++ können somit Reports erstellen, die exakt auf ihre Anforderungen zugeschnitten sind. Verifysoft stellt Kunden darüber hinaus etliche Vorlagen für verschiedene Anwendungsfälle zur Verfügung. Das Tool arbeitet mit sämtlichen Compilern und allen Embedded Targets. Testwell CTC++ unterstützt verschiedenste, von den Normen verlangte Code-Coverage-Stufen wie Statement-, Branch- und Modified Condition/Decision Coverage (MC/DC). Zusätzlich werden Line-, Function-, Decision-, Condition- und Multicondition-Coverage angezeigt.
