|
" Sonlu durum makinelerinin Fourier analizi tabanlı testi "
Takan, Savaş
Ayav, Tolga
| Document Type
|
:
|
Latin Dissertation
|
| Language of Document
|
:
|
English
|
| Record Number
|
:
|
1112279
|
| Doc. No
|
:
|
TLpq2524205871
|
| Main Entry
|
:
|
Ayav, Tolga
|
|
|
:
|
Takan, Savaş
|
| Title & Author
|
:
|
Sonlu durum makinelerinin Fourier analizi tabanlı testi\ Takan, SavaşAyav, Tolga
|
| College
|
:
|
Izmir Institute of Technology (Turkey)
|
| Date
|
:
|
2019
|
| student score
|
:
|
2019
|
| Degree
|
:
|
Ph.D.
|
| Page No
|
:
|
118
|
| Abstract
|
:
|
Finite state machine (FSM) is a widely used modeling technique for circuit and software testing. FSM testing is a well-studied topic in the literature and there are several test case generation methods such as W, Wp, UIO, UIOv, DS, HSI and H. Despite the existing methods, there is still a need for alternative techniques with better performance in terms of test suite size, fault detection ratio and test generation time. In this thesis, two new test case generation methods, F and Fw have been proposed. The proposed test generation methods are based on Fourier analysis of Boolean functions. Fourier transformations have been studied extensively in mathematics, computer science and engineering. The proposed F method only tests outputs whereas Fw method also tests the next state with the outputs. In this context, the proposed methods are compared with UIO andWmethods in terms of characteristic, cost, fault detection ratio and effectiveness. The evaluation data are analyzed using T-Test and Hedges’ g. Results show that F and Fw methods outperform the existing methods in terms of the fault detection ratio per test.
|
| Subject
|
:
|
Boolean
|
|
|
:
|
Computer engineering
|
|
|
:
|
Fourier analysis
|
|
|
:
|
Input output
|
|
|
:
|
Software
|
| |