TOOMIX:
SATAI:
Muj soucasny kolega k tematu kritickych systemu s oblibou vypravi historku ze sveho programatorskeho mladi:
Bylo nebylo, dostal se na projekt, kde bylo cilem vyvinout software pro rizeni podpurnych systemu pri jednom typu operace srdce - takove to mereni eeg, ekg, umele dychani, podpora obehu atd atp. Byla to tenkrat docela delikatni operace protoze se provadela na novorozenich v prvni hodine zivota - matka sla na cisare a operace se provadela primo na tom samem sale paralelne, navic se pro tu operaci srdce bere tkan ze stehenni tepny (toho novorozence). No proste cire silenstvi.
Tak nez vubec zacali na tom projektu pracovat, tak primar oddeleni (=zadavatel) vzal nebohe programatory na sal, posadil je do "hlediste" a nechal je sledovat celou tu reznicinu a kdyz to cele skoncilo, tak jim rekl: "Chlapci, kdyz to poserete, to dite se nedozije jedne hodiny. Tak to neposerte." A odesel.
Od te doby povazuje testovani za "pointless nonsense" a jedine co uznava je formalni verifikace a "correctness by construction" :-)