Show simple item record

dc.contributor.advisorSarıkaya, Behçet
dc.contributor.authorAteş, Ahmet Feyzi
dc.date.accessioned2020-12-02T12:51:20Z
dc.date.available2020-12-02T12:51:20Z
dc.date.submitted1993
dc.date.issued2018-08-06
dc.identifier.urihttps://acikbilim.yok.gov.tr/handle/20.500.12812/37390
dc.description.abstractÖ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. ivAnahtar Sözcükler: Uygunluk testi, Test edilebilirlik için belirtim, LOTOS, Dilimleme.
dc.description.abstractABSTRACT 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. inAnahtar Sözcükler: Uygunluk testi, Test edilebilirlik için belirtim, LOTOS, Dilimleme.en_US
dc.languageEnglish
dc.language.isoen
dc.rightsinfo:eu-repo/semantics/embargoedAccess
dc.rightsAttribution 4.0 United Statestr_TR
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectBilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontroltr_TR
dc.subjectComputer Engineering and Computer Science and Controlen_US
dc.titleSlicing approach to specification for testability in LOTOS
dc.title.alternativeLOTOS'da test edilebilirlik için belirtime dilimleme yaklaşımı
dc.typemasterThesis
dc.date.updated2018-08-06
dc.contributor.departmentDiğer
dc.subject.ytmLOTOS
dc.subject.ytmTestability
dc.subject.ytmComputer programs
dc.identifier.yokid29947
dc.publisher.instituteMühendislik ve Fen Bilimleri Enstitüsü
dc.publisher.universityİHSAN DOĞRAMACI BİLKENT ÜNİVERSİTESİ
dc.identifier.thesisid29947
dc.description.pages140
dc.publisher.disciplineDiğer


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/embargoedAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/embargoedAccess