パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

エア・ドゥ6便欠航、原因はエンジン制御のバグ」記事へのコメント

  • バグが人命にかかわるようなソフトウェアってどの程度テストされるものなんでしょうか?
    人命に関わりそうなのは、今回のような飛行機の制御、他には航空運行、医療機器、原子力、軍事機器、宇宙開発、あたりがすぐ浮かびました。そのあたりの現状ってどんなものなんだろう。
    • 原発の制御みたいに、バグってるとシャレにならない場合は
      全工数のうち90%以上がテストに費やされるなんて事を
      どこかで読んだような気がします。

      確か、テスト技法関係の書籍だったと思うんですが。
      親コメント
    • どこぞやかの原子力発電所では、プログラムの正当性を確かめるべく、ホーア論理で検証をしたそうです。

      プリコンディション、ポストコンディション、ループインバリアントね。

UNIXはただ死んだだけでなく、本当にひどい臭いを放ち始めている -- あるソフトウェアエンジニア

処理中...