ugrás a tartalomhoz

How Is Critical 'Life or Death' Software Tested?

ydsMo9gx · 2015. Jún. 3. (Sze), 23.58
Hogyan csökkenthető ezredrészére a hibák száma? Miért nem elég még ez sem? Mit tehetünk még a biztonságért?
 
1

Az igazi tanulság

ydsMo9gx · 2015. Jún. 3. (Sze), 17.41
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.
2

Az Ariane esetében érdemes

Joó Ádám · 2015. Jún. 4. (Cs), 00.26
Az Ariane esetében érdemes tenni egy lépést hátra, és elmerengeni azon is, miért történt, ami történt: a kérdéses kódot (ami a korábbi követelményeknek egyébként megfelelt) gondolkodás nélkül vették át az előző projektből.

Egyszer érdekes volna látni egy kimutatást arról, a hibák hány százalékát okozza a felhasznált külső megoldás működésének elégtelen ismerete.
3

Fatal A400M crash linked to data-wipe mistake

ydsMo9gx · 2015. Jún. 10. (Sze), 19.40
A military plane crash in Spain was probably caused by computer files being accidentally wiped from three of its engines, according to investigators.
4

DevOps szakemberek csóválják

Joó Ádám · 2015. Jún. 11. (Cs), 18.01
DevOps szakemberek csóválják a fejüket szerte a világon.