- 2010-11-29 (月) 0:30
- 時事
- はやぶさ、岩石採取のための金属球を発射できなかったのはプログラムミスが原因（Slashdot.jp）
http://slashdot.jp/it/10/11/29/0822204.shtml
「イトカワの砂を確認！大成功です！」
「万歳！」
「さあ皆で祝杯だ！」
「おめでとう！おめでとう！」
「金属球が出なくて泣いたことも今じゃいい思い出だな！」
「この雰囲気なら言える！実はあれの原因はおれの…」
笑った。でもこれ、複合的な要素が絡んだバグだと思われる。簡単に責められるものではない。
＞有人宇宙飛行はできませんね。
＞こんな簡単なバグをつぶせないようでは。
その発想は間違っている
試験出来ないバグは簡単なバグなどではなく，潰すのが非常に難しいバグだ
組込系では実地にテストするのが難しい異常対応処理のコードにバグがあって作った意味がなかった－という話は良くあるものだ
有人宇宙飛行のような高信頼性が要求されるシステムでは，試験を念入りにおこなった上で，バグは完全に無くせないことを前提にさらに独立して実装した別系統の制御システムも加える
たしかスペースシャトルの飛行制御システムは複数のコンピュータの多数決＋別機種のコンピュータ・別実装のバックアップ系という構成になっていたはず
バグや故障の存在を前提とした信頼性保証を目指すという発想が出来なければ有人宇宙飛行は出来ない
それが米国人と日本人の違い
（はやぶさはもとより一発勝負だし，失敗したって人が死ぬわけじゃないから，そこまで考えてないし考える必要もない）
- Newer: そう簡単には盗まれない駐輪方法
- Older: 予想だにしない来客
