Abbildung: VDM Applikationen unter Windows NT
Der Server des Hypertextsystems wurde unter Linux und SUN-OS getestet und arbeitet in beiden Fällen einwandfrei. Da der Diplomand nicht über Supervisorechte an der Sparc20 der Fachhochschule Wedel verfügt, ist ungewiß, ob der Server auch dort als Daemon ausführbar ist. Auch die Installation des Paketes der Klassenbibliothek ist auf beiden Systemen nach einigen Anpassungen erfolgreich geglückt.
Zur Übersetzung des Beispiels wurde bei der Entwicklung der GNU Compiler g++ in der Version 2.6.3 eingesetzt. Als Phänomen trat bei dem Compilerlauf für die Datei vdmdbm.cc in der Methode VDMDB::sel_comp mit gleichem Compiler in der Version 2.7.2 folgender Fehler auf:
813: Internal Compiler Error bug report to: bug-g++@prop.ai.mit.eduDa der Compiler nur zeitweilig abbrach, wurde Argumente zusätzlich gekammert, was nicht gleichbedeutend mit der Behebung dieses Fehlers sein muß, auch wenn er anschließend nicht wieder auftrat.
Der Bibliotheksbrowser und -manager sind sowohl unter Windows NT als auch Windows 95 als Klienten uneingeschränkt funktionstüchtig. Sie funktionieren ebenso wie der Fernzugriff mit einem HTML-Browser über eine Fernverbindung. An HTML-Browsern wurden Lynx, Arena und Netscape mit dem Informations- und Hilfesystem getestet.
Die Ausführung des Beispieltesters vdmtest direkt als CGI-Gateway, bricht den Aufruf von Beispielen und Kommandos ab, da der Web-Server httpd als Daemon das signal SIGCLD (bzw.SIGCHLD) ignoriert, anstelle es auf der Standardbehandlung zu belassen. Die TCL-Shell kann daher nicht die ordnungsgemäße Beendigung von Kindprozessen behandeln und bricht mit einer Fehlermeldung ab. vdmtest muß daher zur Nutzung des vollständigen Funktionsumfang auf dem üblichen Weg über den VDM Server aufgerufen werden.
Eine Überprüfung der gesamten Funktionalität des Hyptertext-Systems, was den Zugriff auf einzelne ADTs, die VDM Anwendungsbeispiele, und die Darstellungsoptionen einschließt, hat lediglich Fehler in einigen wenigen Dokumentations-Komponenten der Datenbank, der durch den Precompilers verursacht wird, bei der Volltextsuche über alle Dokumente aufgedeckt. Der VDM Server ein Abbruch des Preprozessors auf der Console an, und damit auch diese Fehler.