I love bug

I ❤

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

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

クラスターミッション

原因
• 64bit ﬂoat => 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;

input mode:
prepare ok:
x
error 54

原因
• 競合状態のロジックがちゃんと考えられていなかった。
• エラー表示が分かりにくかった
• 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

I love bug

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Andere mochten auch

Andere mochten auch (15)

Mehr von Atsushi Yasuda

Mehr von Atsushi Yasuda (9)

I love bug