Geri Dön

Checking sequence construction using multiple adaptive distinguishing sequences

Çoklu durum belirleme dizileriyle kontrol dizisi üretimi

  1. Tez No: 394249
  2. Yazar: CANAN GÜNİÇEN
  3. Danışmanlar: DOÇ. DR. HÜSNÜ YENİGÜN, DOÇ. DR. GUY VINCENT JORDAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2015
  8. Dil: İngilizce
  9. Üniversite: Sabancı Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 89

Özet

Bu çalışmada Sonlu Durum Makinaları (SDM) bazlı sınamada yeni bir kontrol dizisi üretim yöntemi verilmektedir. Tek bir durum tanıma dizisi kullanmakta olan literatürdeki mevcut yöntemlerin aksine, birden fazla durum tanıma dizisinin kullanılması önerilmektedir. Birden fazla durum tanıma dizisinin kullanımı ile kontrol dizisi üretimi sırasında daha kısa durum belirleme dizileriyle kontrol dizisinin uzunluğunun azaltılacağı öngörülmektedir. Önerilen yöntem iki safhadan oluşmaktadır. Ilk safhada, birden fazla durum tanıma dizisi kullanılarak bir sınama dizisi w oluşturulmaktadır. Ikinci safhada ise w tekrar ele alınıp yapılan eklentilerle bir kontrol dizisi haline getirilmektedir. Bu çalışmada yeni yöntemin mevcut yöntemlere göre daha kısa kontrol dizileri ürettiğini goösteren deneysel çalışmalar da sunulmaktadır.

Özet (Çeviri)

A new method for constructing a checking sequence for finite state machine (FSM) based testing is introduced. Unlike its predecessors, which are based on state recognition using a single state identification sequence, our approach makes use of multiple state identification sequences. Using multiple state identification sequences provides an opportunity to construct shorter checking sequences, based on a greedy approach of choosing a state identification sequence that best suits our goal at di↵erent points during the construction of the checking sequence. Our approach has two phases. In the first phase, a test sequence w is constructed using multiple state identification sequences. The sequence w is not guaranteed to be a checking sequence, however it is further extended to a checking a sequence by the second phase of our method. We present the results of an experimental study showing that our two phase approach produces shorter checking sequences than the previously published methods.

Benzer Tezler

  1. Deep wavelet neural network for spatio-temporal data fusion

    Uzamsal-zamansal veri füzyonu içinderin dalgacık sinir ağları

    AJLA KULAGLIC

    Doktora

    İngilizce

    İngilizce

    2022

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

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. BURAK BERK ÜSTÜNDAĞ

  2. Improvements in finite state machine based testing

    Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler

    URAZ CENGİZ TÜRKER

    Doktora

    İngilizce

    İngilizce

    2014

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. HÜSNÜ YENİGÜN

    PROF. DR. ROBERT HİERONS

  3. İnşaat firmalarında satın alma yönetim sistemi

    Başlık çevirisi yok

    RAHİME GÜLER

    Yüksek Lisans

    Türkçe

    Türkçe

    1996

    Mimarlıkİstanbul Teknik Üniversitesi

    PROF.DR. YILDIZ SEY

  4. Kalite çemberleri ve konfeksiyon uygulamaları

    Başlık çevirisi yok

    ŞENOL DALLI

    Yüksek Lisans

    Türkçe

    Türkçe

    1996

    Tekstil ve Tekstil Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. BAYRAM YÜKSEL