The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2002 vol.51)
pp: 1111-1117
ABSTRACT
<p><b>Abstract</b>—Here, the method proposed in [<ref rid="bibT111113" type="bib">13</ref>] for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations of the state recognition sequences and their use in constructing test segments. It is shown that the proposed improvement further reduces the length of checking sequences produced from minimal, completely specified, and deterministic finite state machines.</p>
INDEX TERMS
Finite state machine, checking sequence, test minimization, distinguishing sequence.
CITATION
Robert M. Hierons, Hasan Ural, "Reduced Length Checking Sequences", IEEE Transactions on Computers, vol.51, no. 9, pp. 1111-1117, September 2002, doi:10.1109/TC.2002.1032630
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool