· 2015
Koşul Sentezi ile Aşamalı Program Onarımı
Staged program repair with condition synthesis
- 358atıf
- 2015yıl
Kısa özet
Yeni bir program onarım sistemi olan SPR, aşamalı onarım ve koşul sentezini birleştirerek program onarımları üretir ve arar, aynı kıyaslama setinde önceki sistemlere göre beş kattan fazla doğru onarım başarısı elde eder.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Yeni bir program onarım sistemi olan SPR'yi tanıtır.
- Aşamalı program onarımı ve koşul sentezi tekniklerini birleştirir.
- Onarım üretimi için parametrelendirilmiş dönüşüm şemalarını kullanır.
- Kıyaslamada önceki sistemlere göre 5 kattan fazla doğru onarım elde etti.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
We present SPR, a new program repair system that combines staged program repair and condition synthesis. These techniques enable SPR to work productively with a set of parameterized transformation schemas to generate and efficiently search a rich space of program repairs. Together these techniques enable SPR to generate correct repairs for over five times as many defects as previous systems evaluated on the same benchmark set.
Yazarların özeti; kaynağından alınmıştır., 2015 · 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