États et transitions : prévoir et expliquer une séquence

FERMETURE est un état parce qu'il détermine quelles observations sont attendues et quelles sorties sont permises. Obstacle est une entrée booléenne utilisée comme garde prioritaire. Le temps écoulé est une variable comparée au seuil ; son franchissement peut déclencher un passage à DEFAUT. fin_fermeture est un événement qui conduit normalement à FERMEE et ARRET. ARRET est une sortie symbolique, non un état à lui seul. La fiche de décision conserve type, domaine, producteur fictif et consommateur de chaque information.

Erreur à éviter. le diagramme contient un état OBSTACLE entre FERMETURE et OUVERTURE, sans dire ce qui est mémorisé

Pourquoi elle échoue. Une observation instantanée a été transformée en état sans comportement durable ni règle de sortie. La distinction entre entrée, garde et mémoire a disparu.

Comment la reprendre. Conserver obstacle comme entrée et définir la transition prioritaire de FERMETURE vers OUVERTURE. Créer un état distinct seulement si une situation doit être mémorisée.

1. Le but. Choisir une seule transition pour une observation qui satisfait plusieurs gardes. L’état source est FERMETURE, obstacle est vrai, fin_fermeture est reçu et le temps vaut 4,001 s.

2. Lister les règles candidates. R1 peut traiter l’obstacle ; R3 peut traiter le dépassement de durée ; R7 peut traiter la fin de fermeture. Les trois gardes sont vraies dans cette observation.

3. Appliquer l’ordre fourni avant de modifier l’état. R1 précède R3, qui précède R7. La première règle satisfaite est donc R1 : la cible est OUVERTURE et la sortie OUVRIR.

4. Mettre à jour une seule fois. Conserver dans la trace l’état source, l’événement, obstacle, 4,001 s et R1. Puisque l’état change, remettre l’origine temporelle à cet instant pour compter la nouvelle ouverture.

5. Tester un cas voisin. Avec un état source OUVERTURE, obstacle vrai et 4,001 s, R1 ne s’applique pas. R2 conduit à DEFAUT/ARRET. Ce résultat réfute la règle inventée « l’obstacle gagne toujours ».

6. Conclure. Une table ordonnée devient une chaîne de choix exclusive. Des if indépendants pourraient réécrire plusieurs fois l’état et laisser gagner le dernier bloc par accident.

Erreur à éviter. deux instructions if indépendantes affectent successivement OUVERTURE puis FERMEE pour la même observation

Pourquoi elle échoue. Les gardes simultanées n'ont pas été rendues exclusives ni ordonnées. Le dernier bloc du programme gagne par position accidentelle plutôt que par exigence.

Comment la reprendre. Définir une priorité dans la spécification, utiliser une chaîne de choix exclusive et tester toutes les combinaisons simultanées retenues.

1. Le but. Distinguer une limite stricte d’une limite inclusive. Le compteur utilisé est le temps depuis l’entrée dans OUVERTURE, pas le temps global du programme.

2. Tester juste avant. À 3,999 s sans fin de course, la condition elapsed > 4 est fausse : l’état reste OUVERTURE et la sortie reste OUVRIR.

3. Tester exactement sur la frontière. À 4,000 s, elapsed > 4 est encore faux. Si fin_ouverture arrive alors, la règle nominale R5 peut encore s’appliquer.

4. Tester juste après. À 4,001 s, R2 est prioritaire et donne DEFAUT/ARRET, même si fin_ouverture est aussi reçu. Remplacer > par ≥ changerait donc la décision à 4,000 s.

5. Contrôler le rythme d’observation. Pour un mouvement non interrompu sans fin de course ni inversion R1, un intervalle maximal de 0,25 s entre observations place le premier constat dans ]4 ; 4,25] s depuis l’entrée. Le retard d’observation est borné, pas un délai physique mesuré.

6. Conclure. Le seuil interne de 4 s reste distinct de l’exigence de détection à 4,5 s. Une pause bloquante de quatre secondes empêcherait de traiter un obstacle entre-temps et ne reproduirait pas ce modèle.

