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
-
pour des paramètres donné sur la ligne de commande ;
- pour des valeurs données lues sur l'entrée standard ;
l'exécution produit
-
des valeurs attendues sur la sortie standard et la sortie
d'erreur ;
et se termine avec un statut attendu.