Précédent Remonter Suivant

2  Exécution valide

Une exécution est valide si et seulement si pour des entrées données elle produit les sorties attendues. C'est-à-dire si et seulement si l'exécution produit et se termine avec un statut attendu.


Précédent Remonter Suivant