静的検査

仕様の静的検査器のブログ記事について質問や添削を匿名ダイアリーでいただいたので私の意見を回答します。 anond.hatelabo.jp 前書き まず上記の匿名ダイアリー記事を書いてくださった方へ。記事を閲覧しさらにご意見を書いてくださったことに感謝いたします。 おそらく著者様は検証に携わる立場の方なのかなと推察します。いただいたご意見は大変参考になりました。 ここに私からの回答を付け加えることで、記事の訂正及び補足ができると嬉しいなと思っています。 本文 「実装のふるまいを誤っていると判断する」のは本当に仕様の欠陥といえるのか？ → テストで気づくことを想定しているんだろうけど、テストは仕様…