Pub. online:1 Jan 1993Type:Research ArticleOpen Access
Volume 4, Issues 3-4 (1993), pp. 384–398
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 requirements for that class of systems are formulated and how to meet these requirements is proposed. The formal model to describe the process of an interactive test program generation and incremental translation is presented.