ELA: An automated statistical fault localization technique
ELA: Otomatik istatistiksel hata yerelleştirme tekniği
- Tez No: 409191
- Danışmanlar: DOÇ. DR. AYSU BETİN CAN
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2015
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Enformatik Enstitüsü
- Ana Bilim Dalı: Bilişim Sistemleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Yazılım hatalarını ayıklama yazılım hatalarının yerelleştirilmesi, hataların nedenlerinin bulunması, ve hataların düzeltilmesinin kapsamaktadır. Bu aktivitiler içerisinde, hata yerelleştirme en zor aktivitedir ve elle düzeltme eforu gerektirmektedir. Bu işlemin otomatikleştirilmesi konusunda yapılan farklı çalışmalar olmasına rağmen, bu çalışmaların etkisi hala istenen seviyeye ulaşmamıştır. Bu doktora tezinde, Ela olarak adlandırılan yeni bir hata yerelleştirme metriği, hata yerelleştirme etkinliğini iyileştirmek için üç adet test suit küçültme stratejisi, ifade sıralamayı iyileştirmek için bir etkin sıralama stratejisi içeren bir hata yerelleştirme çerçevesi önerdik. Önerilen metriği ölçmek için Siemens suiti üzerinde deneyler yapıldı. Literatürde kullanılan gider metriğinin yanı sıra dört tekniğin kalitesini ölçmek için ortalama ters sıra metriği de adapte edildi. Söz konusu programların 118 versiyonunun 4'ünde Ela tekniği diğer tekniklerden daha iyi sıralama yeteneğine sahipken kalan 114 versiyondaysa en iyi sıralama yeteneğine sahip tekniklerden birisidir. Eşdeğer testlerin varlığının ifade sıralamada neden olduğu sapmayı etkisizleştirmek için eşdeğer test eleme stratejisi uyguladık. Bu strateji ortalama 99.5% test suit küçültme elde etmektedir. Söz konusu programların 118 versiyonunun 31'inde Ela tekniği diğer tekniklerden daha iyi sıralama yeteneğine sahipken kalan 87 versiyondaysa en iyi sıralama yeteneğine sahip tekniklerden birisidir. Hata yerelleştirme eforunu düşürmek için üç adet test suit küçültme stratejisi önerdik. Bu stratejilerin en iyisi ortalama %34.1 test suit küçültme sağlarken, ortlama gider açısından Jaccard'ta %1.7'e kadar, Tarantula'da %2.46'ya kadar, Ochiai'de %1.01'e kadar, ve Ela'da %0.38'e kadar iyileşme elde etmektedir. İfade sıralamayı iyileştirmek için Yerel Maksimum olarak adlandırılan bir etkin sıralama stratejisi önerdik. Bu strateji ortalama gider açısından Jaccard'ta %10.54, Tarantula'da %10.47, Ochiai'de %10.74, ve Ela'da %10.88 iyileşme elde etmektedir.
Özet (Çeviri)
Software debugging consists of locating software faults, finding their causes, and fixing them. Among all these activities, the fault localization is the most difficult one and requires manual effort. Although there are several studies on automating this process, their effectiveness has not yet reached at a desired level. In this dissertation, we propose a fault localization framework that introduces a new fault localization metric called Ela, three test suite reduction strategies to improve the effectiveness of fault localization, and an effective ranking strategy to improve the ranking of statements. Several experiments are performed on the Siemens suite to evaluate the proposed metric. Besides the expense metric used in fault localization literature, we also adapt the mean reciprocal rank to measure the overall ranking quality of the four techniques. Ela has better ranking than the other techniques in 4 of 118 versions while it is one of the best performing techniques for the remaining 114 versions of the subject programs. We apply an equivalent test elimination strategy to neutralize the bias caused by the existence of the equivalent tests. This strategy achieves on average 99.5% test size reduction. Ela has better ranking than the other techniques in 31 of 118 versions while it is one of the best performing techniques for the remaining 87 versions of the subject programs. We propose three test suite reduction strategies to reduce the effort for the fault localization. The best of these strategies achieves on average 34.1% test size reduction while resulting an improvement up to 1.7 in Jaccard, up to 2.46% in Tarantula, up to 1.01% in Ochiai, and up to 0.38% in Ela in terms of average expense. We propose an effective ranking strategy, called Local Maxima, to improve the ranking of statements. This strategy achieves an improvement 10.54% in Jaccard, 10.47% in Tarantula, 10.74% in Ochiai, and 10.88% in Ela in terms of average expense.
Benzer Tezler
- Wet and dry deposition fluxes of pollutants over a black sea forest region
Wet and dry deposition fluxes of pollutants over a black sea forest region
OMAR EL-AGHA
Doktora
İngilizce
2000
KimyaOrta Doğu Teknik ÜniversitesiKimya Ana Bilim Dalı
PROF. DR. SEMRA G. TUNCEL
PROF. DR. GURDAL TUNCEL
- Mide kanseri tanılı hastalarda galanin ve obestatin düzeylerinin belirlenmesi
Determination of galanin and obestatin levels in patients with gastric cancer
FURKAN ALİ UYGUR
Tıpta Uzmanlık
Türkçe
2020
Genel CerrahiAtatürk ÜniversitesiGenel Cerrahi Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ESRA DİŞÇİ
- Basınçlı akiferlerde pompaj verisinin tekil değer ayrışımı yöntemi ile sönümlü en küçük kareler ters çözümü
Başlık çevirisi yok
ZEHRA YENİHAYAT
Doktora
Türkçe
1993
Jeoloji MühendisliğiAnkara ÜniversitesiJeoloji Mühendisliği Ana Bilim Dalı
DOÇ. DR. AHMET TUĞRUL BAŞOKUR
- Yüz transplantasyon ve kol replantasyon hastaları için kişiye ve harekete özgü fes odaklı rehabilitasyon süreç tasarımı
Personalized and movement specific fes oriented rehabilitation process design for face transplant and arm replantation patients
ELA NAZ DÖĞER
Yüksek Lisans
Türkçe
2018
Elektrik ve Elektronik MühendisliğiAkdeniz ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. ÖMER HALİL ÇOLAK
- Servis tabanlı mimari kullanılarak İstanbul Üniversitesi Erasmus bilgi sisteminin gerçekleştirilmesi
Implementation of Istanbul University Erasmus information system by using service oriented architecture
ŞAHİN AYDIN
Yüksek Lisans
Türkçe
2013
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul ÜniversitesiEnformatik Ana Bilim Dalı
PROF. DR. SEVİNÇ GÜLSEÇEN