An automated black-box model discovery with systematic sampling on android mobile applications

İstemciler, hesaplama ihtiyaçları için mobil uygulamalara giderek daha fazla güveniyor. Google Android'in popülaritesi ve Android cihazlara olan ilginin artması ile Android uygulamaları değerli hale geldi ve milyonlarca mobil uygulama, karmaşık sistemlerde test süreçlerinin önemini ve talebini artırdı. Uygulamalar test edilmesi gereken iyi geliştirilmiş güçlü koşullara sahip olduğundan, testteki otomasyon önemli bir rol oynamıştır. Birçok araştırma türü, öncelikle farklı amaçlar için kullanılacak farklı model keşif stratejilerine odaklanmıştır (örneğin, test oluşturma, hata algılama). Ancak, mobil uygulamaların test edilmesinde veya farklı amaçlar için kullanılabilecek olan uygulama modeli sistematik örnekleme ile oluşturulmadı. Farklı kullanımlar için dinamik olarak bir uygulama modeli oluşturmak üzere sistematik örnekleme uygulayarak otomatik bir kara kutu modeli keşfi sağlayan bir araç sunuyoruz. Yaklaşım iki amaç içerir: (1) sistematik örnekleme sağlayarak bir uygulamanın modelini keşfetmek ve (2) keşfedilen modelin koruma koşullarını tahmin etmek. Deneylerimizin sonuçları, yaklaşımın mevcut yaklaşımlardan daha yüksek kod kapsamı ve koruma koşullarının doğruluğunu elde etme yeteneğini doğruladı.