「史上最悪のソフトウェアバグ」ワースト10を紹介(下)

真ん中より、ちょい下部にアリアン5の話がある。「エラーは64ビットの浮動小数点数を16ビットの符号付き整数に変換するコードの中で起こった。アリアン5では加速度が大きいため、64ビット浮動小数点で表現される数がアリアン4のときよりも大きくなってオーバーフローが起こり、最終的には飛行コンピューターがクラッシュしてしまった」らしい。アリアン4でも存在していたバグをそのまま継承したって話。こういうのは負荷試験で見つけるのかなぁ?結構、ノーマークになっちゃうんだろうなぁ・・・。