A two phase approach for checking sequence generation

Warning The system is temporarily closed to updates for reporting purpose.

Dinçtürk, Emre Mustafa (2009) A two phase approach for checking sequence generation. [Thesis]

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: (Table of Contents)


A new method for constructing a checking sequence for finite state machine (FSM) based testing is introduced. It is based on a recently suggested method which uses quite a different approach than almost all the methods developed since the introduction of the checking sequence generation problem around half a century ago. Unlike its predecessor which aggressively tries to recognize the states by applying identification sequences, our approach relies on yet to be generated parts of the sequence for this. The method may terminate without producing a checking sequence. We also suggest a method to check if a sequence is a checking sequence for this purpose. If it turns out not be a checking a sequence, a post processing phase extends the sequence further. We present the results of an experimental study showing that our two phase approach produces shorter checking sequences than the previously published methods. This experimental study is performed on FSMs that are randomly generated by using a tool implemented within this work to support this and other FSM based testing studies.

Item Type:Thesis
Uncontrolled Keywords:FSM based testing. -- Checking sequence. -- Random FSM generation. -- SDM bazlı sınama. -- Kontrol dizileri. -- Rastlantısal SDM üretimi.
Subjects:T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800-8360 Electronics > TK7885-7895 Computer engineering. Computer hardware
ID Code:16649
Deposited By:IC-Cataloging
Deposited On:03 Aug 2011 15:25
Last Modified:25 Mar 2019 17:02

Repository Staff Only: item control page