Analyser une divergence code / modèle

Une divergence peut correspondre à :

• une erreur d'implémentation ;
• une évolution fonctionnelle souhaitée ;
• une évolution du modèle d'automatisme ;
• une particularité volontaire de plateforme.

Ne pas conclure automatiquement que la spécification est fausse. Classer l'écart puis corriger le code ou ouvrir la proposition appropriée.