A Research On Automated Testing Of Android Applications Based On The Extended Interaction Flow Modeling Language(IFML)

Nowadays mobile terminals such as smart phones and tablets are becoming an in-dispensable part of our everyday life.The development of mobile applications is flourish-ing thereupon,with its complexity increasing geometrically.At the same time,Android fragmentation-there are multiple Android OS versions on different kinds of Android de-vices in the wild-is getting worse.In this thesis,we think Model-Driven Engineering(MDD)is a good solution to these problems.As one of the most time-consuming phases in Software Development Life Cycle,testing is of great significance.At present,test scripts are still written manually in industry.There are several fully automated testing tools in academia.However,these tools cannot achieve good effect due to the lack of manual works.Therefore,we adopt Model-Based Testing(MBT),which describes applications with models to guide the test and improve the test effect.Among previous researches,the models they use are too simple to present the GUIs expressively,which are not suitable for Android applications.Due to this point,we choose the modeling language for user interaction and control behaviour of front-end of software applications-Interaction Flow Modeling Language(IFML)to describe Android applications.However,IFML is still too for MBT approaches.We summarize the front-end characteristics of Android ap-plications based on the Android Guide Document combined with some research work on the hot apps.Then we design the Android extensions for IFML for better usability for An-droid.After that,we propose a test approach based on the extended IFML models,which traverses the IFML models for executable paths,generating inputs with the constraint solver.After that,it generates test cases that meet test requirements and executes them.We also present a tool called ADAMANT for this approach.With ADAMANT,we can con-struct IFML models for Android applications graphically by hand and test the applications based on the IFML models automatically.Finally,we applied ADAMANT on six real-world Android applications.The results showed that ADAMANT achieved great performance not only in test coverage and consumed time,but also in bugs revealing.