[CHANGE] Nur noch EIN Test baut die HundM-Geometrie: Spec wird TEST_HUNDM05
Nach dem gruenen VF_SPEC_BAU-Lauf bauten zwei Tests dieselben 5 Ketten. Der Spec-Pfad ist jetzt der routinemaessige Bau-Test, der Aufzeichnungs-Pfad der abgeschaltete Regressionstest fuer das Journal-Format. Umbenennungen: - tests/testdata/vf_spec_hundm05.json -> tests/testdata/hundm05.json Die Spec ist das Eingabeformat und die Datei, in der weitere Ketten der Anlage nachgetragen werden. spec_ids jetzt VF_hundm05_LZ_* (wie im Aufzeichnungs-Protokoll), damit sich die Ergebnisse beider Laeufe paaren lassen. - tests/testdata/hundm05.json -> tests/testdata/hm_recformat.json tests/test_hundm05.lsp -> tests/test_hm_recformat.lsp (TEST_HM_RECFORMAT, Praefix hmrec:, Export hm_recformat:export-results) tests/test_hundm05.py -> tests/test_hm_recformat.py In alltests.json auf "disabled": true. Neu: tests/test_hundm05.lsp (TEST_HUNDM05) baut die Spec - OHNE eigene Bau-Logik, es ruft vsp-bau-datei aus Lisp/vf_spec.lsp. Damit gibt es genau einen Code-Pfad, der aus einer Spec Geometrie erzeugt; c:VF_SPEC_BAU nutzt denselben. tests/test_hundm05.py prueft das Ergebnis (die 9 Tests, die vorher in test_vf_spec.py standen); test_vf_spec.py ist jetzt reiner Uebersetzer-Test ohne CAD. Warum das Aufzeichnungsformat bleibt (Details in doc/TODO-plan-vf-interactive.md Abschnitt 4.7): - hm_recformat.json ist die EINZIGE eingecheckte Kopie der Originaldaten (data/polylines.dxf ist mit 124 MB per .gitignore ausgeschlossen). Die Spec ist daraus abgeleitet; ohne die Aufzeichnung faellt die rechte Seite des Rundlauf-Beweises weg. - Es prueft eine ANDERE Invariante: das Journal kommt roh aus der XDATA einer Kundenzeichnung. TEST_HM_RECFORMAT ist damit der einzige Test dafuer, dass ein BESTEHENDER VF_n-Block weiter abspielbar ist - also dass Doppelklick-Edit und 2D/3D-Konvertierung an Altbestand funktionieren. Ein spec-gebautes Journal kann das nicht zeigen, es kommt aus dem Uebersetzer. - Es dokumentiert die Frage-Reihenfolge (kommentar je Eintrag); die Spec verbirgt den Dialog, das ist ihr Zweck. Weitere Anpassungen: - Ergebnisdatei heisst nach der Spec-Datei (<basisname>_results.json), damit Befehl und Testrunner in dieselbe Datei schreiben. Verzeichnis: tests/output (Override DXFM_VF_SPEC_OUT); NICHT DXFM_RESULTS - das sind die Sivas-/ CSV-Exporte, dort landete die Datei ausserhalb des Testbaums. - Neu *vsp-dim-override* fuer TEST_HUNDM05_2D/_3D: wird je Kette angewandt, weil der Abbruch-Handler in vf-linienzug-modus *ssg-ils-dim* zurueck setzt. - Das Anlagenkuerzel der test_id in lib/vf_journal_export.py kam aus dem Namen der Ziel-JSON. Nach der Umbenennung haette eine Regenerierung die ids stillschweigend auf VF_hm_recformat_LZ_* geaendert und die Paarung der beiden Laeufe zerlegt - jetzt feste Konstante TEST_ID_ANLAGE. - conftest: hundm05_* Fixtures -> hmrec_* (die Spec-Fixtures stehen in tests/test_hundm05.py). Verifiziert: 98 pytest-Tests gruen (die 9 Ergebnis-Tests warten auf einen neuen TEST_HUNDM05-Lauf), alle .lsp lint-sauber, Spec-Regenerierung idempotent, TEST_VF_SPEC in BricsCAD 28 PASS / 0 FAIL. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
+16
-120
@@ -1,20 +1,21 @@
|
||||
#!/usr/bin/env python3
|
||||
# -*- coding: utf-8 -*-
|
||||
"""
|
||||
test_vf_spec.py - Validiert die Spec-Ebene des VF-Linienzugs.
|
||||
|
||||
Drei Ebenen, die ersten zwei laufen ohne BricsCAD:
|
||||
test_vf_spec.py - Validiert den Spec-UEBERSETZER des VF-Linienzugs.
|
||||
Laeuft komplett ohne BricsCAD.
|
||||
|
||||
1. Rundlauf: fuer jede der 5 echten HundM-Ketten muss
|
||||
journal_aus_spec(spec_aus_journal(tokens)) == tokens gelten. Das
|
||||
beweist, dass die Spec das Eingabe-Journal VERLUSTFREI abbildet - sonst
|
||||
waere ein spec-gebauter Nachbau eine andere Kette als das Original.
|
||||
2. Die Spec-Testdaten (tests/testdata/vf_spec_hundm05.json): Struktur,
|
||||
Lesbarkeit durch den LISP-Parser, und dass sie dieselben Journale
|
||||
ergeben wie tests/testdata/hundm05.json.
|
||||
3. Die Ergebnisse von VF_SPEC_BAU (tests/output/vf_spec_results.json):
|
||||
jede Kette gebaut, kein Prompt, kein offener Journal-Wert, Glied-Folge
|
||||
wie geplant.
|
||||
2. Die Spec-Testdaten (tests/testdata/hundm05.json): Struktur, Lesbarkeit
|
||||
durch den LISP-Parser, und dass sie dieselben Journale ergeben wie die
|
||||
Aufzeichnung tests/testdata/hm_recformat.json.
|
||||
3. Validierung: was die Spec nicht hergibt, muss ein Fehler sein.
|
||||
4. Die Erwartungswerte in tests/test_vf_spec.lsp stimmen mit dem hier
|
||||
geprueften Emitter ueberein.
|
||||
|
||||
Die GEBAUTE Geometrie prueft tests/test_hundm05.py (braucht BricsCAD).
|
||||
|
||||
Der LISP-Emitter (vsp-journal in Lisp/vf_spec.lsp) ist die zweite
|
||||
Implementierung derselben Grammatik; er wird in tests/test_vf_spec.lsp gegen
|
||||
@@ -32,14 +33,11 @@ sys.path.insert(0, os.path.join(os.path.dirname(__file__), "..", "lib"))
|
||||
import vf_spec_export as vse # noqa: E402
|
||||
|
||||
HIER = os.path.dirname(__file__)
|
||||
PROTOKOLL = os.path.join(HIER, "testdata", "hundm05.json")
|
||||
SPEC_JSON = os.path.join(HIER, "testdata", "vf_spec_hundm05.json")
|
||||
|
||||
# VF_SPEC_BAU schreibt nach tests/output. Aeltere Laeufe (und ein Lauf mit
|
||||
# gesetztem DXFM_VF_SPEC_OUT) koennen die Datei woanders haben - darum beide
|
||||
# ueblichen Orte pruefen, statt den Test stumm zu ueberspringen.
|
||||
ERGEBNIS_ORTE = [os.path.join(HIER, "output", "vf_spec_results.json"),
|
||||
os.path.join(HIER, "..", "results", "vf_spec_results.json")]
|
||||
# Die AUFZEICHNUNG (rohes Journal aus der Kundenzeichnung, Frage-Antwort-
|
||||
# Protokoll) und die daraus abgeleitete SPEC. Erstere ist die Vorlage, an
|
||||
# der die zweite gemessen wird.
|
||||
PROTOKOLL = os.path.join(HIER, "testdata", "hm_recformat.json")
|
||||
SPEC_JSON = os.path.join(HIER, "testdata", "hundm05.json")
|
||||
|
||||
|
||||
def _lade(pfad, was):
|
||||
@@ -49,14 +47,6 @@ def _lade(pfad, was):
|
||||
return json.load(fh)
|
||||
|
||||
|
||||
def _lade_erstes(orte, was):
|
||||
for pfad in orte:
|
||||
if os.path.isfile(pfad):
|
||||
with open(pfad, encoding="utf-8") as fh:
|
||||
return json.load(fh)
|
||||
pytest.skip("%s fehlt (%s)" % (" bzw. ".join(orte), was))
|
||||
|
||||
|
||||
@pytest.fixture(scope="module")
|
||||
def protokoll():
|
||||
return _lade(PROTOKOLL, "lib/vf_journal_export.py erzeugt es")
|
||||
@@ -67,13 +57,8 @@ def spec_objekte():
|
||||
return _lade(SPEC_JSON, "lib/vf_spec_export.py erzeugt es")
|
||||
|
||||
|
||||
@pytest.fixture(scope="module")
|
||||
def spec_ergebnisse():
|
||||
return _lade_erstes(ERGEBNIS_ORTE, "VF_SPEC_BAU in BricsCAD erzeugt es")
|
||||
|
||||
|
||||
def _ketten(protokoll):
|
||||
"""Gleiche Gruppierregel wie hundm05:gruppiere in LISP."""
|
||||
"""Gleiche Gruppierregel wie hmrec:gruppiere in LISP."""
|
||||
ketten = []
|
||||
for obj in protokoll:
|
||||
if "test_id" in obj:
|
||||
@@ -458,92 +443,3 @@ class TestLispErwartungen:
|
||||
f" LISP: {ist}\n Python: {soll}\n"
|
||||
f"Entweder ist die Tokenfolge im LISP-Test falsch uebertragen, "
|
||||
f"oder die Spec hier und dort beschreibt nicht dasselbe.")
|
||||
|
||||
|
||||
# ============================================================
|
||||
# 5. Ergebnisse von VF_SPEC_BAU (braucht BricsCAD)
|
||||
# ============================================================
|
||||
|
||||
class TestSpecBau:
|
||||
|
||||
def test_je_spec_ein_ergebnis(self, spec_objekte, spec_ergebnisse):
|
||||
soll = [o["spec_id"] for o in spec_objekte if "spec_id" in o]
|
||||
ist = [r["spec_id"] for r in spec_ergebnisse]
|
||||
assert ist == soll
|
||||
|
||||
def test_status_executed(self, spec_ergebnisse):
|
||||
for r in spec_ergebnisse:
|
||||
assert r["status"] == "executed", \
|
||||
f'{r["spec_id"]}: Status={r["status"]}, {r.get("fehler_text")}'
|
||||
|
||||
def test_keine_spec_fehler(self, spec_ergebnisse):
|
||||
for r in spec_ergebnisse:
|
||||
assert not r["spec_fehler"], \
|
||||
f'{r["spec_id"]}: {r["spec_fehler"]}'
|
||||
|
||||
def test_kein_prompt(self, spec_ergebnisse):
|
||||
"""Der positive Beweis fuer "kein Dialog, keine Konsolenfrage": die
|
||||
zaehlenden Stubs wurden nie erreicht."""
|
||||
for r in spec_ergebnisse:
|
||||
assert r["prompts"] == 0, \
|
||||
f'{r["spec_id"]}: {r["prompts"]} Live-Eingabe(n) erreicht'
|
||||
|
||||
def test_journal_vollstaendig_verbraucht(self, spec_ergebnisse):
|
||||
for r in spec_ergebnisse:
|
||||
assert r["eingaben_offen"] == 0, \
|
||||
f'{r["spec_id"]}: {r["eingaben_offen"]} Werte offen'
|
||||
assert r["eingaben_gesamt"] > 0
|
||||
|
||||
def test_glieder_wie_geplant(self, spec_ergebnisse):
|
||||
"""Der Desync-Detektor, der auch dann greift, wenn die Queue aufgeht:
|
||||
eine geometrisch abgewiesene Sektion verbraucht nur weniger
|
||||
Eintraege, die Glied-Folge weicht dann aber ab."""
|
||||
for r in spec_ergebnisse:
|
||||
assert r["glieder_ist"] == r["glieder_soll"], \
|
||||
f'{r["spec_id"]}: gebaut {r["glieder_ist"]}, ' \
|
||||
f'geplant {r["glieder_soll"]}'
|
||||
|
||||
def test_keine_meldungen(self, spec_ergebnisse):
|
||||
for r in spec_ergebnisse:
|
||||
assert not r["meldungen"], \
|
||||
f'{r["spec_id"]}: Meldungen aus dem Bau: {r["meldungen"]}'
|
||||
|
||||
def test_vf_block_erzeugt(self, spec_ergebnisse):
|
||||
for r in spec_ergebnisse:
|
||||
assert r["block_name"].startswith("VF_"), \
|
||||
f'{r["spec_id"]}: Block {r["block_name"]!r}'
|
||||
assert r["block_handle"]
|
||||
|
||||
def test_startpunkt_getroffen(self, spec_objekte, spec_ergebnisse):
|
||||
"""Der Einfuegepunkt des VF_-Blocks ist der Kettenstart aus der
|
||||
Spec - er ist der einzige absolute Anker der ganzen Kette."""
|
||||
soll = dict((o["spec_id"], o["start_punkt"]) for o in spec_objekte
|
||||
if "spec_id" in o)
|
||||
for r in spec_ergebnisse:
|
||||
erwartet = soll[r["spec_id"]]
|
||||
ist = r["insert_point"]
|
||||
for achse, (e, i) in enumerate(zip(erwartet, ist)):
|
||||
assert abs(e - i) < 1.0, \
|
||||
f'{r["spec_id"]}: Achse {achse} ist {i}, erwartet {e}'
|
||||
|
||||
def test_gleiche_ergebnisse_wie_journal_pfad(self, spec_ergebnisse):
|
||||
"""Spec-Pfad == Journal-Pfad: dieselben Ketten, gebaut aus der Spec
|
||||
statt aus dem aufgezeichneten Journal, muessen dieselben Bloecke mit
|
||||
denselben Attributen ergeben. Vergleich gegen die Ergebnisse von
|
||||
TEST_HUNDM05, falls beide Laeufe vorliegen."""
|
||||
pfad = os.path.join(HIER, "output", "hundm05_results.json")
|
||||
if not os.path.isfile(pfad):
|
||||
pytest.skip("tests/output/hundm05_results.json fehlt "
|
||||
"(TEST_HUNDM05 nicht gelaufen)")
|
||||
with open(pfad, encoding="utf-8") as fh:
|
||||
journal_ergebnisse = json.load(fh)
|
||||
if len(journal_ergebnisse) != len(spec_ergebnisse):
|
||||
pytest.skip("unterschiedlich viele Ketten in den beiden Laeufen")
|
||||
for spec_r, journal_r in zip(spec_ergebnisse, journal_ergebnisse):
|
||||
if journal_r["status"] != "executed":
|
||||
continue
|
||||
for tag, wert in journal_r["actual_attributes"].items():
|
||||
assert spec_r["actual_attributes"].get(tag) == wert, \
|
||||
f'{spec_r["spec_id"]}: Attribut {tag} ist ' \
|
||||
f'{spec_r["actual_attributes"].get(tag)!r}, ' \
|
||||
f'Journal-Pfad hatte {wert!r}'
|
||||
|
||||
Reference in New Issue
Block a user