International Conference on Software Engineering· 2013
SemFix: Anlamsal Analiz Yoluyla Program Onarımı
SemFix: program repair via semantic analysis
- 413atıf
- 2013yıl
Kısa özet
SemFix, test geçme gereksinimlerini kısıtlamalar olarak formüle ederek ve ardından onarım ifadelerinin katmanlı bir alanında arama yaparak hataları otomatik olarak onarır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- SemFix, otomatik hata onarımı için sembolik yürütme, kısıtlama çözme ve program sentezini kullanır.
- Onarım sürecini yönlendirmek için testleri geçme, bir kısıtlama olarak formüle edilir.
- Onarımlar, karmaşıklığa göre sıralanmış katmanlı bir ifade alanında aranarak oluşturulur.
- SemFix, kıyaslama programlarında genetik programlama yöntemlerine kıyasla daha yüksek başarı oranları ve daha hızlı onarım süreleri elde eder.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair method based on symbolic execution, constraint solving and program synthesis. In our approach, the requirement on the repaired code to pass a given set of tests is formulated as a constraint. Such a constraint is then solved by iterating over a layered space of repair expressions, layered by the complexity of the repair code. We compare our method with recently proposed genetic programming based repair on SIR programs with seeded bugs, as well as fragments of GNU Coreutils with real bugs. On these subjects, our approach reports a higher success-rate than genetic programming based repair, and produces a repair faster.
Yazarların özeti; kaynağından alınmıştır. International Conference on Software Engineering, 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