Analyse de la couverture du code et détection des défauts