Zu diesem lizenzpflichtigen Artikel gibt es eine Open Access Version, die kostenlos und ohne Lizenzbeschränkung gelesen werden kann. Die Open Access Version kann inhaltlich von der lizenzpflichtigen Version abweichen.
Preisinformation
Bitte wählen Sie ihr Lieferland und ihre Kundengruppe
Der Bericht beschreibt eine Methode zur Spezifikation von Kommandoprogrammen, die die Verarbeitung, Uebersetzung und Ausfuehrung von Anwenderprogrammen steuern. Die Methode basiert auf einem abstrakten Kommandoprozessor ('ACP'), der aus Benutzersicht das verwendete Betriebsssystem widerspiegelt und eine Moeglichkeit zur automatischen Ueberpruefung der Korrektheit von Kommandoprogrammen bietet. Die Notwendigkeit einer solchen Pruefung ergibt sich aus der Tatsache, dass viele Programme aufgrund von Fehlern in den Kommandoanweisungen abbrechen, was einen hohen Aufwand an zusaetzlicher Test- und Rechenzeit erfordert. Die beschriebene Methode wird zur Konstruktion einer Beispiel-Kommandosprache verwendet, deren Verarbeitung durch den Kommandoprozessor dargestellt wird. Die Ueberpruefung der Korrektheit eines Kommandoprogramms wird am Beispiel beschrieben.