Feedback driven adaptive combinatorial testing
Geribesleme güdümlü uyarlamalı birleşimsel test etme
- Tez No: 309336
- Danışmanlar: YRD. DOÇ. DR. CEMAL YILMAZ
- 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: 2011
- Dil: İngilizce
- Üniversite: Sabancı Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 61
Özet
Modern yazılım sistemlerinin yapılandırma uzayı ayrıntılı bir şekilde test edilemeyecek kadar geniştir. Örtme dizileri gibi birleşimsel etkileşim test etme yaklaşımları, sistematik olarak yapılandırma uzayını örnek olarak dener ve sadece seçilmiş yapılandırmaları test eder. Birleşimsel etkileşim test etme yaklaşımındaki temel gerekçe, t ya da daha az seçenek ayarlarından kaynaklanan tüm sistem davranışını maliyet-etkin bir şekilde uygulayabilmeleridir. Ancak pratikte çoğu böyle davranışların maskeleme etkilerinden dolayı gerçekten test edilmediğini tahmin etmekteyiz. Bu çalışmada maskeleme etkilerini belirlemek ve bu konu etrafında çalışmaya yönelik bir geribesleme-güdümlü, uyarlamalı, birleşimsel test etme yaklaşımı sunmaktayız. Her iterasyonda, olası maskeleme etkilerini belirleyip, sezgisel olarak onların olası sebeplerini izole etmekteyiz ve daha sonra bir sonraki iterasyonda test edilecek olan önceden maskelenen birleşimlere izin veren yeni örtme dizileri üretmekteyiz. Önerilen yaklaşımın etkinliğini ölçmek için, yaygın bir şekilde kullanılan açık kaynaklı iki tane yazılım sistemi üzerinde yaklaşımımızı değerlendirdik. Sonuçlarımız, maskeleme etkilerinin var olduğunu ve yaklaşımımızın maskeleme etkisi üzerinde çalışmak için umut verici ve etkili bir yol sağladığını öne sürmektedir.
Özet (Çeviri)
The configuration spaces of modern software systems are too large to test exhaustively. Combinatorial interaction testing (CIT) approaches, such as covering arrays, systematically sample the configuration space and test only the selected configurations. The basic justification for CIT approaches is that they can cost-effectively exercise all system behaviors caused by the settings of t or fewer options. We conjecture, however, that in practice many such behaviors are not actually tested because of masking effects ? failures that perturb execution so as to prevent some behaviors from being exercised. In this work we present a feedback-driven, adaptive, combinatorial testing approach aimed at detecting and working around masking effects. At each iteration we detect potential masking effects, isolate their likely causes, and then generate new covering arrays that allow previously masked combinations to be tested in the subsequent iteration. We empirically assess the effectiveness of the proposed approach on two large widely-used open source software systems. Our results suggest that masking effects do exist and that our approach provides a promising and effcient way to work around them.
Benzer Tezler
- Design of an adaptive output feedback controller for LTI systems with sinusoidal disturbances
Sinüzoidal bozucu etkisindeki doğrusal ve zamanla değişmeyen sistemler için uyarlamalı ve geri beslemeli bir kontrolcü tasarımı
CEMAL TUĞRUL YILMAZ
Yüksek Lisans
İngilizce
2018
Makine MühendisliğiBoğaziçi ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ EVREN SAMUR
DR. ÖĞR. ÜYESİ HALİL İBRAHİM BAŞTÜRK
- Adaptive observer designs for friction estimation in position control of simple mechanical systems with time delay
Zaman gecikmeli basit mekanik sistemlerin pozisyon kontrolünde sürtünme kestirimi için adaptif gözlemci tasarımları
CANER ODABAŞ
Doktora
İngilizce
2021
Elektrik ve Elektronik Mühendisliğiİhsan Doğramacı Bilkent ÜniversitesiElektrik ve Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. ÖMER MORGÜL
- Model based partial state and output feedback controller designs for various types of electromechanical systems
Farklı özelliklere sahip elektromekanik sistemler için model tabanlı kısmi durum ve çıkıs geri beslemeli denetleyici formulasyonları
BEYTULLAH OKUR
Doktora
İngilizce
2016
Elektrik ve Elektronik MühendisliğiGebze Teknik ÜniversitesiElektronik Mühendisliği Ana Bilim Dalı
PROF. DR. ERKAN ZERGEROĞLU
- Çok makinalı güç sistemlerinde parametre adaptif kontrol yönteminin incelenmesi
Investigation of parameter adaptive control method for MMPS
AYŞEN DEMİRÖREN
Doktora
Türkçe
1993
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. M. EMİN TACER
- Model reference adaptive controller design with augmented error method for lane tracking
Serit takibi kontrolü için artıtılmış hata yöntemi ile model referans uyarlanabilir kontrolör tasarımı
MEHMET NURİ DİYİCİ
Yüksek Lisans
İngilizce
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. YAPRAK YALÇIN