Daten
Sind Lehrkräfte-, Fach-, Klassen-, Wochenstunden- und Zeitdaten korrekt?
Dasselbe Symptom kann in Dersiva unterschiedliche Ursachen haben. Eine nicht platzierte Stunde kann ein Kapazitätsproblem sein, während ein plötzliches Beenden auf Laufzeit- oder native Solver-Komponenten hinweisen kann. Diagnose ist schneller als zufällige Änderungen.
Sind Lehrkräfte-, Fach-, Klassen-, Wochenstunden- und Zeitdaten korrekt?
Blockieren Sperrtage, Tagesgrenzen, Blöcke oder gemeinsame Stunden den Lösungsraum?
Sind Anwendung, .NET, native OR-Tools-Komponenten und Visual-C++-Runtime intakt?
Verwenden API, Lizenzprüfung, Lehrkräfteportal oder Ausgaben die richtige Quelle?
Installation / Laufzeit
→Laufzeit / nativer Solver
→Daten / Kapazität / harte Bedingungen
→Netzwerk / DNS / API
→Gültiger Plan / API / Portal
→Plan-Snapshot / Ausgabequelle
→Datei / Version / Umfang
→Statt „funktioniert nicht“ wird die genaue Phase bestimmt: Programmstart, Dateneingabe, Solver-Start, Solver-Lauf, Planabschluss, Veröffentlichung, Ausgabe oder Wiederherstellung. Dieselbe Fehlermeldung kann in verschiedenen Phasen etwas anderes bedeuten.
Notieren Sie Dersiva-Version, ungefähre Uhrzeit, Erstellungsmodus, Status des sicheren Diagnosemodus und sichtbaren Fehlertext. Zeitangaben erleichtern die Zuordnung zu Logs und Windows-Ereignissen.
Erstellen Sie eine aktuelle `.ddbackup`, bevor Bedingungen massenhaft entfernt, Daten zurückgesetzt, das Programm neu installiert oder eine andere Sicherung wiederhergestellt wird. Fehlerbehebung darf nicht zum Datenverlust führen.
Geplante Wochenlasten der Lehrkräfte, Klassenstunden, Unterrichtszuweisungen und Schulzeitraster müssen zusammenpassen. Falsche Wochenstunden oder fehlende Zuweisungen verursachen unabhängig vom Solver Probleme.
Prüfen Sie Lehrkraftverfügbarkeit, Tagesmaximum, offene Klassenzeiten, gemeinsame Stunden und andere harte Bedingungen zusammen. Eine nicht platzierte Stunde ist kein Programmabsturz und benötigt normalerweise eine Machbarkeits- und Kapazitätsanalyse.
Sperrtage, exakte Tageshöchstwerte, Pflichtblöcke, gemeinsame Stunden oder geschützte Tage können einzeln korrekt sein, aber gemeinsam das Modell unlösbar machen. Präferenzen sollten nicht unnötig als harte Bedingungen definiert werden.
Ein Plan kann vollständig sein und trotzdem schlechte Freistunden oder Tagesdichte besitzen. Das ist ein Qualitätsproblem. Nicht platzierte Stunden oder ein Prozessabsturz benötigen einen anderen Diagnoseweg.
Schließt der Prozess ohne normale Fehlermeldung oder zeigt Windows eine `Google.OrTools.Sat.SolveWrapper.Solve`-/Native-Aufrufkette, sollten Laufzeit und native Solver-Abhängigkeiten vor Änderungen an den Plandaten geprüft werden. Dies ist nicht dasselbe wie ein mathematisches „keine Lösung“.
Wenn der normale Multi-Worker-Lauf endet, dieselben Daten aber mit 1 Worker laufen, ist das ein wichtiges Diagnosesignal. Es beweist die Ursache nicht, weist aber auf Worker-/Native-Verhalten, Prozessorumgebung und Abhängigkeiten hin.
Der Solver verwendet neben .NET auch native OR-Tools-Komponenten. Fehlende, beschädigte oder inkompatible Komponenten wie Microsoft Visual C++ 2015–2022 Redistributable x64 können native Aufrufe beeinträchtigen. Aktuelle Installationsvoraussetzungen müssen geprüft werden.
Funktionieren dieselbe Dersiva-Version und `.ddbackup` auf einem Computer, aber nicht auf einem anderen, sollten die Daten nicht sofort verändert werden. Vergleichen Sie Windows-Version, Visual-C++-Runtime, Prozessor/Worker-Verhalten, Sicherheitssoftware und Installationsintegrität.
Suchen Sie in Dersiva-Diagnosen nach Fehlerzeit, Operation und Managed-Exception. Endet der Prozess bereits im nativen Code, kann `log.txt` unvollständig bleiben; dann sind Windows-Ereignisse wichtiger.
Bei abruptem Ende prüfen Sie im Windows Application Log fehlerhaftes Modul sowie .NET/CoreCLR-Stack. `SolveWrapper_Solve` zeigt, dass der Fehler während des OR-Tools-Aufrufs auftrat, bestimmt aber allein nicht die Grundursache.
Funktionierendes Internet beweist keine API-Erreichbarkeit. Prüfen Sie DNS, HTTPS, Schulnetzfilter/Sicherheit, relevante Dersiva-Domain und API-Antwort separat. Browserzugriff und Anwendungszugriff sind nicht derselbe Test.
Prüfen Sie zuerst, ob der richtige Plan gültig ist. Danach folgen Desktop-Veröffentlichungs-Snapshot, an die API gesendete Daten, serverseitige Quellenrevision und Portaldarstellung. Ein Testplan darf die offizielle Portalquelle nicht ersetzen.
Zeigt PDF oder Ausgabe einen unerwarteten Plan, muss ermittelt werden, aus welchem Snapshot sie erzeugt wurde. Letzter Plan, Testplan und gültiger Plan sind unterschiedliche Zustände.
Prüfen Sie Zugriff auf `.ddbackup`, gewählten Wiederherstellungsumfang und Zielversion. Für den Computerumzug wird der unterstützte Wiederherstellungsweg verwendet, nicht das direkte Kopieren des alten Programmordners oder maschinenspezifischer Schlüssel.
Sammeln Sie Dersiva-Version, Problemzeit, Prozessphase, Modus, sichtbaren Fehlertext, relevanten `log.txt`-Abschnitt und bei Bedarf Windows-Ereignisinformationen. Passwörter, Lizenzgeheimnisse und unnötige personenbezogene Daten gehören nicht hinein.
Daten, Bedingungen, Laufzeit oder Veröffentlichung?
Version + Zeit + Modus + Fehlertext.
Vor Änderungen einen Rückkehrpunkt schaffen.
Je nach Problem 1 Worker, ein Beispielkonto oder eine Ausgabe verwenden.
Nur die durch Logs und Vergleich bestätigte Ebene korrigieren.
Bedingungen entfernen, Anwendung neu installieren, Sicherungen wiederherstellen und Netzwerkeinstellungen gleichzeitig ändern macht die Ursache unsichtbar. Ändern Sie jeweils nur eine Variable und dokumentieren Sie das Ergebnis.