Yazılım test süreçlerinde yaşanan 'oracle problemi' için çığır açan bir çözüm geliştirildi. Araştırmacılar, yapay zeka teknolojilerini kullanarak yazılım testlerini otomatikleştiren MR-Coupler sistemini tanıttı.
Metamorfik test yöntemi, yazılımın doğru çalışıp çalışmadığını kontrol etmek için yaygın olarak kullanılsa da, etkili test ilişkileri kurmak için genellikle derin uzmanlık bilgisi gerekiyor. MR-Coupler bu sorunu, kaynak kodda zaten mevcut olan fonksiyonel bağlantıları analiz ederek aşıyor.
Sistem, üç temel aşamada çalışıyor. İlk olarak, fonksiyonel olarak birbirine bağlı metot çiftlerini tespit ediyor. Ardından büyük dil modellerini kullanarak aday test durumları üretiyor. Son aşamada ise test amplifikasyonu ve mutasyon analizi yoluyla bu durumları doğruluyor.
Geliştirilen sistemin en önemli yeniliği, pahalı hesaplama süreçlerinden kaçınmak için üç farklı fonksiyonel eşleşme özelliği kullanması. Ayrıca yanlış alarmları azaltan yeni bir doğrulama mekanizması içeriyor.
100 insan yazımı test durumu ve 50 gerçek dünya projesi üzerinde yapılan kapsamlı değerlendirmeler, MR-Coupler'ın yazılım test süreçlerinde önemli iyileştirmeler sağladığını ortaya koyuyor.