Improving models for model-based testing based on exploratory testing
Araştırma tabanlı testler baz alınarak model tabanlı testler için modeller geliştirme
- Tez No: 371125
- Danışmanlar: YRD. DOÇ. DR. HASAN SÖZER
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2014
- Dil: İngilizce
- Üniversite: Özyeğin Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Bilimleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 46
Özet
Model bazlı test, test edilen sistemin modelleri sayesinde otomatik olarak test senaryoları oluşturulmasını sağlar. Bu modellerin doğruluğu ve tamlığı oluşturulan test senaryolarının etkinliğini belirler. Genelde manuel olarak oluşturulan modellerdeki eksikliklerden dolayı bazı kritik hatalar tespit edilemeyebilir. Pratikte bu hatalar tecrübeli test mühendisleri tarafından uygulanan araştırma tabanlı testler ile tespit edilebilmektedir. Bu tezde, araştırma tabanlı test aktivitelerinden elde edilen bilgileri kullanarak test senaryosu oluşturulmasında kullanılan modelleri iyileştirmek için bir yöntem ve aracı sunuyoruz. Model iyileştirme aktivitelerinin bir araç ile destekleneceği yarı otomatik bir işleyiş öneriyoruz. Bu araç, araştırma tabanlı test aktiviteleri sırasında kayıt altına alınan yazılım koşum yollarını analiz etmekte ve sistem modellerindeki eksiklikleri belirlemektedir. Belirlenen eksiklikler, daha verimli test senaryoları elde edilebilmesi için modelde yapılması gereken iyileştirmeler konusunda bir geribesleme sağlamaktadır. Bu yaklaşımımızı, bir Dijital TV sisteminin model bazlı testi için model geliştirmesi amacıyla, iki endüstriyel vaka çalışması kapsamında değerlendirdik. Yaklaşımımızı uyguladıktan sonra, birinci endüstriyel vaka çalışmamız sonucunda, 3 kritik hata bulduk. İkinci endüstriyel vaka çalışmamız sonucunda ise, 4 kritik hata daha bulduk. Bu hatalar ilk olarak oluşturulan test senaryoları ile bulunamamıştı ve bu hatalar ayrıca tecrübeye dayalı test aktiviteleri süresince de bulunamamıştı.
Özet (Çeviri)
Model-based testing facilitates automatic generation of test cases by means of models of the system under test. Correctness and completeness of these models determine the effectiveness of the generated test cases. Critical faults can be missed due to omissions in the models, which are primarily created manually. In practice, these faults are usually detected with exploratory testing performed manually by experienced test engineers. In this thesis, we propose an approach for refining system models based on the experience and domain knowledge of these test engineers. Our toolset analyzes the execution traces that are recorded during exploratory testing activities and identifies the omissions in system models. The identified omissions guide the refinement of models to be able to generate more effective test cases. We applied our approach in the context of two industrial case studies to improve the models for model-based testing of a Digital TV system. After applying our approach, three and four critical faults were detected for the first and second case studies, respectively. These faults were not detected by the initial set of test cases and they were also missed during the exploratory testing activities.
Benzer Tezler
- A comparative analysis of LSTM and lıghtgbm models in short-term electricity load forecasting: a case study from türkiye
Kısa dönemli yük tahmininde LSTM ve lightgbm modellerinin karşılaştırmalı analizi: Türkiye'den bir vaka çalışması
MUHAMMET FURKAN BAYSAL
Yüksek Lisans
İngilizce
2025
Enerjiİstanbul Teknik ÜniversitesiEnerji Bilim ve Teknoloji Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MUSTAFA BERKER YURTSEVEN
- Uzman sisten ve otomotiv sektöründeki bir uygulama
Expert system and an application in the automotive sector
HÜSEYİN BURGUT
Yüksek Lisans
Türkçe
1999
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. SERDAR TÜMKOR
- Farklı mutasyon stratejileri kullanılarak XML temelli sistemlerde güvenlik zafiyetlerinin fuzz testi ile tespiti
Detection of security vulnerabilities in XML-based systems with fuzz testing using different mutation strategies
ŞERAFETTİN ŞENTÜRK
Doktora
Türkçe
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. NEJAT YUMUŞAK
DR. VAHİD GAROUSİ
- Makine öğrenimi ve veri bilimi ile gürültü,titreşim ve sertlik analizinin geliştirilmesi
Improving noise, vibration and harshness analysis with machine learning and data science
KEMAL DEMİR
Yüksek Lisans
Türkçe
2025
Makine MühendisliğiYıldız Teknik ÜniversitesiMakine Ana Bilim Dalı
PROF. DR. CİHAN DEMİR
- Digitalization in construction claim management
İnşaat hak talebi yönetiminde dijitalleşme
NİL DENİZMEN
Yüksek Lisans
İngilizce
2025
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. DENİZ ARTAN