Algorithms for conformance test generation
Uyum sınaması üretilmesi için algoritmalar
- Tez No: 75914
- Danışmanlar: DOÇ. DR. GÜNEY GÖNENÇ
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- 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
- Yıl: 1998
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- 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
- 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
- Ç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
1992
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. RAMAZAN EVREN
- 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
- Matkap uçlarının Ark PVD ile Tin kaplanmasında proses parametrelerinin Taguchi metodları ile optimizasyonu
Başlık çevirisi yok
ÖZGÜL KELEŞ
- Uzman sistemler ve ulaştırma alanında kullanımları
Expert systems and using them in transportation
A.BURAK GÖKTEPE