Code Coverage Niveaus

Der Code Coverage Analyzer Testwell CTC++ deckt alle Testüberdeckungsarten bis zur Modified Condition/Decision Coverage (MC/DC) ab und erfüllt damit die Anforderungen für Softwarezertifizierungen wie zum Beispiel der Norm DO-178B der Luft- und Raumfahrtindustrie.

Function Coverage Eintrittsüberdeckung	Function Coverage überprüft welche Funktionen des Quellcodes ausgeführt worden sind. Es wird analysiert, wie oft die Funktion bzw. die die Funktion schließende Klammer erreicht worden ist. Function Coverage ist ein relativ schwaches Testüberdeckungsmaß, gibt aber einen groben Überblick über den Stand der Tests.
Decision Coverage Entscheidungsüberdeckung	Decision Coverage prüft, ob jede Bedingung des Prüflings mindestens einmal wahr und falsch war. Zweigüberdeckung wird erreicht durch Überprüfung ob die Entscheidungen in If-Statements und Loops jeweils als "wahr" und "falsch" ausgeführt worden sind. Es wird gemessen, ob jede Funktion mindestens einmal durchlaufen worden ist, jeder Zweig in einem Switch-Statement ausgeführt wurde, alle Control Transfers (goto, break, continue, return, throw) genommen worden sind und jeder Exception Handler durchlaufen worden ist. Im wesentlichen bedeutet das, daß die von CTC++ gemessene Decision-Coverage-Abdeckung auch Statement-Coverage-Abdeckung (Anweisungsüberdeckung) umfasst.
Condition Coverage Bedingungsüberdeckung	Condition Coverage wird erreicht durch die Kombination von Decision Coverage und der Überprüfung ob die einzelnen Bedingungen auf "wahr" und "falsch" überprüft worden sind. Condition Coverage entspricht dem Decision Coverage mit der Anforderung, daß für Bedingungen zwingend beide Zweige für "wahr" UND "falsch" durchlaufen werden müssen.
Multicondition Coverage Mehrfachbedingungsüberdeckung	Multicondition Coverage entsprichet dem Condition-Coverage mit der zusätzlichen Anforderung, daß jede mögliche Entscheidung, die auf zwei oder mehreren Bedingungen beruht für ihre Auswertung unabhängig gemessen wird.
Modified Condition/Decision Coverage (MC/DC)	Bei der Modified Condition/Decision Coverage wird eine volle Testüberdeckung nur erreicht, wenn jeder logische Operand in jeder Bedingung mindestens einmal wahr und falsch war, und jede Bedingung mindestens einmal wahr und falsch war. Je nach Sicherheitststufe gibt der internationale technische Standard DO-178B für die Software-Zertifizierung in der Luftfahrtindustrie bestimmte Mindestwerte für diese Code-Coverage-Art vor.

weitere Informationen:
Testwell CTC++ Test Coverage Analyzer for C and C++
CTC++ for Java and C# add-on

last updated: 11.01.2008

© 2003-2008 Verifysoft GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
CTC++ for Java and C# add on is an add on from Verifysoft Technology GmbH
all other trademarks of this site are the property of their respective owners.