[Sq10] Frage zum Übungsblatt 11

[Wolfgang Runte]

Hallo zusammen,

Nils Oliver Kröger schrieb:
> Was genau ist denn mit einem statischen Backward-slicing gemeint? Ein

mit dem "statisch" wollte ich nur sichergehen, dass niemand auf den
Gedanken kommt, einen "dynamischen" Slice durchführen zu wollen. :-)

> Slice bezieht sich ja immer auf eine Variable an einer bestimmten
> Stelle. Sollen wir alle slices für die beiden Variablen angeben? Oder

Es sind insgesamt drei Slices anzugeben:

1. Backward-Slice für die Variable i
2. Backward-Slice für die Variable res
3. Forward-Slice für die Variable i

> reicht es den slice für die jeweils letzte Verwendung anzugeben? Der
> enthält ja auch die anderen.

Beim Backward-Slice wird bei der letzten Referenz der jeweiligen
Variable begonnen, beim Forward-Slice bei der ersten Definition der
jeweiligen Variable.

Viele Grüße
Wolfgang



-- 
Dipl.-Inf. Wolfgang Runte              woru at informatik.uni-osnabrueck.de
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/woru
D-49069 Osnabrück