Publisher's Synopsis
The introductory paper in this book gives an overview of the most significant attempts to use knowledge based systems for test and diagnosis. The overview includes: - systems which employ knowledge engineering - systems which employ frames and/or slots - systems which represent knowledge using some form of calculus - systems which attempt to imitate human expertise. Chapter I deals with test planning and text expertise, including AI aspects of designing testable chips, economic problems and the HITEST experience. Chapter II covers the most obvious application of AI techniques: knowledge based diagnosis. A survey paper looks at various systems, while the other papers report on practical experiences. Chapter III reports on rule based design verification and maintenance, the papers dealing with electrical verification of integrated circuits, board verification with an application in an industrial environment, and rule based maintenance.