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, Protocol Conformance Testing, Distinguishing Sequences, Checking Experiment, Fault Detection
- 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ı: 138
Ö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
- 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
- Conformance testing of a standard virtual terminal protocol
Başlık çevirisi yok
SEZGİN ÖZYILDIRIM
Yüksek Lisans
İngilizce
1991
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiDOÇ. DR. SEMİH BİLGEN
- Slicing approach to specification for testability in LOTOS
LOTOS'da test edilebilirlik için belirtime dilimleme yaklaşımı
AHMET FEYZİ ATEŞ
Yüksek Lisans
İngilizce
1993
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. BEHÇET SARIKAYA
- ATM şebekelerde trafik analizi ve güvenlik
Başlık çevirisi yok
HALİL AYDIN
Yüksek Lisans
Türkçe
1998
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
PROF. DR. GÜNSEL DURUSOY
- Karbon vergileri ve emisyon ticareti sistemleri, Avrupa Birliği ve Amerika Birleşik devletleri örneklerinden hareketle Türkiye'de uygulanabilirliği
The case study for the applicability of carbon tax and emission trade systems in Turkey based on examples from the European Union and the United States of America
MEHMET MURAT AKBELEN
Doktora
Türkçe
2019
MaliyeSüleyman Demirel ÜniversitesiMaliye Ana Bilim Dalı
DOÇ. DR. HÜSEYİN GÜÇLÜ ÇİÇEK