どんなに開発ルール、チェックリストを追加してもすべてのBugを見つけられる保証は無い。C0とかC1、あるいはC2カバレッジ100%を義務付けたとしてダメ。C∞カバレッジ？いや、網羅性だけは完璧だけど、理論上の話。実務では非現実的。航空管制とかプラント制御…