Title :
An expert system for the functional specification of test programs
Author :
Robach, C. ; Garcia, N. ; Lutoff, D.
Author_Institution :
Lab. de Genie Inf., Grenoble, France
Abstract :
The design concept and implementation of a knowledge-based test-strategy specification tool for logic systems are described. The test strategy selects the subset of functions that is required to ensure the test of all hardware primitives and to provide an order for the application of those functions. This process results in the functional specification of the test program. The structure of the knowledge base and the inference engine are characterized, and an application to an in-circuit emulator is presented in detail. The system was implemented on a VAX 785 using the OPS5 language
Keywords :
automatic testing; electronic engineering computing; electronic equipment testing; expert systems; logic testing; OPS5 language; VAX 785; automatic testing; expert system; functional specification; in-circuit emulator; inference engine; knowledge-based test-strategy specification tool; logic systems; logic testing; test programs; Automatic testing; Circuit testing; Diagnostic expert systems; Electronic equipment testing; Expert systems; Hardware; Job design; Logic design; Logic testing; System testing;
Conference_Titel :
European Test Conference, 1989., Proceedings of the 1st
Conference_Location :
Paris
Print_ISBN :
0-8186-1937-6
DOI :
10.1109/ETC.1989.36267
