Legile neîncrederii ale lui GILB

Legile neîncrederii ale lui GILB
 
 
  • 1. Computerele nu sunt "piese" de încredere, dar oamenii sunt şi mai puţin.
  • Corolar: La originea oricărei erori care este atribuită computerului, vei găsi cel puţin două greşeli umane, incluzând-o pe cea care a dat vina pe computer.
  • 2. Orice sistem care se bazează pe corectitudinea oamenilor nu este de încredere.
  • 3. Singura diferenţă dintre un prost si un criminal care atacă un sistem logic este că prostul atacă imprevizibil şi pe un front mai larg.
  • 4. Sistemele care se autoverifică tind să aibă o complexitate proporţională cu instabilitatea inerentă a sistemului în care sunt folosite.
  • 5. Erorile nedetectabile sunt infinite în varietate spre deosebire de erorile care sunt limitate prin definiţie.
  • 6. Toate programele reale conţin erori până la proba contrarie care este imposibilă.
 

Vezi şi alte legi