Usage Modeling through Sequence Enumeration for Automated Statistical Testing of a GUI Application

被引：0
|
作者：
Lin, Lan [1 ]
He, Jia [1 ]
Song, Fengguang [2 ]
机构：
[1] Ball State Univ, Dept Comp Sci, Muncie, IN 47306 USA
[2] Indiana Univ Purdue Univ, Dept Comp Sci, Indianapolis, IN 46202 USA
来源：
2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS) | 2014年
关键词：
Markov chain usage model; statistical testing; test automation; software specification; sequence-based specification; sequence enumeration; requirements engineering; SOFTWARE SPECIFICATION; FOUNDATIONS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Markov chain usage-based statistical testing has been an effective means in the economical production of high quality software that also provides credible evidence to support its dependability. Sequence-based specification is a rigorous specification method that derives a formal system model from informal functional requirements, which can be used as a formal method to construct a Markov chain usage model for statistical testing. This paper demonstrates a case study in which we apply these two methods in conjunction with supporting tools towards fully automated statistical testing of a GUI application. Preliminary results are promising.
引用
收藏
页码：82 / 85
页数：4
相关论文
共 22 条
  • [1] Measuring and modeling usage and reliability for statistical Web testing
    Kallepalli, C
    Tian, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (11) : 1023 - 1036
  • [2] Environmental Modeling for Automated Cloud Application Testing
    Zhang, Linghao
    Ma, Xiaoxing
    Lu, Jian
    Xie, Tao
    Tillmann, Nikolai
    de Halleux, Peli
    IEEE SOFTWARE, 2012, 29 (02) : 30 - 35
  • [3] Application of Automated Testing Tool in GIS Modeling
    Hu Maogui
    Wang Jinfeng
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 184 - 188
  • [4] REDQT: a method for automated mobile application GUI testing based on deep reinforcement learning algorithms
    Wang, Fengyu
    Tao, Chuanqi
    Gao, Jerry
    SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2024,
  • [5] Deep Learning-Based Mobile Application Isomorphic GUI Identification for Automated Robotic Testing
    Zhang, Tao
    Liu, Ying
    Gao, Jerry
    Gao, Li Peng
    Cheng, Jing
    IEEE SOFTWARE, 2020, 37 (04) : 67 - 74
  • [6] MaTeLo - Statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3
    Dulz, W
    Zhen, FH
    THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 336 - 342
  • [7] Automated SNP Detection in Expressed Sequence Tags: Statistical Considerations and Application to Maritime Pine Sequences
    Loïck Le Dantec
    David Chagné
    David Pot
    Olivier Cantin
    Pauline Garnier-Géré
    Frank Bedon
    Jean-Marc Frigerio
    Philippe Chaumeil
    Patrick Léger
    Virginie Garcia
    Frédéric Laigret
    Antoine de Daruvar
    Christophe Plomion
    Plant Molecular Biology, 2004, 54 : 461 - 470
  • [8] Automated SNP detection in expressed sequence tags:: statistical considerations and application to maritime pine sequences
    Le Dantec, L
    Chagné, D
    Pot, D
    Cantin, O
    Garnier-Géré, P
    Bedon, F
    Frigerio, JM
    Chaumeil, P
    Léger, P
    Garcia, V
    Laigret, F
    de Daruvar, A
    Plomion, C
    PLANT MOLECULAR BIOLOGY, 2004, 54 (03) : 461 - 470
  • [9] Application of statistical modeling of image spatial structures to automated visual inspection of product quality
    Liu, Jinping
    Tang, Zhaohui
    Gui, Weihua
    Liu, Wenzhong
    Xu, Pengfei
    Zhu, Jianyong
    JOURNAL OF PROCESS CONTROL, 2016, 44 : 23 - 40
  • [10] Automated Modeling of Web Service Composition and Testing: A UML Sequence Diagram-Based Approach
    Huang, Yao
    Zhang, Bingqing
    Wang, Yichen
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 193 - 200
123