Fenêtre Vecteur de test
Depuis la fenêtre Vecteur de test vous pouvez charger un vecteur de test à partir d'un fichier et Logisim lancera des tests sur le circuit actuel. Il n'y a qu'une seule fenêtre de vecteur de test pour le projet et la table changera pour refléter le circuit simulé dans la fenêtre du projet. Notez cependant que le module vecteur de test exécute une copie séparée du simulateur de circuit et n'interfère donc pas avec la simulation dans la fenêtre du projet et n'est pas influencé par cette simulation.
Pour l'exemple, nous allons tester le circuit ci-dessous. Ce circuit donne les résultats de cinq fonctions logiques à partir de deux entrées. Il comporte une erreur car la porte NAND du bas devrait être une porte AND.
Le fichier de test ressemble à ceci.
A B O_Nor O_Nand O_Xor O_Or O_And O_AB[2] 0 0 1 1 0 0 0 00 0 1 0 1 1 1 0 01 1 0 0 1 1 1 0 10 1 1 0 0 0 1 1 11
Pour lancer le test, sélectionnez le menu | Simulation |→| Vecteur de test | puis utilisez le bouton "Chargez vecteur". Sélectionnez le fichier des vecteurs que vous avez construits. La simulation est exécutée immédiatement et un tableau s'affiche avec le résultat.
Toute sortie incorrecte sera signalée en rouge. Les lignes avec des sorties incorrectes sont triées en haut de la fenêtre.
Le format de fichier des vecteurs est simple. La première ligne contient les entêtes de colonnes qui correspondent au nom des signaux. Si la largeur en bit est plus grande que 1 alors il est nécessaire de le spécifier entre des crochets. Exemple C[8]. Les données de chaque situation de test sont dans les lignes suivantes. Les lignes vides sont ignorées. Tout ce qui suit un caractère "#" est un commentaire.
Les lignes restantes répertorient chaque valeur séparée par un espace ou une tabulation. Les valeurs peuvent être en hexadécimales, octal, binaire ou décimal signé. Les valeurs hexadécimal doivent avoir le préfixe "0x". Les valeurs octales doivent avoir le préfixe "0o". Les nombres binaires et décimaux se distinguent par le nombre de chiffres : les valeurs binaires doivent toujours avoir exactement autant de chiffres que la largeur de la colonne; les valeurs décimales ne doivent pas avoir de zéro en tête et peuvent avoir un signe négatif.
Voici un exemple de fichier vectoriel de test :
#test vector for adder 4bit A[4] B[4] O[4] C_in C_out 0000 0000 0000 0 0 0000 0000 0001 1 0 0xf 0xf 0000 1 0
Selon la représentation des valeurs hexadécimales, octales ou binaires, la lettre minuscule "x" permet de spécifier quatre, trois ou un bits «sans importance». Par exemple a valeur 101xx est une valeur binaire de cinq bits, avec les deux derniers bits non spécifiés, et 0x1ax5 est une valeur hexadécimale avec deux fois quatre bits non spécifiés. De tels jokers ne peuvent pas être utilisés en notation décimale.
Ligne de commande : Pour faciliter les tests automatisés, la fonctionnalité de vecteur de test peut être exécutée à partir de la ligne de commande, comme suit:
java -jar logisim-evolution.jar -w <circuitname> <vector.txt> <project.circ>
Le résultat d'un test réussi sera dans la sortie standard (stdout) celui-ci par exemple
et en cas d'échecLoading test vector "testv1b.txt"… Execution 4 vecteurs… 1 2 3 4 Réussit: 4, Erreur: 0
Note: Dans la sortie erreur (stderr) on lira ceci:Loading test vector "testv1a.txt"… Exécution 4 vectors… 1 2 3 ob = 0 (expected 1) 4 ob = 1 (expected 0) Réussit: 2, Erreur: 2
Error on test vector 3:
Error on test vector 4:
Suite : User's Guide.