Implementation of a protocol conformance test sequence generation methodology using distinguishing sequences
Ayırt edici diziler kullanarak protokol uyum sınama dizisi üreten bir yöntemin gerçeklenmesi
- Tez No: 29582
- 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: Protokol Uyum Sınaması, Ayırt Edici Diziler, Yoklama Deney- leri, Hata Yakalama, Arıza tespiti, Uygunluk testi, Protocol Conformance Testing, Distinguishing Sequences, Checking Experiment, Fault Detection, Fault diagnosis, Correspondence test
- Yıl: 1993
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik ve Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde bir Sun 4 iş istasyonu ortamında Lisp programlama dili kul lanılarak bir protokol uyum sınaması dizisi yöntemi gerçeklenmiştir. Bir iletişim protokolünün gerçeklemesi bunun gereken soyut belirtime uyup uymadığını be lirleyecek bir sınamadan geçmelidir. Böyle bir sınamaya protokol uyum sınaması denir. Protokollerin soyut belirtimleri çoğu zaman sonlu durum makinaları biçi minde yapılır. Sonlu durum makinaları üzerinde yapılan yoklama deneyleri kara kutu olarak ele alınan gerçeklemenin girdi- çıktı bakımından belirtim makinasma eşdeğer olup olmadığını tam hata kapsamıyla ortaya koyarlar. Ayırt edici diziler bu deneylerde durumları tanımak için kullanılırlar. Ayırt edici diziler kullanan bir yoklama deneyi yöntemi uyum sınaması dizileri yaratmak için gerçeklenmiş ve bu gerçekleme örnek bir iletişim protokolü üzerinde kullanılmıştır.
Özet (Çeviri)
In this thesis, an implementation of a protocol conformance test se quence generation method is realized in a Sun 4 workstation environment using the Lisp programming language. An implementation of a communication pro tocol must undergo a test that ensures its conformance to the required abstract specification. Such a test is called a conformance test. Abstract specifications of protocols are often made in a finite state automaton format. Checking experi ments on finite state machines, decide on the input/output isomorphism question of a black-box implementation to the specification automaton with complete fault coverage. Distinguishing sequences are used as state identification sequences in checking experiments. A method of checking experiments using distinguishing sequences is implemented to generate conformance test sequences and the imple mentation is used on an example communication protocol.
Benzer Tezler
- New algorithms and techniques for microprocessor-controlled PWM induction drives
Başlık çevirisi yok
OSMAN KÜKRER
Doktora
İngilizce
1987
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. H. BÜLENT ERTAN
- A Decision support system for planning standby garbage collection trucks
Yedek çöp toplama kamyonlarının planlanması için bir karar destek sistemi
GÜLSER HACISALİHOĞLU
Yüksek Lisans
İngilizce
1987
Endüstri ve Endüstri MühendisliğiOrta Doğu Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. HALİM DOĞRUSÖZ
- Stuctured development of a departmental information system
Başlık çevirisi yok
EKREM AZİMLİ
Yüksek Lisans
İngilizce
1987
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiPROF. DR. ZİYA AKTAŞ
- Design and implementation of concurrency on IBM PC XT
Başlık çevirisi yok
AHMET ALİ COKER
Yüksek Lisans
İngilizce
1987
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiPROF. DR. ZİYA AKTAŞ
- Design and implementation of an automated examination system
Başlık çevirisi yok
MUSTAFA TÜTÜNCÜ
Yüksek Lisans
İngilizce
1987
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
Y.DOÇ.DR. BÜLENT EPİR