ロジック検証のゴールはどこに？（関連情報）：各種カバレッジ手法の活用で正解に近づく