Geri Dön

Implementation of on optimal conformance test sequence generation using distinguishing sequences and modified postman algorithm

Başlık çevirisi mevcut değil.

  1. Tez No: 56536
  2. Yazar: HÜSEYİN ÇALGIN
  3. Danışmanlar: PROF.DR. KEMAL İNAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Protokol Uyum Sınaması, Ayırt Edici Diziler, Yoklama Deneyi, Haberleşme Protokolü, Kırsal Postacı Algoritması IV, Protocol Conformance Testing, Distinguishing Sequences, Checking Experiment, Communication Protocol, Rural Postman Algorithm. iii
  7. Yıl: 1996
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 57

Özet

öz AYIRT EDİCÎ DİZİLER VE UYARLANMIŞ KIRSAL POSTACI ALGORİTMASI KULLANARAK ENİYÎ UYUM SINAMA DİZİSİ ÜRETEN BİR YÖNTEMİN GERÇEKLENMESİ Çalgın, Hüseyin Yüksek Lisans, Elektrik-Elektronik Mühendisliği Bölümü Tez Yöneticisi: Prof. Dr. Kemal İnan Ocak 1996, 64 Sayfa Bu tezde, bir protokol uyum sınaması test dizisi üretme yöntemi ileriye götürülmüş ve kişisel bilgisayar ortamında, C++ programlama dili kullanılarak gerçeklenmiştir. Geniş haberleşme ağlan, haberleşme protokolü adı verilen, soyut belirtim kuralları ile birbirlerine bağlanan bloklar içerir. Bir protokol uygulamasının gerekli soyut belirtime uyup uymadığının sınanması gerekir. Bu tür bir sınamaya protokol uyum sınaması adı verilir. Bu soyut belirtimlerin çoğu sonlu durum makinaları biçiminde temsil edilebilir. Sonlu durum makinalarında yapılan yoklama deneyleri, verilen bir kara kutu uygulamasının girdi-çıktı bakımından belirtim makinasına eşdeğer olup olmadığım kontrol eden bir girdi-çıktı dizisi ararlar. Bu çalışmada“ayırt edici diziler”,“kırsal postacı algoritması”ve“çakışma algoritması”kullanılarak yoklama deneyi yöntemi geliştirilmiş ve gerçeklenmiştir.

Özet (Çeviri)

ABSTRACT IMPLEMENTATION OF AN OPTIMAL CONFORMANCE TEST SEQUENCE GENERATION USING DISTINGUISHING SEQUENCES AND MODIFIED RURAL POSTMAN TOUR ALGORITHM Çalgın, Hüseyin M. S., Department of Electrical and Electronics Engineering Supervisor: Prof. Dr. Kemal înan January 1996, 64 Pages In this thesis, an implementation of a protocol conformance test sequence generation method is improved and realized in the personal computer environment using the C++ programming language. Large communication networks involve separate self operating blocks which are connected to each other via the rules of abstract specifications called communication protocols. An implementation of a protocol must be tested to ensure its conformance to the required abstract specification. Such a test is called a conformance test. Most of these abstract specifications can be represented in a finite state automaton format. Checking experiments on finite state machines use an input/output sequence called checking sequence that is used to guarantee that given black box implementation is input/output equivalent to the specification automaton. In mis study, using“distinguishing sequences”,“rural postman algorithm”and“overlapping algorithm”a method for computing an optimal checking experiment is developed and implemented.

Benzer Tezler

  1. Tez No

    39863

    Kalite maliyetleri optimizasyonuna çok amaçlı karar verme yaklaşımı

    A Multiple decision making approach to quality cost optimization

    CENK CESUR

    Yüksek Lisans

    Türkçe

    Türkçe

    1993

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    DOÇ.DR. MEHMET TANYAŞ

  2. Tez No

    850998

    Design and implementation of models on deep learning and machine learning algorithms using NASA MDP dataset for software fault prediction

    Yazılım hata tahmini için NASA MDP veri kümesini kullanarak derin öğrenme ve makine öğrenimi algoritmalarına ilişkin modellerin tasarımı ve gerçekleştirilmesi

    BARAAH MAHMOOD KHUDHAIR ALSANGARI

    Yüksek Lisans

    İngilizce

    İngilizce

    2024

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ GÖKSEL BİRİCİK

  3. Tez No

    803712

    Design, analysis and development of optimal satellite attitude control system

    Optimal uydu yönelim kontrol sistemi tasarım, analiz ve geliştirilmesi

    EMRE SAYIN

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Astronomi ve Uzay Bilimleriİstanbul Teknik Üniversitesi

    Uçak ve Uzay Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ İSMAİL BAYEZİT

  4. Tez No

    809561

    QoS-based resource management and optimization in CR-based NOMA networks

    CR tabanlı NOMA ağlarında QoS tabanlı kaynak yönetimi ve optimizasyonu

    ÖMER FARUK AKYOL

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ SEMİHA TEDİK BAŞARAN

  5. Tez No

    442140

    Glocalization in international construction projects

    Uluslararası inşaat projelerinde küyerelleşme

    ÖZGÜR SÖNMEZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2016

    İnşaat MühendisliğiOrta Doğu Teknik Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    PROF. DR. MUSTAFA TALAT BİRGÖNÜL

Geri Dön