Test set generation using linear finite state machines
Date
1997
Authors
Tian, Wanning
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
In this thesis, we investigate the embedding of some deterministic test sets into sequences generated by linear finite state machines. The performance of the machines is analyzed using simulation. An alternative approach using partitioning is also proposed. Our research shows that the embedding is possible. However, finding good machines is comparatively difficult. We suggest that some modifications to the linear finite state machines may solve the problem. We present an approach of partitioning the machines which reduces the length of the test sequence.