Numérique et sciences informatiques (spécialité) · Première · Langages et programmation

Spécification et tests

• Une spécification est l'ensemble des exigences que doit satisfaire un produit, donc ici une fonction : ce qu'elle reçoit, ce qu'elle renvoie .
• Un test confronte une réalisation à sa spécification : à une entrée donnée correspond une sortie attendue .
• Un test unitaire contrôle une partie précise d'un programme, par exemple une fonction, séparément du reste .
• Un jeu de test réussi ne prouve pas que le code est juste : il faut choisir des cas variés, dont les cas limites.