Report on the EEC Workshop on Graphics Certification Defining a Device Interface for Certification Miltenberg/Darmstadt, FRG25-28 April 1982

Abstract

The outcome of the Miltenberg meeting shows that a practical method of certification by testing (falsification) can be developed, given a reasonable amount of time and effort. It is based on semiautomatic comparison at the "device" interface of a candidate implementation against a so-called reference implementation. A prerequisite for this method is the availability of a number of isolated simple basic facilities of the candidate implementation which have been verified by pictorial testing and by testing through operator actions.To permit semi-automatic comparison, a format for describing graphical output and input items and their associated properties must be defined. The workshop produced an outline design for such a format, which can be applied at any interface within GKS at which testing might be desirable.