Definicja 5 Ariane

Co to jest 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 utraty szacowane na 2 do 6 mld. dolarów, i załamanie się europejskiego programu badań kosmicznych. Powodem katastrofy był błąd w oprogramowaniu – w najwyższym stopniu spektakularny błąd programistyczny, w sensie strat materialnych. Bezpośrednią powodem 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 ogromną ilością następnych, stale nadpisywanych informacji, a Ariane zaczęła schodzić z kursu aż zadziałały procedury autodestrukcji rakiety. Pośrednią powodem było przeniesienie fragmentu oprogramowania z poprzedniej wersji Ariane 4. Bertrand Meyer i jego współpracownicy uważają, iż powodem błędu było niewłaściwe ponowne użycie (re-use) wytworzonych komponentów oprogramowania. Sytuacja Ariane 5 uważają za jeden z argumentów za metodyką projektowania przez kontrakty (Design Aby Contracts), która nie dopuściłaby do stworzenia tego błędu