Erreur à éviter. la fonction attend quatre secondes avec une pause bloquante avant de vérifier l'obstacle

Pourquoi elle échoue. La temporisation a été implémentée comme une attente qui empêche tout traitement intermédiaire. Le temps n'est plus une entrée observable de la décision.

Comment la reprendre. Calculer le temps écoulé à chaque cycle, garder la transition non bloquante et tester qu'un obstacle est traité avant l'expiration.

La fonction step prend state, event, obstacle et elapsed_s. Elle valide types et domaines, puis traite obstacle en FERMETURE, délai dans les deux états de mouvement et transitions nominales. Elle retourne un dictionnaire et une ligne de trace, sans modifier un objet global ni appeler une interface. Un banc compose plusieurs appels en transmettant seulement l'état retourné. Rejouer la même liste d'observations donne donc la même trace. La revue du code confirme que OUVRIR, FERMER et ARRET ne sont que des chaînes et qu'aucune bibliothèque de fichier, réseau, port ou matériel n'est importée.

Erreur à éviter. le test passe seul mais change de résultat après un autre scénario exécuté auparavant

Pourquoi elle échoue. L'état a été stocké dans une variable globale non réinitialisée. Le résultat dépend de l'ordre des tests et non seulement des entrées annoncées. Une fonction qui lit une horloge cachée ou un journal mutable ne peut pas être reproduite uniquement à partir de la liste des arguments conservés.

Comment la reprendre. Passer l'état explicitement, retourner l'état suivant et initialiser chaque scénario. Tester deux exécutions identiques dans des ordres différents.

Le banc conserve d'abord le cycle nominal complet. Il ajoute un obstacle pendant FERMETURE et vérifie OUVERTURE avec OUVRIR, puis un obstacle simultané à fin_fermeture pour tester la priorité. Il teste 3,999 s, 4,000 s et 4,001 s dans chaque état de mouvement, ainsi que l'acquittement depuis DEFAUT. Un état inconnu et un temps négatif doivent être refusés. Enfin, l'énumération du domaine fini vérifie qu'obstacle vrai ne produit jamais FERMER et que chaque cible appartient aux cinq états autorisés.

Erreur à éviter. la couverture de lignes atteint 100 %, mais obstacle et fin_fermeture simultanés n'ont jamais été testés

Pourquoi elle échoue. Exécuter chaque instruction au moins une fois ne couvre pas les combinaisons de gardes, les priorités ni les propriétés sur plusieurs chemins. Une propriété énumérée sur sept valeurs de temps ne décrit pas tous les nombres réels ni les séquences infinies possibles.

Comment la reprendre. Ajouter une matrice des combinaisons pertinentes, des tests de frontière et des invariants, puis relier chaque cas à une exigence ou un risque.

Les six cycles de l’atelier mesuré vont de 9,98 à 10,03 s, pour une moyenne 10,005 s. Le maximum 10,03 est lui aussi sous 12 s ; la moyenne ne remplace pas cette comparaison individuelle. Les chronologies fournies donnent ouverture 3,5 s et maintien 3 s à chaque fois, puis fermeture égale à la durée totale moins 6,5 s. Le résidu moyen +0,005 s par rapport au nominal 10 s se situe donc dans cette phase du jeu synthétique. Cela ne désigne pas un frottement ou une latence physique. On conserve s≈0,018708 s et uA≈0,007638 s, obtenus avec six répétitions supposées indépendantes. Le relevé de défaut et les cycles interrompus par obstacle restent des protocoles distincts ; on ne les agrège pas à ces répétitions pour embellir une moyenne.

Erreur à éviter. les six durées sont moyennées, les chronologies supprimées et le cycle est déclaré conforme

Pourquoi elle échoue. L'agrégation a effacé le maximum, la dispersion et la contribution de chaque état. Une exigence sur tous les cycles a été remplacée sans justification par une exigence sur la moyenne.

Comment la reprendre. Conserver données brutes et chronologies, comparer moyenne et maximum à leurs critères respectifs, puis diagnostiquer les phases avant d'ajuster le modèle.