Ile eski yeni bir yenilik daha var: MIT'nin en yeni hata bulucu

Hata ayıklama kodu, yazılım geliştiricileri için çok yıllık bir baş ağrıyor, ancak bilim adamları, süreci daha kolay hale getirebilecek yeni bir teknik açıkladılar.

MIT'nin Bilgisayar Bilimi ve Yapay Tasarımında geliştirildi. İstihbarat Laboratuvarı ve Maryland Üniversitesi, metot, geleneksel sembolik uygulama tekniği ile günümüzün modern yazılımı arasındaki uçurumu önemli ölçüde köprüler ve kodun çok daha verimli bir şekilde ayıklanmasını mümkün kılar.

Sembolik yürütme, olabilecek bir yazılım-analiz tekniğidir. Bir programın yürütme sırasında alabileceği her yolu izleyerek otomatik olarak hataları bulmak ve onarmak için kullanılır. Sorun şu ki, bu teknik, günümüzün programlama çerçeveleri kullanılarak yazılan uygulamalarla iyi çalışma eğiliminde değil.

Çünkü modern uygulamalar genellikle çok kullanılan yeniden kullanılan kod kütüphanelerini de içeren bu çerçevelerden fonksiyonlar ithal ediyor. Sadece uygulamanın kendisinin analiz edilmesi bir sorun olmayabilir, ancak eğer analizör, ekran üzerindeki düğmenin pozisyonu da dahil olmak üzere, bir pencereye bir buton ekleyerek, mümkün olan her türlü talimatı değerlendirmek zorundaysa, süreci zaman alıcı bir şekilde tüketir. Bir kullanıcı yukarı ve aşağı doğru hareket ettiğinde, basıldığında görünümün değişme şeklini değiştirir.

“Kırk yıl önce, eğer bir program yazmak isterseniz, içeri girdiniz, kodu yazdınız ve temel olarak Yazdığın bütün kod, idam edilen koddu, ”dedi. MIT'deki yardımcı doçent olan Armando Solar-Lezama, grubu yönetmeye başladı. “Bugün, bu devasa çerçevelere ve daha sonra birbirine yapıştırabileceğiniz bu büyük işlevlere giriyorsunuz ve birbirinizle etkileşime geçmeleri için küçük bir kod yazıyorsunuz. Bu büyük çerçevenin ne yaptığını anlamıyorsanız, programınızın nerede çalışmaya başlayacağını bile bilmiyorsunuz. ”

Problemi çözmek için bilgisayar bilimcileri genellikle zaman alıcı bir süreçten geçiyorlar. Yeni programlarla etkileşimlerini açıklayan ancak kodlarının satır satırında değerlendirilmesini gerektirmeyen içe aktarılmış kitaplık modellerinin oluşturulmasına yönelik hata eğilimli süreç. Geçtiğimiz hafta Yazılım Mühendisliği Uluslararası Konferansı'nda sunulan yeni çalışmada, araştırmacılar bu modelleri otomatik olarak yapan bir sistem oluşturdular.

Dublajlı Pasket, sistem ümit verici sonuçlar verdi.

"Pasket'in ölçeklenebilirliği etkileyici - - Riverside Üniversitesi'nde California Üniversitesi'nde bilgisayar bilimi ve mühendisliği profesörü Rajiv Gupta, - birkaç dakika içinde, yaklaşık 2.700 satırlık kod sentezlemiştir. "Ayrıca, oluşturulan modeller manuel olarak oluşturulanlarla karşılaştırılabilir."