VITAS : Guided Model-based VUI Testing of VPA Apps

被引:3
|
作者
Li, Suwan [1 ]
Bu, Lei [1 ]
Bai, Guangdong [2 ]
Guo, Zhixiu [3 ]
Chen, Kai [3 ]
Wei, Hanlin [2 ]
机构
[1] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing, Peoples R China
[2] Univ Queensland, Sch ITEE, Brisbane, Qld, Australia
[3] Chinese Acad Sci, Inst Informat Engn, Beijing, Peoples R China
基金
中国国家自然科学基金; 北京市自然科学基金;
关键词
D O I
10.1145/3551349.3556957
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Virtual personal assistant (VPA) services, e.g. Amazon Alexa and Google Assistant, are becoming increasingly popular recently. Users interact with them through voice-based apps, e.g. Amazon Alexa skills and Google Assistant actions. Unlike the desktop and mobile apps which have visible and intuitive graphical user interface (GUI) to facilitate interaction, VPA apps convey information purely verbally through the voice user interface (VUI), which is known to be limited in its invisibility, single mode and high demand of user attention. This may lead to various problems on the usability and correctness of VPA apps. In this work, we propose a model-based framework named Vitas to handle VUI testing of VPA apps. Vitas interacts with the app VUI, and during the testing process, it retrieves semantic information from voice feedbacks by natural language processing. It incrementally constructs the finite state machine (FSM) model of the app with a weighted exploration strategy guided by key factors such as the coverage of app functionality. We conduct a large-scale testing on 41,581 VPA apps (i.e., skills) of Amazon Alexa, the most popular VPA service, and find that 51.29% of them have weaknesses. They largely suffer from problems such as unexpected exit/start, privacy violation and so on. Our work reveals the immaturity of the VUI designs and implementations in VPA apps, and sheds light on the improvement of several crucial aspects of VPA apps.
引用
收藏
页数:12
相关论文
共 50 条
  • [21] Reusable Model-Based Testing
    Olimpiew, Erika Mir
    Gomaa, Hassan
    [J]. FORMAL FOUNDATIONS OF REUSE AND DOMAIN ENGINEERING, PROCEEDINGS, 2009, 5791 : 76 - 85
  • [22] Model-based testing as a service
    Steffen Herbold
    Andreas Hoffmann
    [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 271 - 279
  • [23] Model-based testing - A glossary
    Pretschner, A
    Leucker, M
    [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 607 - 609
  • [24] Traceability in Model-Based Testing
    George, Mathew
    Fischer-Hellmann, Klaus-Peter
    Knahl, Martin
    Bleimann, Udo
    Atkinson, Shirley
    [J]. FUTURE INTERNET, 2012, 4 (04): : 1026 - 1036
  • [25] Abstractions for Model-Based Testing
    Prenninger, Wolfgang
    Pretschner, Alexander
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 59 - 71
  • [26] Model-Based Testing and the UML Testing Profile
    Krishnan, Padmanabhan
    Pari-Salas, Percy
    [J]. SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5700 : 315 - 328
  • [27] Improving Models for Model-based Testing based on Exploratory Testing
    Gebizli, Ceren Sahin
    Sozer, Hasan
    [J]. 2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014), 2014, : 656 - 661
  • [28] FSMdroid: Guided GUI Testing of Android Apps
    Su, Ting
    [J]. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C), 2016, : 689 - 691
  • [29] Model-Based Testing for Asynchronous Systems
    Graf-Brill, Alexander
    Hermanns, Holger
    [J]. CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 66 - 82
  • [30] Testing concept for model-based development
    Fey, Ines
    [J]. WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 7, 2005, : 48 - 52