I ❤ BUG

2015/03/30 LT 大会発表資料 やすだあつし

ex-テストエンジニア

=

テスト ≠動くことを証明する =バグを見つける

I <3 バグ

welcome to bug world.

最も高かったバグ

クラスターミッション

876億4800万円

原因• 64bit float => 16 bit int 変換時にオーバーフロー

P_M_DERIVE(T_ALG.E_BH) := UC_16S_EN_16NS (TDB.T_ENTIER_16S ((1.0/C_M_LSB_BH) * G_M_INFO_DERIVE(T_ALG.E_BH)));

L_M_BH_32 := TBD.T_ENTIER_32S ((1.0/C_M_LSB_BH) * G_M_INFO_DERIVE(T_ALG.E_BH)); if L_M_BH_32 > 32767 then P_M_DERIVE(T_ALG.E_BH) := 16#7FFF#; elsif L_M_BH_32 < -32768 then P_M_DERIVE(T_ALG.E_BH) := 16#8000#; else P_M_DERIVE(T_ALG.E_BH) := UC_16S_EN_16NS(TDB.T_ENTIER_16S(L_M_BH_32)); end if;

最も悲惨なバグ

セラック 25

input mode:

input mode: preparing..:

x

input mode: preparing..:

E

input mode: preparing..:

x

input mode: prepare ok:

x

input mode: prepare ok:

x

error 54

5名死亡

原因• 競合状態のロジックがちゃんと考えられていなかった。

• エラー表示が分かりにくかった

• UI が悪かった

• 前々から不具合があったモジュールをコピペしてきた

• 新人プログラマが一人で作って、だれもチェックしてなかった。

最も人を殺したバグ

マルチデータ・システムズ社製治療機

(パナマ国立癌センター)

毎回、設定値の２倍の線量が！！

10年/21人 技師は第二級謀殺で有罪

月の相バグバグphase-of-the-moon-bug bug

もともとは、原因がよく分からない、超自然的な何かが関係しているんじゃないかってバグ

本当に、月の満ち欠けが原因のバグの例が！

と、いう例を載せたページが、正しく印刷できないバグ

いかがでしたでしょうか？

たまには、バグもいいよね。

出典• http://www.sydrose.com/case100/284/

• http://ja.wikipedia.org/wiki/クラスターミッション

• http://q.hatena.ne.jp/1268992600

• http://www.sozogaku.com/fkd/cf/CA0000496.html

• http://www.kisc.meiji.ac.jp/~ethicj/CASE_THERAC.pdf

• http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1034376025

• https://books.google.co.jp/books?id=Zh9sgORBvboC&printsec=frontcover&hl=ja&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false

• http://www.catb.org/jargon/html/P/phase-of-the-moon.html