Geri Dön

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

Android uygulamalarda sistematik örnekleme ile otomatikleştirilmiş model keşif yaklaşımı

PDF İndir

  1. Tez No: 642115
  2. Yazar: ÖMER KORKMAZ
  3. Danışmanlar: DOÇ. DR. CEMAL YILMAZ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Bilim ve Teknoloji, Computer Engineering and Computer Science and Control, Science and Technology
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2020
  8. Dil: İngilizce
  9. Üniversite: Sabancı Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Bilgisayar Mühendisliği Bilim Dalı
  13. Sayfa Sayısı: 69

Özet

İ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ı.

Özet (Çeviri)

Clients progressively depend on mobile applications for computational needs. With the popularity of Google Android and the rise of interest in Android devices, Android applications have been valuable and millions of mobile applications have increased the importance and demand of test processes in the complex systems. Since the applications had well-developed strong conditions that need to be tested, automation in the testing has played a significant role. Many types of researches have primarily focused on different model discovery strategies to be used for different purposes (e.g., test generation, bug detection). However, they were not used systematically for testing of mobile applications. We present a tool that provides an automated black-box model discovery by applying systematic sampling to build a model of an application dynamically for different uses. The approach includes two purposes: (1) discovering the model of an application by providing systematic sampling, and (2) predicting guard conditions of the discovered model. The results of our experiments have confirmed the ability of the approach to acquire higher code coverage and the accuracy of predicted guard conditions than existing approaches.

Benzer Tezler

  1. Tez No

    507744

    Design, analysis, simulation and optimization of a MEMS Lorentz force magnetic field sensor for biosensing of biowarfare agents

    Biyolojik savaş ajanlarının tespit uygulamaları için Lorentz kuvveti temelli manyetik alan sensörünün tasarımı, analizi, simülasyon ve optimizasyonu

    EMİNE RUMEYSA YILMAZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2018

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Nanobilim ve Nanomühendislik Ana Bilim Dalı

    PROF. DR. LEVENT TRABZON

  2. Tez No

    714923

    An end-to-end scalable approach for model-based graphical user interface testing

    Model-tabanlı görsel kullanıcı arayüzü testi için uçtan uca ölçeklenebilir bir yaklaşım

    ALPER SİLİSTRE

    Yüksek Lisans

    İngilizce

    İngilizce

    2021

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge Üniversitesi

    Uluslararası Bilgisayar Ana Bilim Dalı

    DOÇ. DR. GEYLANİ KARDAŞ

  3. Tez No

    202582

    Software testing according to development process and architectural description

    Yazılım geliştirme süreci ve mimari gösterime dayalı yazılım testi

    ORHAN TUNA

    Yüksek Lisans

    İngilizce

    İngilizce

    2005

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. ALP R. KUT

  4. Tez No

    46357

    Bilgisayar destekli kalite kontrol sistemleri

    Computer aided quality control systems

    ÖZGEN TURASI

    Yüksek Lisans

    Türkçe

    Türkçe

    1995

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. MURAT DİNÇMEN

  5. Tez No

    255965

    Design of stiffened plates using soft computing techniques

    Esnek hesaplama teknikleri kullanarak takviyeli plakların tasarımı

    MEHMET TOLGA GÖĞÜŞ

    Doktora

    İngilizce

    İngilizce

    2010

    İnşaat MühendisliğiGaziantep Üniversitesi

    Mekanik Ana Bilim Dalı

    DOÇ. DR. ABDÜLKADİR ÇEVİK

    PROF. DR. MUSTAFA ÖZAKÇA

Geri Dön