· 2018
Konkolik Test, Derin Sinir Ağlarının Analizini Güçlendiriyor
Concolic testing for deep neural networks
- 330atıf
- 2018yıl
Kısa özet
Yürütme ve sembolik analizi birleştiren yeni bir konkolik test yaklaşımı, Derin Sinir Ağlarında (DSA) yüksek kapsama alanı sağlıyor ve düşmanca örnekler buluyor.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Derin Sinir Ağları (DSA) için ilk konkolik test yaklaşımını sunuyor.
- DSA yürütme yollarını keşfetmek için program yürütme ve sembolik analizi birleştiriyor.
- Test gereksinimleri için rasyoneller üzerinde nicelendirilmiş doğrusal aritmetik kullanıyor.
- Deneysel sonuçlar, yüksek kapsama alanı ve düşmanca örneklerin başarılı bir şekilde belirlendiğini gösteriyor.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. In this paper, we develop the first concolic testing approach for Deep Neural Networks (DNNs). More specifically, we utilise quantified linear arithmetic over rationals to express test requirements that have been studied in the literature, and then develop a coherent method to perform concolic testing with the aim of better coverage. Our experimental results show the effectiveness of the concolic testing approach in both achieving high coverage and finding adversarial examples.
Yazarların özeti; kaynağından alınmıştır., 2018 · 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