Weblabor

Szoftverhiba miatt zuhant le az Airbus. Pontosabban konfigurációs hiba miatt, nem a műveleti kódban hibáztak.

A blogmarkban jelzett cikkhez észrevételek még itt.

Emlékezetes eset volt az Ariane 5 felrobbanása is. Az okairól és a megelőzésükről anno sok vita folyt. Bertrand csak arról hallgat, mit eredményezett volna a DbC a rakéta fellövése után :), akár bekapcsolva hagyták volna az ellenőrzéseket, akár nem.

Ha nem kritikusak a válaszidők, akkor érdemes futásidőben is ellenőrizni az elő- és utófeltételeket, az Eiffel DbC-jéhez hasonlóan. Az "igazi" DbC több ennél, és nyelvi támogatás nélkül nem érhető el (nem csak assertek kellenek, hanem örökölt invariánsok is, ahhoz pedig szigorú OOP), de ettől még nagyon hasznosak az ilyen "félszívű" ellenőrzések is.

Eiffel for embedded systems at Hewlett-Packard, avagy hogyan találtak meg hardverhibát és örökölt kódbeli bugokat nyomtatókban.

Konkurens kódokhoz Eiffelben nincs a Góéhoz hasonló race detector, újabb példa a nyelv(i eszközök) fontosságára.

Az igazi tanulság szerintem az, hogy 1) minden lehetséges eszköz jól jöhet a hibák kiküszöböléséhez 2) a megelőzés fontosabb, mint a "gyógyítás".

Vannak még érdekes és értékes példák, jó lenne, ha az új hozzászólások előre hoznák a régebbi blogmarkokat a listában :). Enélkül fontos témák süllyednek el.

A military plane crash in Spain was probably caused by computer files being accidentally wiped from three of its engines, according to investigators.