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

fYear

1989

fDate

12-14 Apr 1989

Firstpage

383

Lastpage

390

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;

fLanguage

English

Publisher

ieee

Conference_Titel

European Test Conference, 1989., Proceedings of the 1st

Conference_Location

Paris

Print_ISBN

0-8186-1937-6

Type

conf

DOI

10.1109/ETC.1989.36267

Filename

36267