An Overall View of the SPP IF Project: The Automatic Generation of Test Purposes

The project <em>'The Automatic Generation of Test Purposes'</em>is part of the second series of the 'Priority Programme Informatics' (SPP IF), Module 1: 'Safe Distributed Systems'. It intends to improve the testing process of communication systems. The work is funded partially by the Siemens-Albis AG in Zürich. The project started on 1. October 1994 and will be carried out at the University of Berne. This project presentation describes the problems which shall be tackled and explains the planed line of actions in order to solve the mentioned problems.