Computer-aided test program design system (CATPDS) in ATLAS

The configuration and essential features of the Computer-Aided Test Program Design System (CATPDS) which generates test programs in an adapted ATLAS subset for analogue units under test are discussed. The require­ ments for that class of systems are formulated and how to meet these require­ ments is proposed. The formal model to describe the process of an interactive test program generation and incremental translation is presented.