Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/7488
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorAyav, Tolga-
dc.contributor.authorTakan, Savaş-
dc.date.accessioned2019-12-16T13:37:43Z-
dc.date.available2019-12-16T13:37:43Z-
dc.date.issued2019-03en_US
dc.identifier.citationTakan, S. (2019). Fourier analysis based testing of finite state machines. Unpublished doctoral dissertation, Izmir Institute of Technology, Izmir, Turkeyen_US
dc.identifier.urihttps://hdl.handle.net/11147/7488-
dc.descriptionThesis (Doctoral)--Izmir Institute of Technology, Computer Engineering, Izmir, 2019en_US
dc.descriptionIncludes bibliographical references (leaves: 65-70)en_US
dc.descriptionText in English; Abstract: Turkish and Englishen_US
dc.description.abstractFinite 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.en_US
dc.description.abstractSonlu durum makinesi (FSM), devre ve yazılım testlerinde yaygın kullanıma sahip bir modelleme tekniğidir. FSM testi iyi çalışılmış bir konudur ve literatürde W, Wp, UIO, UIOv, DS, HSI ve H gibi test üretim yöntemleri vardır. FSM'lerin testi için literatürde çeşitli yöntemler bulunmakla birlikte, modellerin büyümesi sonucu test kümesinin büyüklüğü, hata yakalama oranı ve test üretim süresi gibi konularda yüksek başarıma sahip alternatif test yöntemlerine ihtiyaç duyulmaktadır. Bu çalışmada, F ve Fw isimli iki yeni test üretme yöntemi önerilmiştir. Önerilen yöntemler diğer test üretme yöntemlerinden farklı olarak, Boolean fonksiyonlarının Fourier analizine dayanmaktadır. Boolean fonksiyonlarının Fourier dönüşümü matematik, bilgisayar bilimi ve mühendislik alanlarında yoğun olarak incelenmiştir. F yöntemi yalnızca çıktıları test ederken; Fw yöntemi, çıktılar ile birlikte sonraki durumu da test etmektedir. Bu bağlamda, önerilen yöntemler, karakteristik, maliyet, hata yakalama oranı ve başarım bakımından UIO ve W metotları ile karşılaştırılmıştır. Elde edilen sonuçlar, T-Test ve Hedges' g ile analiz edilmiştir. Sonuçlar önerilen F ve Fw yöntemlerinin mevcut yöntemlerden daha başarılı olduğunu göstermiştir.en_US
dc.format.extentx, 107 leaves-
dc.language.isoenen_US
dc.publisherIzmir Institute of Technologyen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectFinite state machineen_US
dc.subjectFourier analysisen_US
dc.subjectF methoden_US
dc.titleFourier analysis based testing of finite state machinesen_US
dc.title.alternativeSonlu durum makinelerinin Fourier analizi tabanlı testien_US
dc.typeDoctoral Thesisen_US
dc.institutionauthorTakan, Savaş-
dc.departmentThesis (Doctoral)--İzmir Institute of Technology, Computer Engineeringen_US
dc.relation.publicationcategoryTezen_US
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.fulltextWith Fulltext-
item.languageiso639-1en-
item.grantfulltextopen-
item.openairetypeDoctoral Thesis-
crisitem.author.dept03.04. Department of Computer Engineering-
Appears in Collections:Phd Degree / Doktora
Files in This Item:
File Description SizeFormat 
T002045.pdfDoctoralThesis1.01 MBAdobe PDFThumbnail
View/Open
Show simple item record



CORE Recommender

Page view(s)

74,748
checked on Apr 15, 2024

Download(s)

296
checked on Apr 15, 2024

Google ScholarTM

Check





Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.