Manchmal denke ich wirklich das folgende “Gesetz” hat uneingeschränkte Gültigkeit:
Daraus folgt, dass wenn das Problem hinreichend komplex ist, kann man zwar die Anzahl der auftretenen Bugs minimieren, aber die schädlichen Auswirkungen der übriggebliebenen bzw. neu entstandenen Bugs werden damit umso größer. Zum Glück gibt es dann aber noch Donald E. Knuth, der einen immer wieder eines Besseren belehren kann: “Beware of bugs in the above code; I have only proved it correct, not tried it.”