An expert system for the functional specification of test programs

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.<
>