Software Testing Verification and Reliability· 2013Q2
Metallaxis-FL: Mutasyona Dayalı Hata Bulma
Metallaxis‐FL: mutation‐based fault localization
- 355atıf
- Q2SCImago
- 2013yıl
Kısa özet
Yeni bir hata bulma yaklaşımı olan Metallaxis-FL, program mutantlarını kod konumlarıyla ilişkilendirerek hatalı kodları belirler ve başarısız testlerle öldürülen mutantların hataların güçlü göstergeleri olduğunu gösterir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Metallaxis-FL, program mutantlarını kullanarak bunları hatalı kod konumlarıyla ilişkilendirir.
- Ağırlıklı olarak başarısız testlerle öldürülen mutantlar, hata konumlarının güçlü göstergeleridir.
- Metallaxis-FL, ifade tabanlı hata bulma yöntemlerinden önemli ölçüde daha etkilidir.
- Mutasyona dayalı test, blok veya dal tabanlı test takımlarına göre hata bulmayı iyileştirir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Summary Fault localization methods seek to identify faulty program statements based on the information provided by the failing and passing test executions. Spectrum‐based methods are among the most popular ones and assist programmers by assigning suspiciousness values on program statements according to their probability of being faulty. This paper proposes Metallaxis, a fault localization approach based on mutation analysis. The innovative part of Metallaxis is that it uses mutants and links them with the faulty program places. Thus, mutants that are killed mostly by failing tests provide a good indication about the location of a fault. Experimentation using Metallaxis suggests that it is significantly more effective than statement‐based approaches. This is true even in the case where mutation cost‐reduction techniques, such as mutant sampling, are facilitated. Additionally, results from a controlled experiment show that the use of mutation as a testing technique provides benefits to the fault localization process. Therefore, fault localization is significantly improved by using mutation‐based tests instead of block‐based or branch‐based test suites. Finally, evidence in support of the methods’ scalability is also given. Copyright © 2013 John Wiley & Sons, Ltd.
Yazarların özeti; kaynağından alınmıştır. Software Testing Verification and Reliability, 2013 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yazılım
SoftwareComputer Science