Eigen RadarBilim
Analiz

TabuFuzz, denenecek girdileri seçerek daha çok yazılım çökmesi buldu

Çin’de geliştirilen TabuFuzz adlı yazılım sınama sistemi, hakemli bir çalışmada karşılaştırıldığı araçlardan daha çok çalışma yolu ve çökme buldu. Sistem, önceki seçimleri kısa süreli bellekte tutarak hangi girdilerin yeniden deneneceğini belirliyor. Dokuz programda yinelenen birer günlük deneyler olumlu sonuç verdi. Bununla birlikte, bazı programların eski sürümleri kullanıldı ve kazanımların daha geniş sınamalarla doğrulanması gerekiyor.

Bilim··Öğle
Karanlık bir yüzeyde dallanan, bazı kolları sönen sıcak ışık izleri.

Yinelenen sınamalara kısa süreli bellek

Çin’deki araştırmacıların geliştirdiği TabuFuzz, girdileri değiştirip programın tepkisini izleyerek yazılım hatası arayan bir sınama sistemi. Scientific Reports’ta yayımlanan hakemli deneysel çalışma, hangi girdiye daha çok deneme ayrılacağını ele alıyor. Kısa süreli bellek, yakın zamanda seçilen girdileri geçici olarak geri plana atıyor; özellikle umut veren bir girdi yeniden seçilebiliyor. Programın davranışından alınan geri bildirim de her girdiye ayrılan sınama çabasını değiştiriyor.[1]

Dokuz programda daha yüksek sayılar

Ana karşılaştırmada dokuz programın her biri için altı bağımsız, birer günlük deney yapıldı. TabuFuzz’ın üzerine kurulduğu American Fuzzy Lop adlı mevcut araçla karşılaştırmada, ortalama çalışma yolu sayılarının toplamı 14.050’den 16.844’e yükseldi. Çalışma yolu, programın yürütülürken izlediği farklı rotayı anlatıyor. Karşılık gelen çökme sayıları 138 ve 360 oldu. Bazı çökmeler bilinen güvenlik açıklarıyla eşleşti; çökme sayısı, ayrı ve yeni güvenlik açıklarının sayısı anlamına gelmiyor.[1]

Seçim yapmak da işlem gücü gerektiriyor

Ek ölçümler, sınamaları sıralamanın işlem yükü getirdiğini ve saniyedeki çalıştırma sayısını azalttığını gösterdi. Yazarlar, sıkı biçim kurallarına bağlı girdilerde ve çok büyük kuyruklarda yöntemin etkisinin azalabileceğini belirtiyor. Sınanan sürümlerin bir bölümü eskiydi. Kazanımların bu deneylerin dışına ne ölçüde taşındığını anlamak için güncel programlarda daha uzun süreli ve daha çok tekrarlı deneyler öneriliyor.[1]

Kaynakça

  1. Haber kaynağıScientific ReportsYazılım testinde kısa süreli bellek daha çok hata yolu buldu↩1↩2↩3