Files
ninlight-w600/tools/station/tests/test_render.py
T
Michael Sauer 22f92988dd test(station): run_daemon selbst treiben statt eine Kopie der Schleife
Die Verdrahtung zwischen RefreshPlanner und Panel - Aktion auf Panel-Methode,
was_full=upgraded, record_sleep(), Reihenfolge decide/ausfuehren/zurueckmelden -
ueberlebte jede Mutation, weil der Test eine nachgebaute Schleife trieb. Am
schlimmsten: der "full"-Zweig auf draw_partial() umgebogen haette bedeutet, dass
es auf einem wachen Panel nie wieder einen echten Vollaufbau gibt.

run_daemon() nimmt jetzt Uhr, Panel und Zustandsquelle entgegen (Vorgaben
unveraendert) und wird im Test mit Fake-Uhr und protokollierendem Panel-Doppel
direkt getrieben; die Nachbildung _run_schedule() entfaellt ersatzlos.
Dazu: RefreshPlanner liest die Intervallkonstanten wieder pro Entscheidung statt
sie als Default-Argument zur Importzeit zu binden, record_sleep() verliert den
toten now-Parameter.
2026-09-13 22:20:11 +02:00

753 lines
33 KiB
Python

import json
import sys
from pathlib import Path
sys.path.insert(0, str(Path(__file__).resolve().parent.parent / "display"))
import display # noqa: E402
import epdconfig # noqa: E402
import render # noqa: E402
def test_off_mode_says_so_and_shows_nothing_else():
lines = render.lines({"mode": "off"})
assert any("Station aus" in l for l in lines)
assert not any("SSID" in l for l in lines)
def test_migration_shows_detected_lamp():
lines = render.lines({
"mode": "migration", "phase": "auto", "served": 3,
"ssid": "qconnex-firmware",
"last_seen": {"product_name": "Klyqa GU10 RGB CW/WW", "target": "gu10_rgb",
"variant": "prod", "lamp_version": "V1.1.0.1138"},
"recent": [{"target": "gu10_rgb", "status": "ok", "ts": "2026-09-13T13:04:02Z"}]})
text = "\n".join(lines)
assert "MIGRATION" in text
assert "Klyqa GU10 RGB CW/WW" in text
assert "V1.1.0.1138" in text
assert "prod" in text
assert "13:04" in text
def test_recovery_mode_without_traffic():
lines = render.lines({"mode": "recovery", "ssid": "ninlight-recovery",
"served": 0, "recent": []})
text = "\n".join(lines)
assert "RETTUNG" in text
assert "ninlight-recovery" in text
def test_long_product_name_is_not_truncated_by_lines():
"""lines() kuerzt bewusst NICHT (mehr) - Breitenkuerzung braucht eine echte
Textmessung (schriftabhaengig, siehe render.py-Modul-Docstring/Fixrunde 2) und
passiert deshalb erst in compose(). lines() bleibt so ohne Pillow testbar und liefert
hier den vollen, ungekuerzten Produktnamen zurueck."""
lines = render.lines({"mode": "migration", "phase": "listen", "served": 0, "recent": [],
"ssid": "qconnex-firmware",
"last_seen": {"product_name": "X" * 90, "target": "e27_rgb",
"variant": "dev", "lamp_version": "V1"}})
assert "X" * 90 in lines
def test_truncate_to_width_shortens_and_appends_ellipsis():
"""_truncate_to_width() selbst importiert kein Pillow - eine einfache Zeichenzahl-
Messfunktion reicht, um die Kuerzungslogik ohne Hardware/Pillow zu pruefen."""
result = render._truncate_to_width("X" * 50, measure=len, max_width_px=10)
assert len(result) <= 10
assert result.endswith("…")
def test_truncate_to_width_leaves_short_text_untouched():
assert render._truncate_to_width("kurz", measure=len, max_width_px=10) == "kurz"
def test_compose_does_not_draw_into_the_last_column_for_long_lines():
"""Regressionstest zu Fixrunde 3: der Reviewer hat per Mutation belegt, dass eine
deaktivierte Kuerzung in compose() (fitted = line) die vorherige Testsuite NICHT
aufgehalten haette, weil der alte Test die Kuerzung selbst nachbaute (mit derselben
_truncate_to_width()-Funktion, die auch geprueft werden sollte) statt das von
compose() tatsaechlich GEZEICHNETE BILD zu inspizieren.
Dieser Test prueft stattdessen die Pixel direkt: bei korrekt wirkender Kuerzung
bleibt die letzte Panel-Spalte (x = PANEL_WIDTH_PX - 1) fuer eine absichtlich sehr
lange Zeile weiss, weil die Kuerzung auf PANEL_WIDTH_PX - 2*TEXT_MARGIN_PX zielt
(empirisch mit echtem Pillow bestaetigt: die rechte Kante liegt bei ca. Spalte 237,
deutlich vor Spalte 249). Mit deaktivierter Kuerzung fuellt der zeichenweise laengere
Text die Zeile bis zum Rand - ebenfalls empirisch bestaetigt (die letzte Spalte
enthaelt dann einen schwarzen Pixel)."""
state = {"mode": "migration", "phase": "listen", "served": 0, "recent": [],
"ssid": "qconnex-firmware",
"last_seen": {"product_name": "W" * 200, "target": "e27_rgb",
"variant": "dev", "lamp_version": "V1"}}
image = render.compose(state)
pixels = image.load()
last_col = render.PANEL_WIDTH_PX - 1
black_in_last_column = any(pixels[last_col, y] == 0 for y in range(render.PANEL_HEIGHT_PX))
assert not black_in_last_column, "Text erreicht die letzte Spalte - Kuerzung wirkt nicht"
def test_missing_fields_do_not_raise():
"""status.json kann jederzeit halb geschrieben oder aus einer aelteren Version sein."""
for state in ({}, {"mode": "migration"}, {"mode": "migration", "last_seen": {}}):
assert render.lines(state)
def test_armed_phase_is_visible():
lines = render.lines({"mode": "migration", "phase": "armed", "armed_target": "g95_cw",
"served": 0, "recent": [], "ssid": "qconnex-firmware"})
assert "FREIGEGEBEN" in "\n".join(lines)
# --- display.build_state() (Fixrunde 1, I3) ---------------------------------------
#
# Dieselbe Unterscheidung, die im CLI (tools/station/ninlight-station, status_cmd) zweimal
# nachgebessert werden musste: Phase/armed_target kommen aus control.json und sind nur im
# Migrationsmodus gueltig; ein control.json-Rest aus einer frueheren Migration darf im
# Rettungsmodus nicht als "FREIGEGEBEN" durchschlagen.
def test_control_json_is_ignored_outside_migration_mode(tmp_path, monkeypatch):
monkeypatch.setattr(display, "_service_active", lambda service_name: True)
(tmp_path / "mode").write_text("recovery")
(tmp_path / "control.json").write_text(json.dumps({"phase": "armed", "armed_target": "g95_cw"}))
conf_path = tmp_path / "station.conf"
conf_path.write_text("SSID='ninlight-recovery'\n")
state = display.build_state(run_dir=tmp_path, conf_path=conf_path, service_name="x")
assert state["mode"] == "recovery"
assert "phase" not in state
assert "armed_target" not in state
assert "FREIGEGEBEN" not in "\n".join(render.lines(state))
def test_build_state_off_when_service_not_active(tmp_path, monkeypatch):
monkeypatch.setattr(display, "_service_active", lambda service_name: False)
# Selbst ein noch so frisches/gueltiges status.json darf "off" nicht verhindern -
# "ninlight-station off" laesst status.json bewusst unangetastet liegen.
(tmp_path / "mode").write_text("migration")
(tmp_path / "status.json").write_text(json.dumps({"mode": "migration", "served": 5}))
state = display.build_state(run_dir=tmp_path, conf_path=tmp_path / "station.conf",
service_name="x")
assert state == {"mode": "off"}
def test_build_state_mode_comes_from_mode_file_not_status_json(tmp_path, monkeypatch):
"""Der Modus-Vorrang liegt bei RUN_DIR/mode, nicht bei status.json's "mode"-Feld -
status.json kann veraltet sein (Fixrunde 1, Kleinigkeit: der Vorrang war zuerst
umgekehrt)."""
monkeypatch.setattr(display, "_service_active", lambda service_name: True)
(tmp_path / "mode").write_text("recovery")
(tmp_path / "status.json").write_text(json.dumps({"mode": "migration", "served": 1}))
conf_path = tmp_path / "station.conf"
conf_path.write_text("SSID='ninlight-recovery'\n")
state = display.build_state(run_dir=tmp_path, conf_path=conf_path, service_name="x")
assert state["mode"] == "recovery"
assert state["served"] == 1
def test_build_state_falls_back_to_recovery_without_mode_file(tmp_path, monkeypatch):
monkeypatch.setattr(display, "_service_active", lambda service_name: True)
state = display.build_state(run_dir=tmp_path, conf_path=tmp_path / "station.conf",
service_name="x")
assert state["mode"] == "recovery"
def test_read_conf_accepts_export_prefix(tmp_path):
"""setup_pi.sh prueft beim Nachtragen fehlender Schluessel ausdruecklich auf ein
optionales "export "-Praefix (^(export[[:space:]]+)?KEY=) - eine bereits vorhandene
Konfigurationsdatei mit "export SSID=..." muss also genauso gelesen werden koennen."""
conf_path = tmp_path / "station.conf"
conf_path.write_text("export SSID='ninlight-recovery'\nexport MIGRATE_SSID='qconnex-firmware'\n")
values = display._read_conf(conf_path)
assert values["SSID"] == "ninlight-recovery"
assert values["MIGRATE_SSID"] == "qconnex-firmware"
# --- Panel-Stubs fuer die V2/V3-Aufwach-/Schlafsequenz (Fixrunde 2, N1) --------------
#
# gpiozero/spidev sind auf der Entwicklungsmaschine nicht installiert (und selbst wenn
# sie es waeren, haengt hier kein echtes Panel) - diese Fakes implementieren nur genau
# die Teilmenge der Schnittstelle, die epdconfig.py und die vendored Panel-Treiber
# tatsaechlich aufrufen, damit Panel() end-to-end (ohne echte Hardware) durchlaufen kann.
class _FakeDigitalOutputDevice:
def __init__(self, pin):
self.pin = pin
self.value = False
def close(self):
pass
class _FakeDigitalInputDevice:
def __init__(self, pin, pull_up=False):
self.pin = pin
self.value = 0 # "idle", nie "busy" - sonst haengt ReadBusy() in einer Schleife
def close(self):
pass
class _FakeGpiozeroModule:
DigitalOutputDevice = _FakeDigitalOutputDevice
DigitalInputDevice = _FakeDigitalInputDevice
class GPIOZeroError(Exception):
pass
class _FakeSpiDev:
def __init__(self):
self.max_speed_hz = None
self.mode = None
def open(self, bus, device):
pass
def writebytes(self, data):
pass
def writebytes2(self, data):
pass
def close(self):
pass
class _FakeSpidevModule:
SpiDev = _FakeSpiDev
def _stub_hardware(monkeypatch):
"""Ersetzt epdconfig's Sicht auf gpiozero/spidev durch die Fakes oben, taeuscht ein
vorhandenes /dev/spidev0.0 vor, macht delay_ms() ein No-op (epd.sleep() wartet sonst
echte 2 Sekunden) und stellt sicher, dass epdconfig mit "nichts offen" in den Test
geht - epdconfig haelt seinen Zustand in Modulglobalen, die sonst zwischen Tests
durchsickern koennten."""
monkeypatch.setattr(epdconfig, "gpiozero", _FakeGpiozeroModule)
monkeypatch.setattr(epdconfig, "spidev", _FakeSpidevModule)
monkeypatch.setattr(epdconfig.os.path, "exists", lambda path: True)
monkeypatch.setattr(epdconfig, "delay_ms", lambda ms: None)
monkeypatch.setattr(epdconfig, "_spi", None)
monkeypatch.setattr(epdconfig, "_rst_pin", None)
monkeypatch.setattr(epdconfig, "_dc_pin", None)
monkeypatch.setattr(epdconfig, "_busy_pin", None)
def test_v3_partial_draw_after_sleep_does_not_crash(monkeypatch):
"""Regressionstest zu Fixrunde 2, N1 - genau der vom Reviewer nachgestellte Ablauf:
Panel("V3") -> clear -> draw_full -> sleep -> draw_partial. Vorher stuerzte das mit
AttributeError ab: epd.sleep() schliesst ueber epdconfig.module_exit() die
GPIO-Pins, und epd2in13_V3.displayPartial() fasst als Erstes die Reset-Leitung an -
von main()s except (DisplayUnavailable, ImportError) NICHT gefangen, also ein
echter Absturz (Exit 1, Neustartschleife). V3 ist die Vorgaberevision, und der
Vollaufbau-nach-jedem-Bild-Ansatz aus Fixrunde 1 erreichte diesen Pfad bei der
ersten Inhaltsaenderung ohne Moduswechsel - binnen Sekunden nach dem Start.
Mit dem Panel._awake-Tracking wertet draw_partial() sich nach sleep() selbst zu
einem Vollaufbau auf, statt die geschlossenen Pins anzufassen - dieser Test waere
mit der Fixrunde-1-Fassung von Panel fehlgeschlagen und besteht jetzt."""
_stub_hardware(monkeypatch)
panel = display.Panel("V3")
image = render.compose({"mode": "off"})
panel.clear()
panel.draw_full(image)
panel.sleep()
panel.draw_partial(image) # das ist der Schritt, der vorher abgestuerzt waere
def test_v2_partial_draw_after_sleep_does_not_crash(monkeypatch):
"""Dieselbe Rauchprobe fuer V2 wie oben fuer V3 (Fixrunde 2, N3) - dass hier NICHTS
crasht, ist aber nur die halbe Absicherung: ob dabei auch die RICHTIGEN Register
gesetzt werden, prueft erst der staerkere Test unten
(test_v2_wake_after_sleep_sets_full_update_registers) mit einem Kommando-Rekorder.
Der Reviewer hat zu Recht angemerkt, dass eine Fassung dieses Tests ohne jede
Zusicherung nichts ueber die Registerlage aussagt - deshalb hier wenigstens die
beobachtbaren Panel-Zustandsuebergaenge pruefen."""
_stub_hardware(monkeypatch)
panel = display.Panel("V2")
image = render.compose({"mode": "off"})
panel.clear()
panel.draw_full(image)
panel.sleep()
assert panel._awake is False # Vorbedingung fuer den eigentlich interessanten Schritt
panel.draw_partial(image) # das ist der Schritt, der bei falscher Sequenz froeren wuerde
assert panel._awake is True
assert epdconfig._spi is not None # Panel hat sich nach dem Schlafen neu initialisiert
def test_panel_sleep_is_idempotent(monkeypatch):
"""Ein zweiter sleep()-Aufruf, waehrend das Panel schon schlaeft, darf nicht
versuchen, ueber die von module_exit() bereits geschlossenen Pins SPI-Befehle zu
schicken (derselbe AttributeError-Mechanismus wie N1, nur selbst herbeigefuehrt).
Die staerkere Fassung unten (test_panel_sleep_sends_no_commands_when_already_asleep)
prueft das zusaetzlich direkt an der gesendeten Kommandofolge."""
_stub_hardware(monkeypatch)
panel = display.Panel("V3")
panel.clear()
panel.sleep()
assert panel._awake is False
panel.sleep() # darf nicht erneut versuchen, epd.sleep() aufzurufen
assert panel._awake is False
# --- Kommando-Rekorder: Registerzustand nach echten Bytes pruefen, nicht nur "kein Absturz"
#
# Der Reviewer hat per Mutation gezeigt, dass die Stubs oben (_stub_hardware) N2/N3 nicht
# wirklich absichern: displayPartBaseImage(buf) durch display(buf) ersetzen, oder die
# V2-Registerfolge nach sleep() kaputt machen, liess alle bisherigen Tests gruen. Ein
# stiller Registerzustandsfehler wirft keine Ausnahme - die einzige Art, ihn in Software
# statt erst am Panel selbst zu fassen, ist die tatsaechlich gesendete Byte-Folge zu
# protokollieren. Ersetzt dafuer epdconfig's Funktionen direkt (nicht gpiozero/spidev
# darunter) und wertet aus, welche Bytes waehrend DC=0 (Kommando) vs. DC=1 (Daten)
# gesendet wurden - siehe send_command()/send_data() in den vendored Treibern.
class _RecordingHardware:
def __init__(self):
self.commands: list[int] = []
self._dc = 0
self._busy = 0
def digital_write(self, pin, value):
if pin == epdconfig.DC_PIN:
self._dc = value
# RST_PIN/CS_PIN sind fuer die Kommandofolge nicht relevant.
def digital_read(self, pin):
return self._busy
def delay_ms(self, ms):
pass
def spi_writebyte(self, data):
if self._dc == 0:
self.commands.extend(data)
def spi_writebyte2(self, data):
pass # Nutzdaten (Bildpuffer/LUT) - fuer die Kommandofolge nicht relevant.
def module_init(self):
return 0
def module_exit(self):
pass
def _install_recorder(monkeypatch) -> _RecordingHardware:
recorder = _RecordingHardware()
monkeypatch.setattr(epdconfig, "digital_write", recorder.digital_write)
monkeypatch.setattr(epdconfig, "digital_read", recorder.digital_read)
monkeypatch.setattr(epdconfig, "delay_ms", recorder.delay_ms)
monkeypatch.setattr(epdconfig, "spi_writebyte", recorder.spi_writebyte)
monkeypatch.setattr(epdconfig, "spi_writebyte2", recorder.spi_writebyte2)
monkeypatch.setattr(epdconfig, "module_init", recorder.module_init)
monkeypatch.setattr(epdconfig, "module_exit", recorder.module_exit)
return recorder
def test_v3_full_refresh_writes_reference_buffer(monkeypatch):
"""Regressionstest zu Fixrunde 2, N2 - mit einer echten Zusicherung (Fixrunde 3): ein
Vollaufbau muss bei V3 sowohl RAM 0x24 als auch 0x26 beschreiben
(displayPartBaseImage() statt display()), sonst arbeitet der naechste Teilaufbau
gegen einen undefinierten Referenzpuffer. Der Reviewer hat per Mutation
(displayPartBaseImage(buf) -> display(buf)) gezeigt, dass die vorherige Testsuite das
nicht bemerkt haette - dieser Test waere mit dieser Mutation rot."""
recorder = _install_recorder(monkeypatch)
panel = display.Panel("V3")
image = render.compose({"mode": "off"})
panel.clear()
recorder.commands.clear() # nur der eigentliche Vollaufbau interessiert hier
panel.draw_full(image)
assert 0x24 in recorder.commands, f"0x24 (aktuelles RAM) fehlt: {recorder.commands}"
assert 0x26 in recorder.commands, f"0x26 (Referenzpuffer) fehlt: {recorder.commands}"
assert recorder.commands.index(0x26) > recorder.commands.index(0x24)
def test_v2_wake_after_sleep_sets_full_update_registers(monkeypatch):
"""Regressionstest zu Fixrunde 2, N3 - mit einer echten Zusicherung (Fixrunde 3,
statt der vorherigen Fassung ganz ohne): nach sleep() muss der naechste Aufbau
(draw_partial(), das sich wegen Panel._awake selbst zu einem Vollaufbau aufwertet)
die Register senden, die NUR der FULL_UPDATE-Zweig von epd2in13_V2.init() setzt
(0x01 Driver output control, 0x11 Data entry mode, 0x44/0x45 RAM-Fenster, 0x4E/0x4F
RAM-Zaehler), und danach sowohl 0x24 als auch 0x26 beschreiben. Dieser Fehler wirft
keine Ausnahme - er ist nur an der gesendeten Byte-Folge erkennbar, sonst erst am
Panel selbst, wo er von einem Verdrahtungsfehler nicht zu unterscheiden waere."""
recorder = _install_recorder(monkeypatch)
panel = display.Panel("V2")
image = render.compose({"mode": "off"})
panel.clear()
panel.draw_full(image)
panel.sleep()
recorder.commands.clear() # nur die Kommandofolge NACH dem Schlafen interessiert hier
panel.draw_partial(image)
required = [0x01, 0x11, 0x44, 0x45, 0x4E, 0x4F]
positions = [recorder.commands.index(cmd) for cmd in required
if cmd in recorder.commands]
assert len(positions) == len(required), (
f"FULL_UPDATE-Register fehlen nach sleep(): {recorder.commands}")
assert positions == sorted(positions), (
f"FULL_UPDATE-Register nicht in der erwarteten Reihenfolge: {recorder.commands}")
assert 0x24 in recorder.commands and 0x26 in recorder.commands, (
f"0x24/0x26 (Referenzpuffer) fehlen: {recorder.commands}")
idx_24 = recorder.commands.index(0x24)
idx_26 = recorder.commands.index(0x26)
assert idx_24 > positions[-1], "0x24 vor den FULL_UPDATE-Registern geschrieben"
assert idx_26 > idx_24, "0x26 (Referenzpuffer) fehlt oder kommt vor 0x24"
def test_panel_clear_establishes_reference_buffer(monkeypatch):
"""Regressionstest zu Fixrunde 3, F2: clear() setzte vorher self._awake=True, ohne
einen 0x26-Referenzpuffer zu schreiben (epd.Clear() schreibt nur 0x24, bei V2 ist das
0x26-Schreiben in Clear() sogar auskommentiert) - ein draw_partial() direkt nach
clear() liefe gegen denselben undefinierten Puffer, den N2 eigentlich beheben
sollte. clear() verwendet jetzt wie draw_full() displayPartBaseImage()."""
recorder = _install_recorder(monkeypatch)
panel = display.Panel("V3")
panel.clear()
assert 0x24 in recorder.commands
assert 0x26 in recorder.commands
assert panel._awake is True
def test_panel_sleep_sends_no_commands_when_already_asleep(monkeypatch):
"""Staerkere Fassung von test_panel_sleep_is_idempotent (Fixrunde 3): ein zweiter
sleep()-Aufruf darf NICHT nochmal versuchen, ueber die schon geschlossenen Pins
SPI-Befehle zu schicken - hier direkt an der aufgezeichneten Kommandofolge geprueft
statt nur daran, dass keine Ausnahme fliegt."""
recorder = _install_recorder(monkeypatch)
panel = display.Panel("V3")
panel.clear()
panel.sleep()
recorder.commands.clear()
panel.sleep() # bereits asleep - darf keine weiteren Kommandos senden
assert recorder.commands == []
def test_draw_partial_reports_whether_it_upgraded_itself(monkeypatch):
"""Fixrunde 3, F4 - vom Reviewer per Mutation als ungetestet belegt: gibt
draw_partial() nach dem Aufwerten `False` statt `True` zurueck, blieben alle 21 Tests
gruen. Der Rueckgabewert ist aber die einzige Information, an der RefreshPlanner
erkennt, dass die 30-Minuten-Uhr neu beginnt - ohne ihn kaeme der naechste
Ghosting-Ausgleich zu frueh und alterte das Panel ohne Not."""
_install_recorder(monkeypatch)
panel = display.Panel("V3")
image = render.compose({"mode": "off"})
panel.clear()
assert panel.draw_partial(image) is False, "waches Panel: kein Vollaufbau noetig"
panel.sleep()
assert panel.draw_partial(image) is True, (
"nach sleep() wertet draw_partial() intern zu einem Vollaufbau auf - das muss es "
"auch zurueckmelden")
assert panel.draw_partial(image) is False, "danach ist das Panel wieder wach"
def test_compose_survives_a_newline_inside_a_value():
"""Fixrunde 3, F5 - ebenfalls per Mutation als ungetestet belegt (`line = raw_line`
liess alle Tests gruen): draw.textlength() wirft ValueError("can't measure length of
multiline text"), sobald eine Zeile ein "\\n" enthaelt. product_name kommt aus der
Lampenerkennung, ist also letztlich Netzwerkdatum - und ein ValueError hier faengt
main()s `except (DisplayUnavailable, ImportError)` NICHT ab, das waere ein echter
Absturz des Dienstes."""
state = {"mode": "migration", "phase": "auto", "served": 0, "recent": [],
"last_seen": {"product_name": "Klyqa\nGU10", "target": "gu10_rgb",
"variant": "prod", "lamp_version": "V1"}}
image = render.compose(state) # vor F5: ValueError
assert image.size == (render.PANEL_WIDTH_PX, render.PANEL_HEIGHT_PX)
# --- run_daemon() gegen eine Fake-Uhr durchspielen (Fixrunde 4, verschaerft in 5) -----
#
# run_daemon() hatte null Testabdeckung - die gesamte Zeitsteuerung steckte in einer
# Endlosschleife. Sie liegt jetzt in display.RefreshPlanner, aber die ENTSCHEIDUNG allein
# zu pruefen reicht nicht: der Reviewer hat in Fixrunde 5 gezeigt, dass alle drei
# Mutationen an der VERDRAHTUNG zwischen Planer und Panel gruen blieben, solange der Test
# eine nachgebaute Schleife statt run_daemon() selbst trieb (was_full=upgraded verworfen,
# record_sleep() gestrichen, "full" auf draw_partial() umgebogen - letzteres haette
# bedeutet: nie wieder ein echter Vollaufbau auf wachem Panel).
#
# Deshalb wird hier das ECHTE run_daemon() getrieben - mit eingeschleuster Fake-Uhr und
# einem protokollierenden Panel-Doppel. Die frueher hier stehende Nachbildung
# (_run_schedule) ist ersatzlos entfallen, damit es nur eine Fassung der Schleife gibt.
SIX_HOURS_S = 6 * 60 * 60
class _StopDaemon(Exception):
"""Bricht run_daemon()s Endlosschleife ab, sobald die simulierte Zeit abgelaufen ist."""
class _FakeClock:
"""Ersetzt das time-Modul in run_daemon(): monotonic() liefert die simulierte Zeit,
sleep() laesst sie springen, statt tatsaechlich zu warten."""
def __init__(self, until_s: float) -> None:
self.t = 0.0
self.until_s = until_s
def monotonic(self) -> float:
return self.t
def sleep(self, seconds: float) -> None:
self.t += seconds
if self.t > self.until_s:
raise _StopDaemon
class _RecordingPanel:
"""Panel-Doppel: protokolliert jeden Aufruf mit Zeitstempel und bildet genau das
Verhalten des echten Panels nach, das die Zeitsteuerung beeinflusst - die
Selbst-Aufwertung von draw_partial() auf einem schlafenden Panel (dort als "wake-full"
protokolliert, weil ein solcher Aufbau eben NICHT nur teilweise auffrischt, siehe
test_draw_partial_reports_whether_it_upgraded_itself fuer den Nachweis am echten
Panel) und die Idempotenz von sleep() (ein Aufruf auf einem schon schlafenden Panel
wird als "sleep-noop" protokolliert: unschaedlich, aber ein Zeichen, dass run_daemon()
das Einschlafen nicht zurueckgemeldet hat)."""
def __init__(self, clock: _FakeClock) -> None:
self.clock = clock
self.calls: list[tuple[float, str]] = []
self.awake_s = 0.0
self._awake = False
self._awake_since = 0.0
def _record(self, name: str) -> None:
self.calls.append((self.clock.monotonic(), name))
def _wake(self) -> None:
if not self._awake:
self._awake = True
self._awake_since = self.clock.monotonic()
def clear(self) -> None:
self._record("clear")
self._wake()
def draw_full(self, image) -> None:
assert image is not None
self._record("full")
self._wake()
def draw_partial(self, image) -> bool:
assert image is not None
if not self._awake:
self._record("wake-full")
self._wake()
return True
self._record("partial")
return False
def sleep(self) -> None:
if not self._awake:
self._record("sleep-noop")
return
self._record("sleep")
self.awake_s += self.clock.monotonic() - self._awake_since
self._awake = False
def _finish(self, end_t: float) -> None:
if self._awake:
self.awake_s += end_t - self._awake_since
def _drive_daemon(state_at, duration_s: float) -> _RecordingPanel:
"""Laesst das echte display.run_daemon() `duration_s` simulierte Sekunden laufen.
`state_at(t)` liefert den Zustand, den build_state() zum Zeitpunkt t liefern wuerde."""
clock = _FakeClock(duration_s)
panel = _RecordingPanel(clock)
try:
display.run_daemon("V3", clock=clock, panel=panel,
read_state=lambda: state_at(clock.monotonic()))
except _StopDaemon:
pass
panel._finish(clock.monotonic())
return panel
def _times(panel: _RecordingPanel, call: str) -> list[float]:
return [t for t, name in panel.calls if name == call]
def _changing_every(period_s, mode="recovery"):
"""Zustand, der sich alle `period_s` Sekunden aendert (und sonst gleich bleibt)."""
return lambda t: {"mode": mode, "served": int(t // period_s), "recent": []}
def test_static_content_never_triggers_another_full_refresh():
"""Fixrunde 3, F3 - vom Reviewer per Mutation als ungetestet belegt: nimmt man die
Bedingung `partials_since_full > 0` aus `stale` heraus, bleiben alle Tests gruen.
Genau diese Bedingung verhindert aber den 33-%-Bias-Zyklus: bei UNVERAENDERTEM Inhalt
gibt es keine Geisterbilder aus Teilaufbauten auszugleichen, ein Vollaufbau alle 30
Minuten waere reine Alterung - und weckt das Panel jedesmal fuer weitere 10 Minuten
auf."""
panel = _drive_daemon(lambda t: {"mode": "recovery", "served": 0, "recent": []},
SIX_HOURS_S)
assert _times(panel, "full") == [0.0], (
f"nur der Erstaufbau darf voll sein, tatsaechlich: {_times(panel, 'full')}")
assert _times(panel, "partial") == []
assert _times(panel, "sleep") == [600.0], "genau einmal einschlafen, dann Ruhe"
assert _times(panel, "sleep-noop") == [], (
"run_daemon() hat das Einschlafen nicht zurueckgemeldet - panel.sleep() wird "
"seitdem in jeder Runde erneut gerufen")
assert panel.awake_s <= 700, (
f"Panel war {panel.awake_s} s wach - erwartet nur die ersten 10 min")
def test_change_every_3_minutes_stays_awake_and_compensates_every_30_minutes():
panel = _drive_daemon(_changing_every(3 * 60), SIX_HOURS_S)
fulls = _times(panel, "full")
assert _times(panel, "sleep") == [], "alle 3 min Verkehr - das Panel darf nicht schlafen"
assert len(_times(panel, "partial")) > 100, "die Aenderungen muessen Teilaufbauten sein"
assert len(fulls) >= 10, f"Ghosting-Ausgleich alle 30 min fehlt: {fulls}"
gaps = [b - a for a, b in zip(fulls, fulls[1:])]
assert all(gap >= display.FULL_REFRESH_INTERVAL_S for gap in gaps), (
f"Vollaufbauten zu dicht: {fulls}")
def test_change_every_9_minutes_still_never_sleeps():
"""9 Minuten liegen knapp unter SLEEP_AFTER_IDLE_S (10 min) - das Panel bleibt wach,
die Teilaufbauten sammeln sich, und die 30-Minuten-Uhr gleicht sie aus."""
panel = _drive_daemon(_changing_every(9 * 60), SIX_HOURS_S)
fulls = _times(panel, "full")
assert _times(panel, "sleep") == []
assert _times(panel, "partial"), "Aenderungen bei wachem Panel sind Teilaufbauten"
assert len(fulls) >= 5, f"Ghosting-Ausgleich fehlt: {fulls}"
gaps = [b - a for a, b in zip(fulls, fulls[1:])]
assert all(gap >= display.FULL_REFRESH_INTERVAL_S for gap in gaps)
def test_change_every_11_minutes_sleeps_between_and_wakes_with_a_full_refresh():
"""11 Minuten liegen knapp ueber SLEEP_AFTER_IDLE_S: das Panel schlaeft zwischen zwei
Aenderungen ein, und der naechste Aufbau wird von Panel.draw_partial() selbst zu einem
Vollaufbau aufgewertet - es darf also gar kein Teilaufbau mehr entstehen, und die
30-Minuten-Uhr darf nie zusaetzlich feuern (jeder Aufbau IST schon ein Vollaufbau).
Genau hier faellt auch auf, wenn run_daemon() die Rueckmeldung der Aufwertung
(was_full=upgraded) verwirft: dann zaehlen die Aufwertungen als Teilaufbauten und die
30-Minuten-Uhr schiebt zusaetzliche Vollaufbauten ein (Fixrunde 5, N2)."""
panel = _drive_daemon(_changing_every(11 * 60), SIX_HOURS_S)
assert _times(panel, "partial") == [], (
"nach dem Schlafen wertet das Panel jeden Aufbau selbst zu einem Vollaufbau auf")
assert len(_times(panel, "wake-full")) == SIX_HOURS_S // (11 * 60), (
f"pro Aenderung ein Aufbau erwartet: {_times(panel, 'wake-full')}")
assert len(_times(panel, "sleep")) >= 15, "zwischen den Aenderungen muss geschlafen werden"
assert _times(panel, "sleep-noop") == []
# Nur der Erstaufbau ist ein regulaerer Vollaufbau: jeder weitere Aufbau IST wegen der
# Aufwertung schon vollstaendig, ein zusaetzlicher "stale"-Vollaufbau waere ein Zeichen,
# dass die Aufwertung nicht als Vollaufbau verbucht wurde (F4).
assert _times(panel, "full") == [0.0], (
f"unerwartete Vollaufbauten: {_times(panel, 'full')}")
def test_burst_then_quiet_still_gets_its_ghosting_compensation():
"""Fixrunde 4, N1 - der Dauerzustand, den jemand am laengsten ansieht: ein Buendel von
30 Teilaufbauten in 2,5 Minuten (Migration mehrerer Lampen), danach stundenlang Ruhe.
Die Fassung aus Fixrunde 3 setzte partials_since_full beim Einschlafen auf 0; das
Panel schlief 10 Minuten nach dem Buendel mit dem entstandenen Geisterbild ein, stale
konnte danach nie mehr feuern, und genau dieses Bild stand die restlichen rund 5 h 50
min unveraendert da. Der faellige Ausgleich muss stattdessen nachgeholt werden - und
das Panel danach wieder zur Ruhe kommen."""
def state_at(t):
# 30 Aenderungen im 5-Sekunden-Takt (t = 5 .. 150), danach unveraendert.
step = min(int(t // display.POLL_INTERVAL_S), 30)
return {"mode": "migration", "served": step, "recent": []}
panel = _drive_daemon(state_at, SIX_HOURS_S)
assert len(_times(panel, "partial")) == 30, (
f"das Buendel muss aus Teilaufbauten bestehen: {_times(panel, 'partial')}")
fulls = _times(panel, "full")
assert len(fulls) == 2, f"Erstaufbau + genau ein Ausgleich erwartet, war: {fulls}"
ausgleich = fulls[1]
assert display.FULL_REFRESH_INTERVAL_S <= ausgleich <= 35 * 60, (
f"Ghosting-Ausgleich faellt aus oder kommt zu spaet (t={ausgleich})")
# ... und danach wirklich Ruhe: einmal nach dem Buendel, einmal nach dem Ausgleich.
assert len(_times(panel, "sleep")) == 2, f"unruhiger Schlaf: {_times(panel, 'sleep')}"
assert panel.awake_s <= 30 * 60, (
f"Panel war {panel.awake_s} s von {SIX_HOURS_S} s wach - der Ausgleich darf nicht "
"in einen Wachzyklus ausarten")
def test_daemon_draws_fully_on_mode_change_and_partially_on_content_change():
"""Die Zuordnung Aktion -> Panel-Methode direkt an run_daemon() (Fixrunde 5, N2):
ruft der "full"-Zweig panel.draw_partial() statt panel.draw_full(), gaebe es auf einem
wachen Panel NIE wieder einen echten Vollaufbau - Moduswechsel wuerden nur teilweise
gezeichnet und der Ghosting-Ausgleich waere wirkungslos. Kurzer Verlauf, damit die
Zuordnung Zeitpunkt fuer Zeitpunkt nachvollziehbar ist."""
def state_at(t):
if t < 60:
return {"mode": "recovery", "served": 0, "recent": []}
if t < 120:
return {"mode": "recovery", "served": 1, "recent": []} # nur Inhalt
return {"mode": "migration", "served": 1, "recent": []} # Moduswechsel
panel = _drive_daemon(state_at, 180)
assert panel.calls == [
(0.0, "clear"),
(0.0, "full"), # Erstaufbau (Modus zum ersten Mal bekannt)
(60.0, "partial"), # nur der Inhalt hat sich geaendert
(120.0, "full"), # Moduswechsel - muss ein Vollaufbau sein
], panel.calls
def test_planner_counts_an_upgraded_partial_as_a_full_refresh():
"""Direkt an der Zustandsmaschine (F4): meldet der Aufrufer eine von
Panel.draw_partial() selbst aufgewertete Teilaktualisierung als Vollaufbau, beginnt die
30-Minuten-Uhr neu und es gibt nichts mehr auszugleichen."""
planner = display.RefreshPlanner(0.0)
planner.record_draw(0.0, ["a"], "recovery", was_full=True)
planner.record_draw(10.0, ["b"], "recovery", was_full=False)
assert planner.partials_since_full == 1
planner.record_draw(20.0, ["c"], "recovery", was_full=True) # aufgewerteter Teilaufbau
assert planner.partials_since_full == 0
assert planner.decide(20.0 + display.FULL_REFRESH_INTERVAL_S, ["c"], "recovery") != "full"
def test_planner_draws_fully_on_mode_change():
planner = display.RefreshPlanner(0.0)
planner.record_draw(0.0, ["RETTUNG"], "recovery", was_full=True)
assert planner.decide(5.0, ["MIGRATION"], "migration") == "full"