[A] (10) Verifikation und Validierung von Simulationsmodellen

Durch Verifikation und Validierung versuchen wir zu zeigen, dass unser Modell nützlich ist

• Überprüfung, ob ein Modell von einer Beschreibungsart in eine andere Beschreibungsart korrekt transformiert wurde

• „Habe ich das, was ich tun wollte richtig gemacht?“

• Kontinuierliche Überprüfung, ob die Modelle das Verhalten des abgebildeten Systems hinreichend genau wiedergeben

• „Habe ich das richtige gemacht?“

• Vollständigkeit

• Konsistenz

• Genauigkeit

• Aktualität

• Eignung für Verwendungszweck

• Plausibilität

• Verständlichkeit

• Machbarkeit

• Verfügbarkeit

• Fehlerfreier Code ist Voraussetzung für korrekte Experimente

• Fehler in AnyLogic lassen sich unterteilen in

  • Kompilierungsfehler

  • Laufzeitfehler => können aus der AnyLogic-Engine oder aus dem Java-RE stammen

• Fehler in AnyLogic lassen sich unterteilen in

  • Kompilierungsfehler

  • Laufzeitfehler

• Modell lässt sich nicht kompilieren

• Falsche Verwendung der Java Syntax

• meist leicht zu beheben

• Doppelklick auf die Ausgabe führt zu fehlerhafter Stelle

  • Immer zuerst den einfachsten Fehler beheben

  • Auf korrekte Typisierung achten (Casting!)

  • Kompilierungsfehler entstehen meistens, wenn das verwendete Konstrukt nicht hinreichend bekannt ist

    • Java / AnyLogic Dokumentation und IntelliSense nutzen!

• Kompilierungsfehler entstehen meistens, wenn das verwendete Konstrukt nicht hinreichend bekannt ist

  • Java / AnyLogic Dokumentation und IntelliSense nutzen!

• Simikolon vergessen

• Falsche Syntax

• Rechtschreibfehler

• Missmatch von Variablen-Typen

• Modell lässt sich kompilieren / ausführen aber Fehler tritt erst zur Modellaufzeit auf

• Können aus der AnyLogic-Engine oder aus dem Java-RE stammen

• 
  

• Können aus der AnyLogic-Engine oder aus dem Java-RE stammen

  • AnyLogic Ausgaben selbsterklärend

  • Java Ausgaben schwieriger zu beheben

• Oft schwer zu finden, da ggf. ein Logikfehler in der Implementierung besthet

• Oftmals „Ursachenforschung“ nötig!!

• In AnyLogic rote, lange Konsolenausgabe,mit Hinweistext, wenn von AnyLogic Engine

  • AnyLogic Ausgaben selbsterklärend

  • Java Ausgaben schwieriger zu beheben

• Vorgehen

  • Erster Link gibt Fehlerklasse an

  • Erster Link mit „agent.java:xxxx führt zur fehlerhaften Codezeile

  • Grundlegende Kenntnis über wichtigste Laufzeitfehlertypen ist sehr hilfreich!

• Oftmals „Ursachenforschung“ nötig!!

  
  

• Teilen durch 0

• zugreifen auf eine leere Liste

• Warteschlange vollgelaufen

• Review

• Ereignisvaliditätstest

• Festwerttest

• Grenzwerttest

• Trace-Analyse

• Histrical Data Validation / Predictive Validation

• Animation

• Strukturiertes Durchgehen des Modells im Team und Prüfen der spezifizierten Kriterien

• Überprüfung der Anzahl / Reihenfolge / Kombination auftretender Ereignisse und Vergleich mit Realität

• Verwenden fester Werte überführt stochastisches in deterministisches Modell

• Lässt sich mathematisch einfacher überprüfen

• Modellparameter werden auf Extreme gesetzt um Modellverhalten besser vorhersagen zu können oder einzelne Modellbestandteile zu isolieren

• Verfolgen einzelner Modellentitäten durch Aufzeichnen eines spezifischen Datensatzes

  • traceln (color , “ information “ );

  • main.traceValidationParameters? traceln (…): ;

• Wenn Realdaten/ein Realsystem verfügbar sind

• Vergleich der Modellergebnisse mit Realdaten/ Vorhersage des Modells mit Realverhalten vergleichen

• Auch die Rohdaten müssen validiert werden!

• Grafische Darstellung des Modellverhaltens um einfach Anomalien zu erkennen