next up previous contents
Next: Dokumentation Up: Testen des Programms Previous: Korrektheit

Termination

Im Zuge der Ermittlung der Meßdaten für die unter gif gezeigten Diagramme wurde der Algorithmus viele Millionen Male auf hunderttausende verschiedene Zahlenpaare angesetzt und terminierte in jedem Fall. Dies kann meiner Meinung nach als sehr ausführlicher Test der Termination gelten.


next up previous contents
Next: Dokumentation Up: Testen des Programms Previous: Korrektheit

Michael Weiser
Fre Jan 7 00:42:53 CET 2000