Roboter als Programmierer

Wann sind Programme fehlerfrei?

Auf die Frage "Wann ist ein Programm fehlerfrei?" gibt Rösch deshalb die ganz pragmatische Antwort: "Wenn Software nicht das tut, was sie tun soll." Für ihn legt der Kunde fest, was die Software tun soll und dieser definiert auch die Prüfbedingungen. Basis des - ebenfalls automatisierten - Software-Checks sind dabei die Richtlinien nach ISO 9000, Teil 3.

Die Garantie der Fehlerfreiheit bezieht sich damit ausschließlich darauf, dass das Programm sich den Wünschen des Kunden gemäß verhält. Das heißt nicht, dass das Programm tatsächlich fehlerfrei ist. Es können etwa Fehler enthalten sein, die der Kunde nicht bemerkt, weil es für diese Zwecke, in denen sich der Fehler bemerkbar machen würde, gar nicht eingesetzt wird.