Analyse statique et tests unitaires