PofoliaPofolia ile paylaşıldı

Communications of the ACM· 2012Q1

SAGE: Yazılım Testini Devrimleştiren Bir Fuzzing Aracı

SAGE

Patrice Godefroid, Michael Y. Levin, Dávid Molnár

Kısa özet

Dinamik sembolik yürütme aracı SAGE, derin hataları ortaya çıkaran test senaryoları otomatik olarak üreterek Microsoft'ta yazılım testlerini önemli ölçüde iyileştirdi.

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

Ana noktalar

  • SAGE, test senaryolarını otomatik olarak üretmek için dinamik sembolik yürütme kullanır.
  • Hataları bulmak için program yürütme yollarını sistematik olarak keşfeder.
  • SAGE, Microsoft'ta derin ve karmaşık yazılım kusurlarını ortaya çıkarmada etkili oldu.
  • Araç, yazılım kalitesinde ve güvenilirliğinde önemli bir iyileşme sağladı.

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

Özet (abstract)

SAGE has had a remarkable impact at Microsoft.

Yazarların özeti; kaynağından alınmıştır. Communications of the ACM, 2012 · 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