コードカバレッジ解析と欠陥検出