Title :
Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming
Author :
Papaioannou, Spiros G.
Author_Institution :
College of Engineering, Boston University
fDate :
6/1/1977 12:00:00 AM
Abstract :
The problem of generating tests for the detection or location of permanent logical faults in combinational networks is formulated as a finite sequence of maximization problems in which the maximizing vertices are the desired tests. The formulation is based on the concept of real transform of a Boolean function, while maximization is achieved by pseudo-Boolean PB programming.
Keywords :
Boolean difference, combinational networks, fault detection, fault location, pseudo-Boolean programming.; Boolean functions; Computational efficiency; Fault detection; Fault location; Functional programming; Intelligent networks; Logic programming; Logic testing; Sequential analysis; System testing; Boolean difference, combinational networks, fault detection, fault location, pseudo-Boolean programming.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1977.1674880
