Test squence generation for a finite state machine using characterization sets
Bir sonlu durum makinası için tanımlayıcı kümeler kullanarak test dizisi üretimi
- Tez No: 56628
- Danışmanlar: PROF. DR. KEMAL İNAN
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Sonlu Durum Makinası, Test, Test Dizisi, Kontrol Dizisi, Ayırt Edici Dizi, Tanımlayıcı Küme, Ayırt Edici Küme, Kırsal Postacı Turu IV, Diziler, Finite State Machine, Testing, Test Sequence, Checking Sequence, Distinguishing Sequence, Characterization Set, Distinguishing Set, Rural Postman Tour. m, Sequences
- Yıl: 1996
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik Elektronik Mühendisliği Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde, bir model sonlu durum makinası için ayırt edici dizi bulunamadığı genel durumda, eniyi test dizisi üretimi problemi incelenmiş ve gerçekleştirilmiştir. Çalışma aynı zamanda, muhtemelen hatalı bir uygulamanın belirtimine göre daha fazla durum sayışma sahip olabileceği koşulda, bir sonlu durum makinası için test dizisi üretiminin araştırmasını da kapsamaktadır.
Özet (Çeviri)
In this thesis, the problem of generating optimal checking sequence is investigated and implemented under the general condition where a distinguishing sequence for the model finite state machine may not exist. The study also covers the search for the generation of test sequences for a Finite State Machine when a possibly faulty implementation of a specification may have more states than the specification.
Benzer Tezler
- Algorithms for conformance test generation
Uyum sınaması üretilmesi için algoritmalar
BURAK SERDAR
Yüksek Lisans
İngilizce
1998
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜNEY GÖNENÇ
- Lojik devre tasarımı algoritmaları
Başlık çevirisi yok
ORHAN UÇAR
Yüksek Lisans
Türkçe
1996
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. AHMET DERVİŞOĞLU
- 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
1996
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiPROF.DR. KEMAL İNAN
- Dolgu barajların tasarımında temel ilkeler ve İ.T.Ü. Göleti
Small earth fill dams and I.T.Ü. Dam
SERHAT BATMAZ
- Yatak katsayısı ve temel yapılarına uygulanması
Başlık çevirisi yok
İLKER N. DEVELİOĞLU
Yüksek Lisans
Türkçe
1996
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. M. TUĞRUL ÖZKAN