Utilisation en ligne de commande

Pour faciliter les tests automatisés, la fonctionnalité de vecteur de test peut être exécutée depuis la ligne de commande :

logisim --test-vector <circuit_name> <test_vector_file> <project.circ>

Ou en utilisant le fichier JAR :

java -jar logisim-evolution.jar --test-vector <circuit_name> <test_vector_file> <project.circ>

Arguments

• <circuit_name> : Le nom du circuit à tester (doit correspondre à un circuit dans le fichier projet)
• <test_vector_file> : Chemin vers le fichier de vecteur de test (par exemple, TestsDLatch.txt)
• <project.circ> : Chemin vers le fichier projet Logisim contenant le circuit

Exemple

java -jar logisim-evolution.jar --test-vector dlatch TestsRegisterFile.txt /home/user/Computer.circ

Ce que fait la commande

La commande va :

1. Charger le circuit spécifié depuis le fichier projet
2. Charger et analyser le fichier de vecteur de test
3. Exécuter tous les tests (en respectant les règles d'exécution séquentielle)
4. Afficher les résultats montrant les tests réussis et échoués
5. Quitter avec le code de statut 0 en cas de succès, non-zéro en cas d'échec

Exemples de sortie de commande

Le résultat d'un test réussi sera envoyé à la sortie standard (stdout), par exemple :

Loading test vector "testv1b.txt" ...
Running 4 vectors ...
1 
2 
3 
4 

Passed : 4, Failed : 0

Et en cas d'échec :

Loading test vector "testv1a.txt" ...
Running 4 vectors ...
1 
2 
3 

  ob = 0 (expected 1)
4 

  ob = 1 (expected 0)

Passed : 2, Failed : 2

Note : Dans la sortie d'erreur (stderr), vous lirez :

Error on test vector 3:
Error on test vector 4:

Précédent : Test séquentiel | Suivant : Conseils et bonnes pratiques.