「Coq 庵 - Coq プログラマのアンカンファレンス in 名古屋 (8/29)」記事へのコメント

バグのないプログラムの開発

[Anonymous Coward]

「バグのないプログラムの開発」とか条件抜きで言われちゃうと
「絶対儲かる投資のご紹介」とかと同様無条件に引いてしまうんですが...

何だっけ、5年以上前、バグのないソフトが書ける設計手法だかなにか
提唱している人いませんでしたっけ。中堅どころのベンダーかなにかが
採用とか聞いてあちゃーと思ったけど、あれ、どうなったんでしたっけ。

Re:

[kuramori (38110)]

私が一番アホらしいと思う，この業界のパラダイムは，「バグのないソフトウェアは無い」ですね．これは，二種類のバグを混同しています．仕様記述におけるバグと，実装時のバグです． [fc2.com]

ぜひ、議論の続きを。

Re:バグのないプログラムの開発

[Anonymous Coward]

二重否定しているものを否定して3重否定？

＞ プログラムのバグの方は，もっとずっと簡単で，完全に潰せる問題だと思います

と書いてあるけど つまりは「ソフトウェアのバクは無くせる」ってこと？
実装上のバグが無くなるってかなりすごいことだと思うけど。

Re:

[Anonymous Coward]

元の人の発言は、
　「仕様記述を間違って実装に落としたバグ」
を考慮して無いなら論外でしょう。
経験上、これが一番多いです。
人為的ミスなので、システムでどうこうするのも困難。