TP 4A - Génie Logiciel Tests unitaires et preuve de programmes

de prouver la correction. ? On évalue à environ 40% la part des tests dans le coût d'un logiciel (et plus pour des logiciels.