CydiOS: A Model-Based Testing Framework for iOS Apps

被引:2
|
作者
Wu, Shuohan [1 ]
Li, Jianfeng [2 ]
Zhou, Hao [1 ]
Fang, Yongsheng [3 ]
Zhao, Kaifa [1 ]
Wang, Haoyu [4 ]
Qian, Chenxiong [5 ]
Luo, Xiapu [1 ]
机构
[1] Hong Kong Polytech Univ, Hong Kong, Peoples R China
[2] Xi An Jiao Tong Univ, Xian, Peoples R China
[3] Beijing Univ Posts & Telecommun, Beijing, Peoples R China
[4] Huazhong Univ Sci & Technol, Wuhan, Peoples R China
[5] Univ Hong Kong, Hong Kong, Peoples R China
基金
中国国家自然科学基金;
关键词
iOS; Dynamic Testing; App Analysis;
D O I
10.1145/3597926.3598033
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
To make an app stand out in an increasingly competitive market, developers must ensure its quality to deliver a better user experience. UI testing is a popular technique for quality assurance, which can thoroughly test the app from the users' perspective. However, while considerable research has already studied UI testing on the Android platform, there is no research on iOS. This paper introduces CydiOS, a novel approach to performing model-based testing for iOS apps. CydiOS enhances the existing static analysis to build a more complete static model for the app under test. We propose an approach to retrieve runtime information to obtain real-time app context that can be mapped in the model. To improve the effectiveness of UI testing, we also introduce a potential-aware search algorithm to guide testing execution. We compare CydiOS with four representative algorithms(i.e., random, depth-first, stoat, and ape). We have evaluated CydiOS on 50 popular apps from App Store, and the results show that CydiOS outperforms other tools, achieving both higher code coverage and screen coverage. We open source CydiOS at https://github.com/SoftWare2022Testing/CydiOS, and a demo video can be found there.
引用
收藏
页码:1 / 13
页数:13
相关论文
共 50 条
  • [1] Model-based testing of apps in real network scenarios
    Panizo, Laura
    Diaz, Almudena
    Garcia, Bruno
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) : 105 - 114
  • [2] Model-based testing of apps in real network scenarios
    Laura Panizo
    Almudena Díaz
    Bruno García
    [J]. International Journal on Software Tools for Technology Transfer, 2020, 22 : 105 - 114
  • [3] MobiGUITAR Automated Model-Based Testing of Mobile Apps
    Amalfitano, Domenico
    Fasolino, Anna Rita
    Tramontana, Porfirio
    Ta, Bryan Dzung
    Memon, Atif M.
    [J]. IEEE SOFTWARE, 2015, 32 (05) : 53 - 59
  • [4] A symbolic framework for model-based testing
    Frantzen, L.
    Tretmans, J.
    Willemse, T. A. C.
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 40 - +
  • [5] A methodology and a framework for model-based testing
    Lucio, L
    Pedro, L
    Buchs, D
    [J]. RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2005, 3475 : 57 - 70
  • [6] Guided, Stochastic Model-Based GUI Testing of Android Apps
    Su, Ting
    Meng, Guozhu
    Chen, Yuting
    Wu, Ke
    Yang, Weiming
    Yao, Yao
    Pu, Geguang
    Liu, Yang
    Su, Zhendong
    [J]. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 245 - 256
  • [7] CrawlDroid: Effective Model-based GUI Testing of Android Apps
    Cao, Yuzhong
    Wu, Guoquan
    Chen, Wei
    Wei, Jun
    [J]. INTERNETWARE'18: PROCEEDINGS OF THE TENTH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE, 2018,
  • [8] VITAS : Guided Model-based VUI Testing of VPA Apps
    Li, Suwan
    Bu, Lei
    Bai, Guangdong
    Guo, Zhixiu
    Chen, Kai
    Wei, Hanlin
    [J]. PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
  • [9] A Framework and Algorithm for Model-Based Active Testing
    Feldman, Alexander
    Provan, Gregory
    van Gemund, Arjan
    [J]. 2008 INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (PHM), 2008, : 378 - +
  • [10] TOM: A Model-Based GUI Testing Framework
    Pinto, Miguel
    Goncalves, Marcelo
    Masci, Paolo
    Campos, Jose Creissac
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), 2017, 10487 : 155 - 161