Rozdział 22. Łyżka dziegciu
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 ...
Get Piękny kod. Tajemnice mistrzów programowania now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
