Implementation of D-algorithm by using PROLOG

PRLOG에 의한 D-algorithm의 구현에 관한 연구

This paper introduce a new test generation method based on built-in data base which is suitable for generating of test set by using PROLOG language. The program presented in this paper deals with all the information required for fault detection from the rules describing output signals and internal signals. Example shows the validity of proposed PROLOG program which results in a effective generation of test set comparable to the conventional D-algorithm.