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, Bilgisayar programları, Test edilebilirlik, Uygunluk testi, Test edilebilirlik için belirtim, LOTOS, Dilimleme, Computer programs, Testability
- 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ı: Belirtilmemiş.
Ö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
- 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
- Betonarme perde-çerçeveli yapının 1975-1996 deprem yönetmeliklerine göre irdelenmesi
The examination of frame-shear wall construction according to 1975 and 1996 Turkish earthquake codes
NESLİN ÖZKAN
Yüksek Lisans
Türkçe
1997
İnşaat Mühendisliğiİstanbul Teknik ÜniversitesiYapı Ana Bilim Dalı
PROF. DR. ZEKİ HASGÜR
- Yapay sinir ağları ve genetik algoritmaların uçuş kontrol sistemlerine uygulanması
Başlık çevirisi yok
ALİ MOUMİN
- Pompa betonlarında işlenebilirliğin harç fazının reolijisine dayanarak belirlenmesi
Estimation of the pumpability of concretes from the mortar phase rheology
KEMAL TUŞAT YÜCEL
Doktora
Türkçe
1997
İnşaat Mühendisliğiİstanbul Teknik ÜniversitesiYapı Malzemesi Ana Bilim Dalı
PROF. DR. M. SÜHEYL AKMAN
- Körfezlerdeki su kalitesinin uydu görüntü verileri yardımıyla incelenmesi
The Evaluation of water-quality in the bays by satellite images
FİLİZ SUNAR