Kombinationsalgorithmus erzeugt so viele Test-Prozeduren, wie Variationen von Parametern gemacht werden müssen. *SignsAssigned-Variationen die sinnvolle Tests darstellen -------------------------- (1) gar keine Signs [beachte: nur ... prüfen, korrekte Reaktionen können so nicht sichergestellt werden] (2) keine FsbSigns, aber ExitSigns oder RtsSigns (3) keine ExitSigns, aber Fsbsigns oder RtsSigns (4) keine RtsSigns, aber Fsbsigns oder ExitSigns (5) alle Signs (6) verschieden Situationen von Signs an den Adressen: * alle Signtypen (siehe (5)) * Fsb * Rts * Exit * Fsb + Exit * Rts + Exit * Fsb + Rts * gar keins an einer Adresse (siehe (1)) Volle Kombinatorik der Parameter -------------------------------- DecompAct |AutoSolType | *SignAssigned ----------|------------|-------------- [01] F | SOL1 | (1) * [02] F | SOL1 | (2) [03] F | SOL1 | (3) [04] F | SOL1 | (4) * [05] F | SOL1 | (5) * [06] F | SOL1 | (6) ----------|------------|-------------- [07] T | SOL1 | (1) [08] T | SOL1 | (2) * [09] T | SOL1 | (3) [10] T | SOL1 | (4) * [11] T | SOL1 | (5) * [12] T | SOL1 | (6) ----------|------------|-------------- [13] F | SOL2 | (1) [14] F | SOL2 | (2) [15] F | SOL2 | (3) * [16] F | SOL2 | (4) * [17] F | SOL2 | (5) * [18] F | SOL2 | (6) ----------|------------|-------------- [19] T | SOL2 | (1) [20] T | SOL2 | (2) [21] T | SOL2 | (3) [22] T | SOL2 | (4) * [23] T | SOL2 | (5) * [24] T | SOL2 | (6) ----------|------------|-------------- Aufgabe 3: von den 24 Testprozeduren müssen mindestens die mit * markierten umgesetzt werden