Functional Test Generation For finite State Machines With Concurrent Fault Simulation

Abstract

This paper presents a new test-sequence generation method for finite state machines at the functional specification level. The test generation algorithm incorporates concurrent functional fault simulation to reduce the length of the generated test sequence and the test generation time. The test sequence generator guarantees 100 % transition fault coverage. We also identified some weaknesses in the transil.ion fault model for finite state machines which results in less than perfect structural fault coverage.