Effizienz
Kritische Betrachtung des Systems
Vollständigkeit
Die Erweiterungen des Datenbankmanager sind formal definiert und unter Verwendung der Klassenbibliothek implementiert. Bei korrekten Datenbankinhalten ist das Auftreten eines Fehlers nicht zu erwarten. Der VDM Server hat seit der Beseitigung des letzten (erkannten) Programmierfehlers, für eine Dauer von ca. 2 Monaten eine außerordentliche Stabilität bewiesen, und gezeigt, daß er für dauerhaften Einsatz geeignet ist.
Unzuverlässige Reaktionen sind jedoch dann zu erwarten, wenn der Festplattenspeicher verknappt, und temporäre Dateien nicht mehr angelegt werden können. In diesem Fall kann die Datenbank des Servers verloren gehen.
Da lediglich eine kurze Verarbeitungsschleife des Servers existiert, die
direkt TCL-Code ausführt und alle weiteren Aktiviäten ereignisgesteuert ablaufen,
führen Fehler im TCL-Code lediglich zu einem Abbruch der Bearbeitung dieses
Ereignisses, gefährden die Zuverlässigkeit des Servers im allgemeinen jedoch
nicht.