Hi,
es ist fast schon eine Art Naturgesetz, dass jedes Stück Software, das über die Komplexität eines "Hello World"-Beispiels hinausgeht, […]
Warum schränkst du das so ein? Hast du eine Ahnung, wie komplex ein Compiler oder ein Interpreter sind? ;-) Geschweige denn ein Browser.
ja, aber ich wollte ja nicht auf die Bugs von Compilern oder Browsern hinaus, sondern auf die des eigentlichen zu erstellenden Programms. Wenn es so einfach gestrickt ist, dass man systematisch alle möglichen Eingaben testen kann (und das wäre im Fall des klassischen Hello-World-Beispiels ein Nullvektor), dann kann man auch mit hinreichender Sicherheit behaupten, das Programm an sich sei fehlerfrei.
Was das erforderliche Drumherum in der Praxis anstellt, ist nochmal eine ganz andere Baustelle.
So long,
Martin