Créer des tests

Nous allons maintenant voir comment créer des tests pour vos processus. Ces tests servent à contrôler les comportements de vos processus et à vérifier qu'ils fonctionnent correctement.

Blocs de test

En Althread, il existe 3 types de blocs de tests :

• always: vérifie qu'une condition est remplie à chaque itération
• never: vérifie qu'une condition n'est jamais remplie lors de l'exécution
• eventually: vérifie qu'une condition est remplie à un moment donné

Voici un exemple de l'utilisation de ces conditions :

shared {
    let X: int;
}

program A() {
    X++;
}

program B() {
    X--;
}

main {
    atomic {
        run A();
        run B();
    }
}

always {
    X < 1;
}

remarque

Ici, le bloc always vérifie que la variable X est toujours inférieure à 1. Le test ne passera que si le processus de type B est exécuté avant le processus de type A.

info

Il n'est pas possible d'utiliser le bloc de test pour des variables locales à un processus.

Fonction assert

Pour des vérifications plus flexibles, consultez la documentation de la fonction assert() qui permet de tester des conditions avec des messages d'erreur personnalisés.