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ı
- Tez No: 68599
- 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: ISDN Katman 2, SDL, MSC, Object Geode iv, Benzetim, ISDN, ISDN Layer 2, SDL, MSC, Object Geode 111, Simulation, ISDN
- 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
öz ISDN 2. KATMANININ SDL 92 KULLANILARAK BELİRTİMİ VE GEÇERLİLİK SINAMASI Çenberci, Doğuş Yüksek Lisans, Elektrik-Elektronik Mühendisliği Bölümü Tez Yöneticisi : Prof. Dr. Kemal İnan Ocak 1997, 115 sayfa Bu tez çalışmasında iki iş başarılmıştır: İlk olarak, Tümleşik Hizmetler Sayısal Şebekesi (ISDN) kullanıcı-şebeke arabirimi veri bağlantı katmanı (Katman 2) hizmetlerinin, SDL aracı Object Geode kullanılarak belirtimi gerçekleştirilmiştir. Daha sonra bu belirtim, geçerliliğinin sınanmasının yanı sıra, SDL aracının benzetim ve çözümleme yeteneklerinin keşfedilmesi amacı ile, çeşitli test senaryoları için mesaj sırası grafikleri (MSC) ile birlikte çözümlenmiştir.
Özet (Çeviri)
ABSTRACT SPECIFICATION AND VERIFICATION OF ISDN LAYER 2 USING SDL 92 Çenberci, Doğuş M.Sc, Department of Electrical and Electronics Engineering Supervisor : Prof. Dr. Kemal İnan January 1997, 115 pages In this thesis two tasks were accomplished: First, Integrated Services Digital Network (ISDN) user-network interface data link layer (Layer 2) services were specified using the SDL tool Object Geode. Second, the specification was analyzed jointly with message sequence charts (MSC's), for various test scenarios to validate the specification as well as exploring the simulation and analysis capabilities of the tool Object Geode.
Benzer Tezler
- 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ı
İSMAİL DALKIRAN
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