Show description

Hierzu müssen Tesifälle konstruiert werden. Ein Testfall für eine Funktion besteht aus einem aktuellen Es ist seit Dijkstra bekannt: Test ist nicht geeignet, die Abwesenheit von Fehlern in einem Programm zu beweisen, nur um Fehler zu finden. 1 2. Gleichwertige Lösungen 21 Parameter und aus dem erwarteten Ergebnis. Im Falle der maximalen Teilsumme ist zum Beispiel folge = (-1, -1, -1, +1, +1, +1, +1, -1, -1, -1), Ergebnis = +4 ein Testfall. , deswegen können wir nicht alle durchprobieren und so die Korrektheit eines Programms beweisen.

8: Monsterkurve Monsterkurven werden nach einem regelmäßigen Muster schrittweise verfeinert. Sie erinnern an Formen, die mit Hilfe von Fraktalen erstellt werden 43 3. Rekursion und Wiederholung können. Die Rekursion ist geeignet, die unendlich lange Monsterkurve mit endlich langen Kurven anzunähern. Solche Annäherungen einer Monsterkurve nennen wir rekursive Kurven. Für das Zeichnen von rekursiven Kurven verwenden wir die Technik der Schildkrötengrajik J, die durch einfache Methodenaufrufe zu steuern ist.

Eine ausreichende Anzahl von Testfällen macht jedoch die Gleichwertigkeit plausibel. Bei einer korrekten Implementierung der beiden Klassen erhalten wir die gleichen Ergebnisse: Sie werden von den Aufrufen der Funktionsmethoden geliefert. B. in eine Datei ausgegeben). Eine Alternative zum Stapeltesttreiber ist der Dialogtesttreiber; er enthält nicht die Testfälle, bietet nur einen Rahmen, sie im Dialog zu definieren und die einzelnen Aufrufe auszuführen. h. neue Testfälle können einfach - ohne Programmierung und Neuübersetzung des Testtreibers - angewendet werden.