Communications of the ACM· 2013Q1
Yazılım testi için sembolik yürütme
Symbolic execution for software testing
- 756atıf
- Q1SCImago
- 2013yıl
Kısa özet
Sembolik yürütme, uygulanmasındaki zorluklara rağmen modern yazılım testi için önemli bir vaat sunmaktadır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Sembolik yürütme, program girdilerini temsil etmek için sembolik değerler kullanır.
- Bir programın tüm olası yürütme yollarını keşfetmeyi amaçlar.
- Teknik, yazılım testi ve doğrulamada ilerlemeler vaat ediyor.
- Sembolik yürütmenin pratik uygulamasında ve araçlarında zorluklar bulunmaktadır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them.
Yazarların özeti; kaynağından alınmıştır. Communications of the ACM, 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