「Linuxカーネルは商用ソフトよりバグが少ない」記事へのコメント

コード分析方法

[micangel (24043)]

で、Coverityとやらのコード分析ツールとカーネギーメロン大学が
調べた方法は同等のものなの？

Coverityのコード分析ツールがろくにバグを抽出出来ない欠陥品な
だけの可能性はないの？

Re:コード分析方法

[Anonymous Coward]

というか、そもそもコード分析ツールでバグを全て発見できるとは思えないのですが。
（そんなツールがあったら是非欲しいです）

Re:コード分析方法

[Ryo.F (3896)]

もちろんそうなんでしょう。そもそも、仕様に対してプログラムが正しく動作するか、ということに関するバグは、仕様を読まないことには発見しようがありませんしね。
ただ、こういうツールでも発見できる程度のバグがどのくらい残っているか、ということをもって、コードの品質を測る一つの基準とする、と言うことなんじゃないでしょうか。