「一晩で500万行のコードのバグ、セキュリティ脆弱性を解析」記事へのコメント

仕様とのチェックもしてくれないかな～

[Lurch (10536)]

仕様どおりじゃないコードが出来ても．．．．．

--

------------
惑星ケイロンまであと何マイル？

仕様や要求をチェックしてほしい

[atsushifx (28928)]

XPer的意見としては、あとで静的チェックよりもコードを書くときにチェックしてほしい。
コーディングスタイルや仕様との不整合など。

それ以前に、ダメな仕様や要求をチェックしてほしいが
そもそも矛盾している仕様とかが出たらコードが良くても意味ないし

Re:仕様とのチェックもしてくれないかな～

[Anonymous Coward]

ついでに、仕様を解析して仕様レベルの欠陥を検出する機能も……

Re:仕様とのチェックもしてくれないかな～

[Anonymous Coward]

それができたら、仕様どおりのコードを自動生成まであとひといきですね