Heuristics for unique input output sequence computation

Kaynar, Hakan (2008) Heuristics for unique input output sequence computation. [Thesis]

[thumbnail of HakanKaynar.pdf] PDF
HakanKaynar.pdf

Download (2MB)

Abstract

In this thesis, several heuristic methods are proposed for the computation of Unique Input Output (UIO) Sequences for the states of a given finite state machine. UIO computation problem is known to be a hard problem. The methods suggested in this work are based on unfolding an exponential tree as the other methods existing in the literature. However, our methods perform a search guided by some heuristic information. We also introduce a parameter for inference based UIO sequence computation for a trade off between the memory used for the computation and the UIO sequence length. Based on a randomly generated set of finite state machines, an extensive experimental study is also provided to compare the performance of our methods between each other and to those already exist in the literature.
Item Type: Thesis
Uncontrolled Keywords: Formal testing methods. -- Checking sequences. -- UIO sequences. -- Unique input output sequences. -- Biçimsel sınama yöntemleri. -- Kontrol dizisi. -- Benzersiz girdi çıktı dizileri.
Subjects: T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800-8360 Electronics > TK7885-7895 Computer engineering. Computer hardware
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: IC-Cataloging
Date Deposited: 12 Jul 2010 12:16
Last Modified: 26 Apr 2022 09:51
URI: https://research.sabanciuniv.edu/id/eprint/14120

Actions (login required)

View Item
View Item