Nachfolgeknoten in Subpfaden für l-dr-Interaktionen

[Wolfgang Runte <woru@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>]

... gestern in einer der Übungen wurde die Frage gestellt, warum für die
durch Testfälle zu überdeckenden Subpfade jeweils der Nachfolgeknoten
einer l-dr-Interaktion miteinbezogen wird. Die Antwort steht im
Liggesmeyer (S. 159):

"Für alle unmittelbaren Nachfolgeknoten m des Knotens n_i, in dem die
letzte Referenz der l-dr-Interaktion enthalten ist, enthält P einen
Subpfad p (m), für den p [der] Interaktionen Subpfad bezüglich der
l-dr-Interaktion ist. Diese Forderung stellt Zweigüberdeckung sicher."

Da beim Required-k-Tupel-Test nicht zwischen p-uses und c-uses
unterschieden wird, kann die letzte Referenz immer auch ein p-use sein.
Wenn als Regel grundsätzlich immer alle möglichen Nachfolgeknoten
miteinbezogen werden, wird Zweigüberdeckung sichergestellt. Auch wenn
man als "Kollateralschaden" in den Subpfaden grundsätzlich mehr Knoten
berücksichtigt als notwendig. ;-)

Viele Grüße
Wolfgang



--
Dipl.-Inf. Wolfgang Runte              woru@xxxxxxxxxxxxxxxxxxxxxxxxxxxx
Institut für Informatik                +49-541-969-2487 (Fon)
Universität Osnabrück                  +49-541-969-2799 (Fax)
Albrechtstraße 28, Raum 31/317         http://www.inf.uos.de/se
D-49069