バグのないプログラムを求めて−ソフトウエア・テスト手法入門−　第３回〜忘れちゃいけない「テストの設計」
日経ソフトウェア　第47号　2002.4.1

この記事の情報
掲載誌	日経ソフトウェア　第47号（2002.4.1）
ページ数	8ページ　（全12717字）
形式	PDFファイル形式　（314kb）
雑誌掲載位置	148〜155ページ目

　欧州宇宙機関のロケット「アリアン５」の爆発事件をご存知ですか？　１９９６年６月，発射直後に突然軌道を外れて分解，爆発してしまった事故のことです。なんとこの事故の原因は，慣性標準装置のソフトウエアのバグにありました。６４ビットの浮動小数点数の数値を１６ビットの変数に押し込めてしまったという，非常に初歩的なミスだったのです。たった一つの小さなバグを見つけられなかったばっかりに防げなかった大事故。テス…