Geri Dön

Fourier analysis based testing of finite state machines

Sonlu durum makinelerinin Fourier analizi tabanlı testi

PDF İndir

  1. Tez No: 556748
  2. Yazar: SAVAŞ TAKAN
  3. Danışmanlar: DOÇ. DR. TOLGA AYAV
  4. Tez Türü: Doktora
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2019
  8. Dil: İngilizce
  9. Üniversite: İzmir Yüksek Teknoloji Enstitüsü
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 118

Özet

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 and W methods 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.

Özet (Çeviri)

Sonlu 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.

Benzer Tezler

  1. Tez No

    39435

    Türkçede ayrık konuşma tanımı

    Başlık çevirisi yok

    ERCAN ÖLÇER

    Yüksek Lisans

    Türkçe

    Türkçe

    1993

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    PROF. DR. EŞREF ADALI

  2. Tez No

    39291

    Doğal dolaşımlı, kendinden depolu güneş toplayıcısının ısıl analizi

    The Thermal analysis of a novel built-in-stroge solar water heater

    İ.NECMİ KAPTAN

    Doktora

    Türkçe

    Türkçe

    1994

    Makine Mühendisliğiİstanbul Teknik Üniversitesi

    DOÇ.DR. ABDURAHMAN KILIÇ

  3. Tez No

    406204

    Theoretical and experimental investigation of cooling load temperature difference (cltd) values for building walls and flat roofs

    Duvar ve düz tavanlar için soğutma yükü sıcaklık farkı (sysf) değerlerinin teorik ve deneysel incelenmesi

    OMER ADIL ZAINAL

    Doktora

    İngilizce

    İngilizce

    2015

    EnerjiGaziantep Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    PROF. DR. RECEP YUMRUTAŞ

  4. Tez No

    792329

    Smooth structural changes and cointegration analysis in panel data

    Yumuşak yapısal kırılmalar ve panel veri'de eşbütünleşme analizi

    ÇAĞIN KARUL

    Doktora

    İngilizce

    İngilizce

    2023

    EkonometriAnkara Yıldırım Beyazıt Üniversitesi

    Ekonomi Bilim Dalı

    DOÇ. DR. FATİH CEMİL ÖZBUĞDAY

    PROF. DR. ŞABAN NAZLIOĞLU

  5. Tez No

    771607

    Bir dizel motorun burulma titreşim analizi ve optimizasyonu

    Torsional vibration analysis and optimization of a diesel engine

    HAŞMET ÇAĞRI SEZGEN

    Doktora

    Türkçe

    Türkçe

    2022

    Makine MühendisliğiNecmettin Erbakan Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    DOÇ. DR. MUSTAFA TINKIR

Geri Dön