August 2012
Intermediate to advanced
608 pages
19h 23m
Polish
Bryan Cantrill
Łyżka dziegciu zepsuje smak beczki miodu.
Prawo entropii Schopenhauera
WPRZECIWIEŃSTWIE DO WIELU RZECZY PROJEKTOWANYCH PRZEZ INŻYNIERÓW poprawność oprogramowania może być określona binarnie — jest ono albo poprawne, albo nie. Oznacza to, że w przeciwieństwie do mostu, samolotu czy też mikroprocesora oprogramowanie nie posiada fizycznych parametrów określających jego poprawność; w przypadku oprogramowania nie można bezpośrednio go oceniać, stosując na przykład takie parametry oceny, jak maksymalna prędkość lub zasięg środowiskowy. Oprogramowanie przypomina więc raczej dowód matematyczny, a nie maszynę — elegancja dowodu lub jej brak są kwestią subiektywnej oceny, natomiast poprawność już nie.
A to faktycznie ...