Jochen Ludewig

ESPRESO—A System for Process Control Software Specification

This paper outlines a specification system for process control software, named ESPRESO, which was developed at the Nuclear Research Center, Karlsruhe, West Germany. ESPRESO is based on some new ideas, which are combined with elements taken from other systems. ESPRESO consists of a set of concepts, a specification language, a tool for the management, evaluation and validation of specifications, and the method how to use the system. Language, tool, and method are carefully adapted to the concepts. The primary aim was to demonstrate some features of a specification system which are currently not available, rather than to provide a new tool for the software market.

SEED - a database system for software engineering environments

Das Modell einer Datenbank fur Anwendungen in der Softwaretechnik wird vorgestellt. Es basiert auf einem Entity-Relationship-Ansatz, enthalt aber zusatzliche Modellierungsmittel fur komplexe Objekte, Konsistenzsicherung, vage bzw. unvollstandige Informationen, Versionen- und Variantenverwaltung. Ein Prototyp eines Datenbanksystems, welches mit diesem Modell arbeitet, wird implementiert.

On the Specification of Distributed Computer Control Systems

The computer science group at the Brown Boveri Research Center, Baden, Switzerland, is aiming at a technique for all levels of process control system development. Specification systems are a rather new, but promising field for improvement. The paper describes the current situation, and the tools which are now available. These existing tools, which are powerful, but limited in range, will be combined and extended to obtain an integrated environment for the development of process control systems.

Specification of a specification language

ESPRESO is a recently developed specification system for process control software. It consists of a specification language and a software system which serves as a tool to check, manage, and evaluate specifications. The language was precisely defined by an Extended Attribute Grammar and by a mapping into a programming language. The definition turned out to be most valuable not only for the implementation of the tool but also for the improvement of the language itself. As a by-product of this work, a better understanding of the nature of a specification language was achieved.

Specification techniques for real-time systems

Abstract This paper is a course on Specification. Since it is based on experiences in the field of Software Engineering, it applies primarily to Software Specifications. Many observations and reports indicate, however, that, from specification aspects, there is not much difference between information processing systems in general and software in particular. Therefore, most of this course applies also to System Specification. There are methods, languages, and tools for writing specifications. In this paper, we concentrate on methods and languages. We start with the definitions of a few fundamental terms and of the qualities of specifications. In the main part of the paper, we present four specification methods together with their underlying languages, namely Structured Analysis, SADT, PSL, and RSL. A few sample specifications written in these languages are given in order to convey an optical impression of each language. The paper ends with some general conclusions and a list of references.

Software-Spezifikation durch halbformale, anschauliche Modelle

Der Beitrag erortert die Frage, welche Ansatze zur Spezifikation grundsatzlich in Frage kommen, und begrundet, warum in der industriellen Praxis das Prinzip der halbformalen Spezifikation auf der Basis anschaulicher Modelle vorteilhaft ist. Die Beispiele und die am Schluss wiedergegebenen Erfahrungen stammen aus unserer Arbeit mit dem Spezifikationssystem SPADES, das auf dem Prinzip der halbformalen Beschreibung beruht.

Literaturhinweise und -verzeichnis

Nicht mehr taufrisch, aber noch immer das Einstiegsbuch in die Welt des systematischen Testens ist G.J. Myers: The Art of Software Testing, das erstmals 1979 erschienen, inzwischen neu aufgelegt und auch auf Deutsch erhaltlich ist. Die Methoden zur Auswahl der Testfalle sind leicht verstandlich vorgestellt.

Management und Prüfung

Management und Prufungen sind durch zwei Aspekte miteinander verknupft, zum einen durch das Management der Pruftatigkeiten, zum anderen durch den Beitrag von Prufresultaten zur Projektfuhrung.

Weitere Aspekte der Software-Prüfung

In diesem Kapitel werden einige Aspekte behandelt, die wir nicht vertiefen konnen oder wollen; das „konnen“ bezieht sich auf unseren Erfahrungsbereich, das „wollen“ auf die Zielsetzung, eine handliche Anleitung vorzulegen.

Software-Prüfung durch Tests

In diesem Kapitel sollen die Grundlagen und die ersten Schritte eines systematischen Testansatzes vermittelt werden. Viele erfahrene Programmierer werden hier einwenden, das sie das Testen durchaus kennen — und uberrascht sein von Aspekten, die ihnen bislang entgangen sind.