Android uygulaması testi için ideal test ön çalışması

Abstract

This paper proposes a hybrid method combining well-known holistic test and mutation testing in software testing for Graphical User Interface (GUI) testing of an android application. Moreover, this hybrid method satisfies requirements of ideal testing that is well known and important in software testing. Presence and absence of GUI based faults are tested within this work experimentally and comparatively in the scale of given or constructed model. First step of the method is modeling the given GUI of android application by Finite State Machine (FSM) and then converting this FSM to Regular Expression (RE). Then, test sequences are generated from a context table that is obtained analysis of the RE model. This process defines first part of the Holistic Testing namely positive testing. In second part called negative testing, the test sequence generation procedure is applied mutants of the FSM obtained after applying selected mutation operators. The generated test sequences from original and mutant models are executed on mutant and original android applications respectively. Test sequences are filtered by using pre-defined selection criteria for both positive and negative testing to achieve ideal test suites that are satisfying requirements of the ideal testing.

Bu çalışmanın amacı yazılım testi alanında yaygın olarak kullanılan Bütünsel Test (Holistic Test) ve Mutasyon Testi (Mutation Testing) yöntemlerinin kullanılarak model tabanlı melez bir yöntemin Android uygulamalarının Grafiksel Kullanıcı Arayüz (GKA) testi için öne sürülmesidir. Ayrıca bu melez yöntem test alanında bilinirliği yüksek İdeal Test’in (Ideal Test) gereksinimlerini sağladığı için ayrı bir öneme sahiptir. Öne sürülen melez yöntem sayesinde sistem içindeki kullanıcı arayüz merkezli hataların model ölçeğinde varlığı veya yokluğu, karşılaştırmalı ve deneysel çalışmalar çerçevesinde test edilmiştir. Yöntemin ilk adımı olarak verilen uygulamanın kullanıcı arayüzü bir Sonlu Durum Makinası (SDM) ile modellenmekte ve ardından bu SDM bir Düzenli İfade’ye (Dİ) dönüştürülmektedir. Ardından elde edilen Dİ analizden geçirilerek bağlam tabloları ile ifade edilmekte ve bu tablolar vasıtası ile test dizileri üretilmektedir. Bu işlem pozitif testi tanımlamaktadır. Negatif test için ise aynı işlem SDM’lerden elde edilen mutantlara uygulanmakta ve test dizileri elde edilmektedir. Negatif ve pozitif test için elde edilen test dizileri karşılıklı olarak kod tabalı mutasyonla elde edilen mutantlara ve hatasız sisteme uygulanmaktadır. Test sonuçları tanımlanacak olan test seçim kriterlerine göre bir süzgeçten geçirilmekte ve hem pozitif hemde negatif test için süzgeçten geçirilen test kümeleri elde edilmektedir. Bu işlem sonunda