Journal Le langage de programmation Linotte et les tests unitaires

Posté par .
Tags :
12
19
avr.
2012

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 à ceux qui les ont postés. Nous n'en sommes pas responsables.