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
- Üzüm sularının pastörizasyonu ve kontsantresi sırasında hidroksimetilfurfural oluşumu üzerinde bir araştırma
Başlık çevirisi yok
ŞERİFE ŞAHİN
Yüksek Lisans
Türkçe
1985
Gıda MühendisliğiEge ÜniversitesiTarım Ürünleri Teknolojisi Ana Bilim Dalı
DOÇ. DR. AYDIN URAL
- İstatistiksel kalite kontrolunda spesifikasyon sınırları ile kontrol sınırlarının ilişkisi
Başlık çevirisi yok
AYSUN UMAY
- Gaz atomizasyon yöntemi ile hızlı katılaştırılmış kalay - %15 kurşun tozu üretiminin deneysel ve matematik modellemesi
Başlık çevirisi yok
NURETTİN YAVUZ
- Endüstride nümerik kontrollü takım tezgahları (NC)
Başlık çevirisi yok
MEHMET BOZDEMİR
Yüksek Lisans
Türkçe
1985
Makine MühendisliğiGazi ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DOÇ. DR. YALÇIN EROL
- Beton basınç dayanımının hızlandırılmış deneyle saptanması
Başlık çevirisi yok
ALİ TÜREN ÖZTÜRK
Yüksek Lisans
Türkçe
1987
İnşaat MühendisliğiKaradeniz Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. ERBİL ÖZTEKİN