Mobile Applications Testing Based on Bigraphs and Dynamic Feature Petri Nets

Abstract

Nowadays, mobile smartphones are being widely used. They allow users to access a variety of services provided by mobile applications (mobile apps). These services are location-based services, meaning that a user’s location is taken into consideration for service provision. Testing these mobile apps is challenging due to the complexity of context variability (i.e., a user’s location). Current testing approaches cannot efficiently handle dynamic variability of mobile apps. To solve this problem, this paper introduces a model-based testing approach of mobile apps that uses a combination of a Bigraphical Reaction System (BRS) model and a Dynamic feature Petri net (DFPN) for automatic generation of test cases. Our model addresses the mobile app testing challenges related to the context of mobile apps, and especially to changes in the context location.