Automating Test Case Generation for Android Applications using Model-based Testing

被引:1
|
作者
Khan, Usman Habib
Khan, Muhammad Naeem Ahmed
Mirza, Aamir Mehmood [1 ]
Akram, Muhammad [1 ]
Fakhar, Shariqa [2 ]
Hussain, Shumaila [2 ]
Magsi, Irfan Ahmed [1 ]
Wagan, Raja Asif [1 ]
机构
[1] Balochistan Univ Informat Technol Engn & Manageme, Quetta, Pakistan
[2] Sardar Bahadur Khan Womens Univ, Quetta, Pakistan
关键词
Android app testing; Model-based testing; Functional testing; Smartphone app testing; Test case generation; TEST ORACLES; FRAMEWORK; CONTEXT;
D O I
10.24003/emitter.v10i1.628
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Testing of mobile applications (apps) has its quirks as numerous events are required to be tested. Mobile apps testing, being an evolving domain, carries certain challenges that should be accounted for in the overall testing process. Since smartphone apps are moderate in size so we consider that model-based testing (MBT) using state machines and statecharts could be a promising option for ensuring maximum coverage and completeness of test cases. Using model-based testing approach, we can automate the tedious phase of test case generation, which not only saves time of the overall testing process but also minimizes defects and ensures maximum test case coverage and completeness. In this paper, we explore and model the most critical modules of the mobile app for generating test cases to ascertain the efficiency and impact of using model-based testing. Test cases for the targeted model of the application under test were generated on a real device. The experimental results indicate that our framework reduced the time required to execute all the generated test cases by 50%. Experimental setup and results are reported herein.
引用
收藏
页码:63 / 82
页数:20
相关论文
共 50 条
  • [21] Model-Based Testing of Web Applications Using NModel
    Ernits, Juhan
    Roo, Rivo
    Jacky, Jonathan
    Veanes, Margus
    TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS, 2009, 5826 : 211 - +
  • [22] MBT4J: Automating the Model-Based Testing Process for Java']Java Applications
    Villalobos-Arias, Leonardo
    Quesada-Lopez, Christian
    Martinez, Alexandra
    Jenkins, Marcelo
    TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING (CIMPS 2018), 2019, 865 : 165 - 174
  • [23] An EFSM-Based Test Data Generation Approach in Model-Based Testing
    Mohd-Shafie, Muhammad Luqman
    Kadir, Wan Mohd Nasir Wan
    Khatibsyarbini, Muhammad
    Isa, Mohd Adham
    Ghani, Israr
    Ruslai, Husni
    CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 71 (03): : 4337 - 4354
  • [24] Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing
    Blom, Johan
    Jonsson, Bengt
    Nystrom, Sven-Olof
    2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 209 - 218
  • [25] Test generation with Satisfiability Modulo Theories solvers in model-based testing
    Cantenot, Jerome
    Ambert, Fabrice
    Bouquet, Fabrice
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (07): : 499 - 531
  • [26] Performance Analysis of Spotify® for Android with Model-Based Testing
    Rosario Espada, Ana
    del Mar Gallardo, Maria
    Salmeron, Alberto
    Merino, Pedro
    MOBILE INFORMATION SYSTEMS, 2017, 2017
  • [27] A novel approach to automatic model-based test case generation
    Rezaee, A.
    Zamani, B.
    SCIENTIA IRANICA, 2017, 24 (06) : 3132 - 3147
  • [28] Test Generation for Model-Based Diagnosis
    Provan, Gregory
    ECAI 2008, PROCEEDINGS, 2008, 178 : 199 - +
  • [29] Model-based test generation using extended symbolic grammars
    Hai-Feng Guo
    Mahadevan Subramaniam
    International Journal on Software Tools for Technology Transfer, 2014, 16 : 437 - 455
  • [30] Model-based test generation using extended symbolic grammars
    Guo, Hai-Feng
    Subramaniam, Mahadevan
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (04) : 437 - 455