· 2014
Girdi Modulo Eşdeğerlik Yoluyla Derleyici Doğrulama
Compiler validation via equivalence modulo inputs
- 374atıf
- 2014yıl
Kısa özet
Girdi modulo eşdeğerlik (EMI) adı verilen yeni bir metodoloji, girdilere karşı statik derlemeye karşı dinamik yürütmeyi test ederek optimize edici derleyicileri doğrulamak için tanıtılmıştır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Derleyici doğrulama metodolojisi olarak Girdi Modulo Eşdeğerlik (EMI) tanıtılıyor.
- EMI, test girdileri üzerindeki dinamik yürütme ile tüm girdiler için statik derleme arasındaki etkileşimden yararlanır.
- Test girdileri, diferansiyel derleyici testi için doğal olarak EMI varyantları üretir.
- Yöntem, bulunması zor yanlış derlemeleri hedeflemek için tasarlanmıştır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
We introduce equivalence modulo inputs (EMI), a simple, widely applicable methodology for validating optimizing compilers. Our key insight is to exploit the close interplay between (1) dynamically executing a program on some test inputs and (2) statically compiling the program to work on all possible inputs. Indeed, the test inputs induce a natural collection of the original program's EMI variants, which can help differentially test any compiler and specifically target the difficult-to-find miscompilations.
Yazarların özeti; kaynağından alınmıştır., 2014 · 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