Bonjour,
Après vous avoir présenté les greffons en langage Python, voici la deuxième grosse nouveauté qu'apportera la prochaine version 1.7 du langage Linotte (sortie début juillet) : les tests.
Avant l'écriture d'un algorithme, il est maintenant possible de définir un "contrat" auquel devra répondre strictement l'algorithme.
En langage Linotte, voici la définition du contrat d'un programme effectuant l'addition de deux nombres :
L'addition :
Tests :
> 3
> 4
< 7
Le contrat postule qu'en entrée (symbole '>'), le programme recevra le 3 puis le 4 et qu'en sortie, nous attendrons la valeur 7 (symbole '<').
Le contrat étant établi, nous pouvons coder notre algorithme avec sérénité :
L'addition :
Tests :
> 3
> 4
< 7
Principal :
rôles :
a & b :: nombre
actions :
demande a & b
affiche addition ( a, b )
Addition :
rôles :
*v1 :: nombre
*v2 :: nombre
actions :
Retourne v1 + v2
L'atelier de programmation a détecté la présence de tests dans le programme, il propose deux boutons pour l'exécuter : Lire ou Tester.
Si nous cliquons sur Tester, nous obtenons ces lignes :
Le test n° 1 a réussi : Demander "3"
Le test n° 2 a réussi : Demander "4"
Le test n° 3 a réussi : Afficher "7"
Le contrat est bien respecté.
Vous pouvez tester, en version bêta, cette prochaine version depuis ce lien :
http://langagelinotte.free.fr/forum/showthread.php?tid=898&pid=5920#pid5920
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.