PofoliaPofolia ile paylaşıldı

ACM Computing Surveys· 2018Q1

Otomatik Yazılım Onarımı

Automatic Software Repair

Martin Monperrus

Kısa özet

Bu anket, hata oracle türüne (davranışsal vs. durum) ve onarım operatörü çeşitliliğine göre sınıflandırılan otomatik yazılım onarım tekniklerine yapılandırılmış bir genel bakış sunmaktadır.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Ana noktalar

  • Otomatik yazılım onarımı, insan müdahalesi olmadan hataları düzeltmeyi amaçlar.
  • Teknikler, davranışsal onarım (test paketleri, modeller kullanarak) ve durum onarımı (çalışma zamanı kurtarma) olarak kategorize edilir.
  • Anket, yazılım mühendisliği, güvenilirlik, işletim sistemleri, programlama dilleri ve güvenlik araştırma topluluklarını kapsamaktadır.
  • Literatürde kullanılan çeşitli hata oracle'ları ve onarım operatörleri hakkında yapılandırılmış bir genel bakış sunar.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Özet (abstract)

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.

Yazarların özeti; kaynağından alınmıştır. ACM Computing Surveys, 2018 · DOI ↗

ÇıkarımlarPremium
Makaleye SorÜcretsiz hesapla

Ü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 et

Google ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.

Telefonda:

Alan: Yazılım

SoftwareComputer Science