7. Cohérence correspondances
Problème: Actuellement n'importe quel ensemble {voyage ; deux couples (ville,date)} peux consituer une étape. Or certaines lois physique actuelles ne le voient pas (encore) de cet œuil...
Tests: Pour chaque type d'incohérence possible (non redondantes) : assurer avec un exemple que la construction (d'une telle correspondance incohérente ou l'ajout dans un voyage) n'est pas effectué.
Solution: Il s'agit de ne pas permettre la construction de correspondance incohérente et l'ajout d'étape incohérente dans un voyage, et donc de définir la cohérence des étapes.