Task the algorithm faces
Problem
Faults in electronic circuits are modeled using fault models, of which the Stuck-At fault model is the most commonly used. It is assumed that if such faults occur, lines get permanently stuck to 0 or 1.
There are two basic principles in testing: Controllability and Observability. In a combined circuit there are several nodes, in which c a Stuck-At fault can occur (for simplicity only one at a time).
In the D-algorithm (Roth, 1966) the authors try to make the error observable at the output by a suitable assignments at the input, and not overwrite the error.
But then why are we learning it?
The answer is that we human beings have an intelligence quotient, and hence we can solve methods like path sensitization intuitively. A computer does not have the necessary intelligence yet. The D algorithm takes the creativity out of test generation and allows a computer to do it.