Implémentation
En langage Signal
- Développer séparément chaque partie
- 1)initialise.sig 2) active.sig 3)commence.sig 4)kontrole.sig
- Eviter de dupliquer les identificateurs
- Pour chaque partie
- faire un jeu d'essais (*.in, *.out)
- tester tous les cas particuliers
- Regrouper les 4 sources
- développer le processus principal chariot.sig
- faire un jeu d'essais (*.in, *.out)
- tester tous les cas particuliers
Notes:
Il est possible que le regroupement échoue (erreur de cycle), alors que chaque module fonctionne isolément.
Lorsqu’on écrit un module, on peut faire une erreur qui conduit un signal de sortie à être sur-échantillonné par rapport à la spécification.
Comme on ne teste pas toutes les possibilités des entrées (on s’en tient à vérifier les spécifications), l’erreur peut passer inaperçue.
A l ’assemblage des modules, s’il y a des bouclages (et c’est le cas du chariot), on voit alors apparaître une erreur de cycle.
Il faut donc pour chaque module, en plus du jeu d’essais, vérifier l ’arborescence des horloges, par le fichier ..._TRA.SIG, qu’on peut obtenir par la commande : sig -tra …