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, Conformance testing, distinguishing sequence, unique input/output se quence
- 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ı: 63
Ö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
- Improvements in finite state machine based testing
Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler
URAZ CENGİZ TÜRKER
Doktora
İngilizce
2014
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı ÜniversitesiBilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. HÜSNÜ YENİGÜN
PROF. DR. ROBERT HİERONS
- Fuzzy functional dependency and fuzzy normal forms in fuzzy relational databases
Bulanık ilişkisel veri tabanlarında bulanık işlevsel bağımlılık ve bulanık normal biçimler
ÖZGÜN BAHAR
Yüksek Lisans
İngilizce
2002
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ADNAN YAZICI
- An infrastructure for efficient reporting workflow in grid based teleradiology applications
Grid tabanlı teleradyoloji uygulamaları için verimli raporlama iş akış mimarisi
AYHAN OZAN YILMAZ
Doktora
İngilizce
2015
Bilgi ve Belge YönetimiOrta Doğu Teknik ÜniversitesiSağlık Bilişimi Ana Bilim Dalı
PROF. DR. NAZİFE BAYKAL
- Performance evaluation of matching algorithms in a recruiment platform: Multi-criteria decision-making approach
Bir işe alım platformunda eşleştirme algoritmalarının performanslarının değerlendirilmesi: Çok kriterli karar verme yaklaşımı
OSMAN KAVAFOĞLU