Description Ngo Minh NGUYEN 2018-06-21 11:43:24 EDT

Created attachment 274573 [details]
zip

Bonjour,

Je vous envoie un problème que j'ai rencontré en Diversity en faisant la génération de trace de mon modèle (fichier model.xlia en pièce jointe).

En fait, j'ai exécuté mon modèle en utilisant l'exploration en Breath First Search et la génération de trace pour obtenir des traces de mon modèle. Pourtant, parmi les traces générées, il n'y a aucune trace pour le premier chemin à gauche du graphe d'exécution. 

Ensuite, j'ai créé à la main une trace (se trouve au fichier traceForInclusion.txt) qui appartient à ce chemin et puis, je l'utilise dans le module test-offline en mode inclusion (sans Test Purpose) et je trouve que cette trace fait bien partie de l'ensemble des traces de mon modèle.

Je vous joins un zip contenant le modèle, la trace utilisée et le workflow .sew.

Est-ce qu'il s'agit d'un bug en Diversity quand il ne génère pas des traces pour le chemin à gauche?

Merci à vous,
Cordialement