Specification and verification of the xpress transport protocol (XTJ)using SDL 92
Xpress taşıyıcı protokolünün S94 92 kullanılarak belirtimi ve geçerlilik sınaması
- Tez No: 68675
- 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: Express Taşıyıcı Protokolü, SDL, MSC, SDT iv, SDT, Taşıyıcı sistemler, Xpress Transport Protocol, SDL, MSC, SDT. m, SDT, Supporting systems
- Yıl: 1997
- 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 XPRESS TAŞIYICI PROTOKOLÜNÜN SDL 92 KULLANILARAK BELİRTİMİ VE GEÇERLİLİK SINAMASI DALKIRAN, İsmail Yüksek Lisans, Elektrik-Elektronik Mühendisliği Bölümü Tez Yöneticisi: Prof. Dr. KEMAL İnan Nisan 1997, 144 sayfa Bu tezde, SDL aracı SDT 3.02 ile Xpress Taşıyıcı Protokolü (XTP) belirtimlenmiştir. Bu belirtim, SDT'nin Geçerleyici ve Benzetici araçlarının sınama kabiliyetleri sayesinde mesaj sırası grafîkleriyle (MSC) tanımlanmış test senaryoları ve durum uzayı keşif teknikleri kullanılarak analiz edilmiştir.
Özet (Çeviri)
ABSTRACT SPECIFICATION AND VERIFICATION OF THE XPRESS TRANSPORT PROTOCOL (XTP) USING SDL 92 DALKIRAN, Ismail M.S., Department of Electrical and Electronics Engineering Supervisor: Prof. Dr. Kemal İNAN April 1997, 154 pages In this thesis, the Xpress Transport Protocol (XTP) is specified using the SDL tool SDT 3.02. The specification is analyzed jointly with test scenarios that are described by message sequence charts (MSC's) and state space exploration techniques to validate the specification by employing the verification capabilities of the SDT's Validator and Simulator tools.
Benzer Tezler
- Specification and verification of ISDN layer 2 using SDL 92
ISDN ikinci katmanının SDL 92 kullanılarak belirtimi ve geçerlilik sınaması
DOĞUŞ ÇENBERCİ
Yüksek Lisans
İngilizce
1997
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. KEMAL İNAN
- Kalite güvence sistemindeki bazı öğelerin denetim sürecine ilişkin bilgi tabanlı bir uzman sistem yaklaşımı
Başlık çevirisi yok
DEMET BAYRAKTAR
- Yazılım mühendisliğinde güvenilir yazılım sınamanın temel prensipleri
Fundamental principles of reliable software testing in software engineering
METE BENDERLİ
Yüksek Lisans
Türkçe
1993
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. MUSTAFA TÜRSEVER
- A Knowledge based system development tool for control applications
Denetim uygulamaları için bir bilgi tabanlı dizge geliştirme aracı
SAİD ABUSHAAR
Doktora
İngilizce
1995
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiPROF.DR. F. PAYİDAR GENÇ
PROF.DR. MEHMET TOLUN