CINQUIEME PARTIE Les techniques de vérification.
On reprend l'exercice TD 3.2. Cette fois-ci, par contre, on va faire le développement des tests de manière formelle. Exercice 1 (Test fonctionnel). Rappel :.
On reprend l'exercice TD 3.2. Cette fois-ci, par contre, on va faire le développement des tests de manière formelle. Exercice 1 (Test fonctionnel). Rappel :.