Slicing approach to specification for testability in LOTOS
LOTOS'da test edilebilirlik için belirtime dilimleme yaklaşımı
- Tez No: 29947
- Danışmanlar: DOÇ. DR. BEHÇET SARIKAYA
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Uygunluk testi, Test edilebilirlik için belirtim, LOTOS, Dilimleme, Uygunluk testi, Test edilebilirlik için belirtim, LOTOS, Dilimleme
- Yıl: 1993
- Dil: İngilizce
- Üniversite: İhsan Doğramacı Bilkent Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 169
Özet
ÖZET LOTOS'DA TEST EDİLEBİLİRLİK İÇİN BELİRTİME DİLİMLEME YAKLAŞIMI Ahmet Feyzi ATEŞ Bilgisayar ve Enformatik Mühendisliği, Yüksek Lisans Danışman: Doç. Dr. Behçet Sarıkaya Ağustos, 1993 Yakın zamanlarda iletişim protokollarının belirtiminde biçimsel metodların kullanımının artmasıyla, protokol uyarlamalarının uygunluk testlerinin de biçimsel belirtimlere dayandırılması gereği doğmuştur. Bu durum, protokol belirtimlerinde, test üretmeyi kolaylaştıracak tasarım ilkeleri bulma problemini ortaya çıkarmıştır. Bu konuya test edilebilirlik için belirtim adı verilmektedir, ve bu çalışmada biçimsel bir tanımlama tekniği olan LOTOS için incelenmiştir. Test edilebilirlik için belirtim konusuna, temel protokol belirtimleri tasarlama ve daha sonra test üretmede kullanılmak üzere işlevsel belirtimleri temel belirtimlerden elde etme perspektifinde yaklaşılmıştır. İşlevsel belirtimleri elde etmede kullanılan yönteme dilimleme adı verilmektedir. Yazılım mühendisliği dalında daha önce yapılan çalışmalardan esinlenerek, protokol belirtimlerinin dilimleri, hiyerarşik biçimde tasarlanan test yapılarına göre, ve her dilim be lirli bir protokol işlevine karşılık gelecek şekilde sistematik olarak elde edilmiş ve daha sonraki test üretme safhası elde edilen dilimlere dayandırılmıştır. Geliştirilen teknikler, basit, sistem-durumuna yönelik INRES ve ACSE protokolları ile birlikte, kıstasa yönelik belirtim tarzında yazılmış gerçek bir temel belirtim olan OSI Transport Protokolü üzerinde gösterilmiştir. Sonuçlar şunu göstermektedir ki, işlevsel belirtimlerden çıkarılan testler, test durum analizi ve temsili açısından bazı dikkate değer özellikler taşımaktadır. iv
Özet (Çeviri)
ABSTRACT SLICING APPROACH TO SPECIFICATION FOR TESTABILITY IN LOTOS Ahmet Feyzi ATEŞ M.S. in Computer Engineering and Information Science Advisor: Assoc. Prof. Behçet Sarıkaya August, 1993 With the recent increase in the use of formal methods in specification of communication protocols, there is a need to base the conformance testing of protocol implementations on formal specifications. This brings in the prob lem of finding out special design issues to be used in the specification of such systems that facilitate test generation. This aspect is called Specification For Testability, and it is investigated in this study for the particular formal de scription technique LOTOS. Specification for testability is approached from the perspective of designing formal base protocol specifications, and then de riving functional specifications from base specifications in order to use in test generation. The method utilized for the derivation of functional specifica tions is called slicing. As inspired from previous work in software engineering, slices of protocol specifications are obtained systematically according to the hierarchically designed test suite structures, where each slice corresponds to a particular function of the protocol, and subsequent test generation is based on the obtained slices. The techniques developed are demonstrated on the sim ple state-oriented specifications of INRES and ACSE protocols along with a real base specification of the OSI Transport Protocol written in the constraint- oriented specification style. The results indicate that tests derived from func tional specifications have some remarkable properties with respect to test case analysis and representation. in
Benzer Tezler
- Kuzey Marmara Otoyolu Garipçe yarmasının mühendislik jeolojisi ve kazı şevlerinin analizi
North Marmara Highway engineering geology and excavation cut slopes analysis of Garipce slope
GİZEM ŞENOL
Yüksek Lisans
Türkçe
2015
Jeoloji Mühendisliğiİstanbul Teknik ÜniversitesiJeoloji Mühendisliği Ana Bilim Dalı
DOÇ. DR. YILMAZ MAHMUTOĞLU
- Design and optimization of crash energy management systems on railway passenger wagons
Yolcu vagonlarında çarpışma enerjisinin sönümü için tasarım ve optimizasyon
AHMAD PARTOVI MERAN
Doktora
İngilizce
2014
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. TUNCER TOPRAK
PROF. DR. ATA MUĞAN
- Kazık taşıma gücünün sonlu elemanlar yöntemi kullanarak kohezyonlu lineer olmayan zemin davranışında incelenmesi
A study on the single pile bearing capacity computed with finite element method
CUMHUR TOKGÖZ
Yüksek Lisans
Türkçe
1997
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. M. TUĞRUL ÖZKAN
- Kıyı duvarlarının kırılan dalga durumunda kayma ve devrilme tasarım kriterlerine göre riskinin belirlenmesi
Risk assessment of seawalls using sliding and overturning design criteria under the action of breaking waves
MUSTAFA KEMAL GÖKALP
Yüksek Lisans
Türkçe
2004
İnşaat MühendisliğiGazi Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ.DR. CAN ELMAR BALAS
- İstanbul'da kiralık konutlar için ödenebilirlik analizi
Affordability analysis on rental housing in Istanbul
SAFİYE ÖZGE SUBAŞI
Yüksek Lisans
Türkçe
2021
Şehircilik ve Bölge Planlamaİstanbul Teknik ÜniversitesiŞehir ve Bölge Planlama Ana Bilim Dalı
PROF. DR. ŞEVKİYE ŞENCE TÜRK