Proceedings 10th Asian Test Symposium
Download PDF

Abstract

In this paper a new strategy for the generation of test vectors for testing large sequential machine has been proposed. The fault model assumed is the Single State Transition (SST) fault model where a fault corrupts the destination state of exactly one transition of the machine, rest of the transitions being unaffected. The strategy takes into consideration the behaviour of the machine under test and generates a set of test vectors. The main contribution of this paper is that it creates an ordering of the test vectors generated, if this test vectors are applied in the same order during testing, it maximizes the fault coverage in the least possible time with high probability. Also this approach reduces the traversal space of the machine under test by eliminating a set of transitions where the chance of detecting an existing fault is poor. The approach also ensures that the test vectors are such that when applied for testing do not result in the repeated traversal of the same part of the machine. This way it helps in reducing the time of testing without compromising the extent of fault coverage of the testing procedure.
Like what you’re reading?
Already a member?Sign In
Member Price
$11
Non-Member Price
$21
Add to CartSign In
Get this article FREE with a new membership!