Ariane 5

– rakieta kosmiczna będąca efektem europejskiego programu badań kosmicznych (European Space Agency), która 4 czerwca 1996 roku eksplodowała 40 sekund po starcie, przynosząc bezpośrednią stratę 500 mln. dolarów, pośrednie straty szacowane na 2 do 6 mld. dolarów, oraz załamanie się europejskiego programu badań kosmicznych. Przyczyną katastrofy był błąd w oprogramowaniu – najbardziej spektakularny błąd programistyczny, w sensie strat materialnych. Bezpośrednią przyczyną było nieprzechwycenie wyjątku przy konwersji liczby 64-bitowej na 16-bitową, co zawiesiło oprogramowanie. Niezgodność formatów zapisu danych doprowadziła do przeciążenia pamięci zbyt wielką ilością kolejnych, stale nadpisywanych informacji, a Ariane zaczęła schodzić z kursu aż zadziałały procedury autodestrukcji rakiety. Pośrednią przyczyną było przeniesienie fragmentu oprogramowania z poprzedniej wersji Ariane 4. Bertrand Meyer i jego współpracownicy uważają, że przyczyną błędu było niewłaściwe ponowne użycie (re-use) wytworzonych komponentów oprogramowania. Przypadek Ariane 5 uważają za jeden z argumentów za metodyką projektowania poprzez kontrakty (Design By Contracts), która nie dopuściłaby do powstania tego błędu.

Oto filmik przedstawiający eksplozję rakiety Ariane 5:

Użytkownicy trafili tutaj szukając: ariane eksplozja, https://yandex ru/clck/jsredir?from=yandex ru;search;web;;&text=&etext=1837 dMe3DDfiiqdoj-qkod_ODjOsiW2x479DXCZ-wPq5SfscMMqry10mKlKUISK6zYBV 23dfbdbda09081cdc85cc62d8f7701b5d994720d&uuid=&state=_BLhILn4SxNIvvL0W45KSic66uCIg23qh8iRG98qeIXme