Abdeckungskriterien

Abdeckungskriterien sind formalisierte Vorgaben, die beschreiben, welche Teile eines Softwaresystems durch Tests oder Analyseverfahren erreicht oder berücksichtigt werden müssen. Sie dienen als Maß für die Vollständigkeit von Testprozeduren und helfen zu entscheiden, wann zusätzliche Testfälle erforderlich sind. Abdeckungskriterien können sich auf Quellcode, Anforderungen, Modelle oder formale Spezifikationen beziehen.

Gängige Typen von Abdeckungskriterien im Softwaretest sind Anweisungsabdeckung (Statement Coverage), Verzweigungs- oder Zweigabdeckung (Branch Coverage), Pfadabdeckung (Path Coverage), Bedingungs- und Bedingung-Kombinationsabdeckung sowie Modified Condition/Decision Coverage (MC/DC). Für andere Artefakte existieren analoge Kriterien, etwa Anforderungsabdeckung oder Modellabdeckung in modellbasierten Methoden.

Messung erfolgt typischerweise als Anteil der erfüllten Elemente (z. B. Prozent der ausgeführten Anweisungen). Werkzeuge zur Codeüberwachung sammeln Laufzeitdaten und berichten Abdeckungsmetriken. In sicherheitskritischen Domänen legen Normen Mindestanforderungen fest; ein bekanntes Beispiel ist die Forderung nach MC/DC in der Luftfahrtzertifizierung.

Abdeckungskriterien sind nützliche Indikatoren, aber keine Garantie für Fehlerfreiheit: Hohe Abdeckung kann getestete, aber fehlerhafte Logik weiterhin übersehen, und einige Pfade sind in der Praxis nicht ausführbar. Daher werden Abdeckungskriterien üblicherweise zusammen mit weiteren Teststrategien, statischen Analysen und formalen Verifikationsmethoden eingesetzt.