A Pseudo-Boolean Technique for Generating Compact Transition Tests with All-Output-Propagation Properties

This paper presents a technique for deriving a test set that detects each transition fault at all the reachable outputs from the fault site. It is known that such tests, which are called all-output-propagation (AOP) ones, can enhance the detectability of un-modeled defects. In order to generate compact AOP tests, pseudo-Boolean (0-1 integer programming) model is introduced in this paper. Moreover, a simple and reasonable heuristic way is also introduced to reduce the size of AOP tests efficiently.It is shown that the proposed method can generate compact AOP tests in a reasonable amount of test generation time through some experiments.