Geri Dön

Algorithms for conformance test generation

Uyum sınaması üretilmesi için algoritmalar

  1. Tez No: 75914
  2. Yazar: BURAK SERDAR
  3. Danışmanlar: DOÇ. DR. GÜNEY GÖNENÇ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Uyum sınaması, ayırt edici diziler, tek girdi/çıktı dizileri, Uygunluk testi, Conformance testing, distinguishing sequence, unique input/output se quence, Distinguishing sequences, Correspondence test
  7. Yıl: 1998
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

oz UYUM SINAMASI ÜRETİLMESİ İÇİN ALGORİTMALAR Serdar, Burak Yüksek Lisans, Elektrik-Elektronik Mühendisliği Bölümü Tez Yöneticisi: Doç. Dr. Güney Gönenç Ortak Tez Yöneticisi: Prof. Dr. Kemal İnan Temmuz 1998, 63 Sayfa Bu tezde, sonlu durum makinası belirtimleri için uyum sınaması üretilmesi için bir model önerilmiştir. 'Kara kutu' uygulamaların belirtimlerine uyumunu sınamanın tek yolu, uygulamaya girdiler vermek ve beklenen çıktıların alınıp alınmadığını gözlemektir. İdeal olarak, bir uyum sınaması uygulamalardaki olası her hatayı bulmalıdır. Önerilen model, belirli varsayımlar altında tüm hataları bulmak için kontrol dizilerinde bu lunması yeterli olan koşulları belirlemekte kullanılmıştır. Ayırt edici diziler ve tek girdi/çıktıdizileri kullanılarak, sıfırlama olduğu ve olmadığ ı durumlar için algoritmalar geliştirilmiştir. Bu algoritmalar C++ programlama dili kullanılarak gerçeklenmiştir.

Özet (Çeviri)

ABSTRACT ALGORITHMS FOR CONFORMANCE TEST GENERATION Serdar, Burak M.S., Department of Electrical and Electronics Engineering Supervisor: Assoc. Prof. Dr. Güney Gönenç Co-Supervisor: Prof. Dr. Kemal İnan July 1998, 63 Pages In this thesis, a general model for constructing conformance tests for finite state machine specifications is proposed. The only way of testing the conformance of a 'black-box' implementation with respect to its specification is by applying inputs and observing whether the response generated is what is expected. Ideally, a conformance test must be capable of detecting every possible fault in an implementation. Based on the proposed model, sufficient conditions that must be satisfied by checking sequences to ensure full fault detection under certain assumptions are derived. Algorithms using distinguish ing sequences and unique input/output sequences with and without a reset facility is developed and realized using the C++ language.

Benzer Tezler

  1. Tez No

    56536

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

    Başlık çevirisi yok

    HÜSEYİN ÇALGIN

    Yüksek Lisans

    İngilizce

    İngilizce

    1996

    Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik Üniversitesi

    PROF.DR. KEMAL İNAN

  2. Tez No

    39680

    Elektrik enerji iletim şebekelerinin optimal genişletme planlaması

    Optimal expansion planning of power transmission networks

    NAZİF HÜLAGÜ SOHTAOĞLU

    Doktora

    Türkçe

    Türkçe

    1994

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

    PROF.DR. NESRİN TARKAN

  3. Tez No

    377419

    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

    Mühendislik BilimleriSabancı Üniversitesi

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

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

    PROF. DR. ROBERT HİERONS

  4. Tez No

    639866

    Türkiye'de, hepatit c enfeksiyonunun laboratuvar tanısında kullanılan immunoassay metoduna dayalı farklı anti-hcv kitlerinin tanı değerlerinin araştırılması

    Investigation of diagnostic values of different antihcv reactives based on immunoassay method used in the laboratory diagnosis of hepatitis c infection in turkey

    ÖZGÜL ÇETİNKAYA

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    2015

    MikrobiyolojiAfyon Kocatepe Üniversitesi

    Tıbbi Mikrobiyoloji Ana Bilim Dalı

    DOÇ. DR. RECEP KEŞLİ

  5. Tez No

    22049

    Çok amaçlı karar verme metodları ve tekstil sanayiinde bir uygulama

    Multiple criteria decision making methods and an application to the textile industry

    H.EDA ÖZTÜRK

    Yüksek Lisans

    Türkçe

    Türkçe

    1992

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

    PROF. DR. RAMAZAN EVREN

Geri Dön