imported>Maximum 2520: Korrekturen, Links hinzugefügt

2023-03-02T21:49:50Z

Korrekturen, Links hinzugefügt

Neue Seite

Der '''Bedingungsüberdeckungstest''' (engl. Condition Coverage) gehört zu einer Gruppe von [[Überdeckungstest]]s, die zum Testen von [[Software]] verwendet werden.

Das Problem der bisherigen [[Überdeckungstest]]s (C1-Test, C2-Test) ist, dass zusammengesetzte, [[Hierarchie|hierarchische]] Bedingungen nicht ausreichend getestet werden.

== C3a – Einfachbedingungsüberdeckungstest ==
Jede einfache Bedingung muss einmal mit [[Aussagenlogik|true]] und einmal mit [[Aussagenlogik|false]] getestet werden<ref>{{Literatur | Autor = Karol Frühauf, Jochen Ludewig, Helmut Sandmayr | Titel = Software-Prüfung. Eine Anleitung zum Test und zur Inspektion |Auflage = 6., überarbeitete und aktualisierte| Jahr = 2007| Verlag = vdf, Hochschulverlag AG an der ETH | Ort = Zürich | ISBN = 978-3-7281-3059-4 | Seiten = 63}}</ref>. Das bedeutet, dass für folgenden Code zwei verschiedene Möglichkeiten für C3a existieren:
boolean a, b;
if (a || b) {...}
{| class="wikitable"
|+Mögliche Belegungen für C3a
!
! colspan="2" |A
! colspan="2" |B
|-
|<code>a</code>
|<code>true</code>
|<code>false</code>
|<code>false</code>
|<code>true</code>
|-
|<code>b</code>
|<code>true</code>
|<code>false</code>
|<code>true</code>
|<code>false</code>
|}
Möglichkeit A mit A1 und A2 ist ein valider Fall von C3a, B mit B1 und B2 ebenso. Problematisch ist hierbei, dass der Ausdruck <code>a || b</code> bei Belegung B immer zu <code>true</code> evaluiert. Es wird nie getestet, was passiert, wenn die Bedingung nicht passiert wird.

== C3b – Mehrfachbedingungsüberdeckungstest ==
Dieser Test betrachtet alle atomaren Bedingungen einer Bedingung. Wenn n atomare Bedingungen in der Bedingung stehen, dann werden <math>2^n</math> Kombinationen gebildet. Das heißt für das obige Beispiel, dass 4 Testfälle gebildet werden und nur noch eine Möglichkeit besteht:
{| class="wikitable"
|+Mögliche Belegungen für C3b
!
! colspan="4" |A
|-
|<code>a</code>
|<code>true</code>
|<code>true</code>
|<code>false</code>
|<code>false</code>
|-
|<code>b</code>
|<code>true</code>
|<code>false</code>
|<code>true</code>
|<code>false</code>
|}

== C3c – minimaler Mehrfachbedingungsüberdeckungstest ==
Diese Version erstellt mehr Testfälle als C3a und weniger als C3b, indem jede Bedingung (atomar und zusammengestellt) einmal zu true und einmal zu false evaluiert wird. Die logische Struktur wird hierbei berücksichtigt und der C1-Test ([[Zweigüberdeckungstest]]) ist vollständig in diesem Test enthalten.
Außerdem ist der C3c-Test berechenbar. Für obiges Codebeispiel ergeben sich dann wieder zwei Möglichkeiten:
{| class="wikitable"
|+Mögliche Belegungen für C3c
!
! colspan="2" |A
! colspan="3" |B
|-
|<code>a</code>
|<code>true</code>
|<code>false</code>
|<code>true</code>
|<code>false</code>
|<code>false</code>
|-
|<code>b</code>
|<code>true</code>
|<code>false</code>
|<code>false</code>
|<code>true</code>
|<code>false</code>
|-
|<code><nowiki>a || b</nowiki></code>
|<code>true</code>
|<code>false</code>
|<code>true</code>
|<code>true</code>
|<code>false</code>
|}

=== Nachteil ===
Es besteht die Gefahr einer unvollständigen Auswertung einer Bedingung durch eine [[Programmiersprache]] mit sogenannter [[Kurzschlussauswertung|short circuit evaluation]] wie beispielsweise [[C (Programmiersprache)|C]], [[C++]], [[Java (Programmiersprache)|Java]] und [[C-Sharp|C#]].
boolean a, b;
if (a && b) {...} else { lies b aus }
Wenn <code>a=false</code>, dann ist die Belegung der Variable <code>b</code> theoretisch egal. Im Falle von <code>a=false</code> und <code>b=null</code> allerdings, tritt im else-Zweig ein Fehler auf.

== Einzelnachweise ==
{{DEFAULTSORT:Bedingungsuberdeckungstest}}<references />
[[Kategorie:Testen (Software)]]

Bedingungsüberdeckungstest - Versionsgeschichte

imported>Maximum 2520: Korrekturen, Links hinzugefügt