2014-03-12

http://anond.hatelabo.jp/20140312152221

医療機器で死人出したバグはこれが有名。

http://ja.wikipedia.org/wiki/%E3%82%BB%E3%83%A9%E3%83%83%E3%82%AF25

上のリンクには詳しく書いてないが、発端となったバグは並行プロセスレースコンディションなので、テストでも見つけにくい部類のバグだ。最近なら静的検証ツールで見つけられるかもしれないが。

記事への反応 -

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん