minimale Testmenge |
Minimale Testpaarmenge ist die Menge T mit der geringsten Anzahl von Testpaaren
für jedes xi, von dem f abhängt:
f abhängig von xi <=> fxi = 1
Beispiel
f: B3B mit f (x)
= ¬x1 x3 + x2
f ist abhängig von x1,
denn der Wert ändert sich beim Wechsel von x1:
f (0, 0, 1) = 1
und f (1, 0, 1) = 0
Das Testpaar {(0, 0, 1), (1, 0, 1)} erkennt den Defekt,
der die Abhängigkeit von x1 zerstört. Karnaugh:
Ringsummenform
f |
= x2 ¬x1 x3 ¬x1 x2 x3
= x2 ¬x1 ¬x2 x3
|
Minimale Testmenge ist hier
{(0, 0, 0), (0, 0, 1), (1, 0, 1), (1, 1, 1)}
oder
{(0, 0, 0), (0, 1, 0), (1, 0, 1), (0, 0, 1)}.
|