V roku 1931 Gödel dokazal ze "(Formaly) System je bud neuplny alebo obsahuje chyby". Takze k chybam dochadza a dochadzat bude. Sebelepsie testovanie s tym nic neurobi. S chybami treba jednoducho ratat. Priklad z prirody - zive organizmy maju X sposobov co robit "ked sa nieco poserie": Hojenie poraneni, imunitny system, opravne mechanizmy kodovania DNA, etc.
Defence in depth je klucom k problemu, nie bezhlave testovanie.
Nepochopil jste to, Gödel dokázal, že v bezesporném systému jisté síly nelze dokázat jeho vlastní úplnost. V silnějším systému tu úplnost (toho slabšího systému) dokázat můžete. Takže z hlediska silnějšího systému může existovat úplný bezesporný slabší systém, jenže to o sobě nemůže vědět.
Jestli jsem to pochopil správně, testovací program musí být mnohem lépe zpracován, než testovaný program. Jen tak můžeme garantovat bezchybnost testovaného programu. Ty 3 řádky denně jsou zřejmě u testovaného programu, o testovacím nebyla zmínka.
Logicky vzato: testovací program NASA byl mnohem delší a komplexnější, než testovaný.
