Automated GUI Testing Based on Extended Place/Transition System

CHEN Juncheng; DING Zhiming

doi:10.11936/bjutxb2016060040

Journal of Beijing University of Technology > 2017 > 43(6): 883-888. > DOI: 10.11936/bjutxb2016060040

CHEN Juncheng, DING Zhiming. Automated GUI Testing Based on Extended Place/Transition System[J]. Journal of Beijing University of Technology, 2017, 43(6): 883-888. DOI: 10.11936/bjutxb2016060040

Citation:

CHEN Juncheng, DING Zhiming. Automated GUI Testing Based on Extended Place/Transition System[J]. Journal of Beijing University of Technology, 2017, 43(6): 883-888. DOI: 10.11936/bjutxb2016060040

Citation:

CHEN Juncheng, DING Zhiming. Automated GUI Testing Based on Extended Place/Transition System[J]. Journal of Beijing University of Technology, 2017, 43(6): 883-888. DOI: 10.11936/bjutxb2016060040

PDF (317 KB)

Automated GUI Testing Based on Extended Place/Transition System

CHEN Juncheng¹,
DING Zhiming^{1, 2,}

1.
Faculty of Information Technology, Beijing University of Technology, Beijing 100124, China
2.
National Engineering Research Center for Fundamental Software, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

More Information

Received Date: June 13, 2016
Available Online: May 25, 2023

Graphical Abstract

Abstract

Abstract

To solve the problem of huge graphic user iuterface (GUI) elements’ states and complicate combination of user operation, a GUI test model based on extended place/transition system for specific GUI software was proposed. In the model, places represented type of user operation, and transitions represented user operation. Based on the model, three GUI test coverage criteria, were designed and test coverage based on places, test coverage based on transitions and test coverage based on transition-pairs, were put forward. The differences between the last and event-pair coverage was analyzed. The related test generation algorithm was designed. Experiment result of calculation shows that the transition-pair coverage has the same effectiveness in fault finding as the event-pair coverage, but the number of generation test suits is only about 40%.
- graphic user interface (GUI),
- place/transition system,
- test coverage criteria,
- test case

FullText(HTML)

References (10)

References

[1]	ATIF MM.An event-flow model of GUI-based applications for testing[J].Software Testing, Verification & Reliability,2007,17(3):137-157.
[2]	LEE W HUSAIN A NASSER A. User-based testing of GUI sequences and their interactions C]∥ISSRE'01. Proceeding of the 12th International Symposium on Software Reliability Engineering. Washington, DC: IEEE Computer Society 2001 54 63 LEEW,HUSAINA,NASSERA.User-based testing of GUI sequences and their interactions[C]∥ISSRE'01. Proceeding of the 12th International Symposium on Software Reliability Engineering. Washington, DC: IEEE Computer Society,2001:54-63.
[3]	LEE W ALMEZEN H SASTRY S. Firewall regression testing of GUI sequences and their interactions C]∥ICSM 2003. Proceedings of International Conference on Software Maintenance. Washington, DC: IEEE Computer Society 2003 398 409 LEEW,ALMEZENH,SASTRYS.Firewall regression testing of GUI sequences and their interactions[C]∥ICSM 2003. Proceedings of International Conference on Software Maintenance. Washington, DC: IEEE Computer Society,2003:398-409.
[4]	ATIF MM.A comprehensive framework for testing graphical user interfaces[D].Pittsburgh: University of Pittsburgh,2001.
[5]	XUNY.Feedback-directed model-based GUI test case generation[D].Park: University of Maryland,2008.
[6]	MARLONV,JOHANNEL,BILLH.Automation of GUI testing using a model-driven approach[C]∥Proc. of the 2006 International Workshop on Automation of Software Test. New York: ACM,2006:9-14.
[7]	钱思佑,蒋凡,刘铮铮.基于事件-状态关联关系的GUI测试评判信息生成[J].中国科学技术大学学报,2011,41(4):324-331. QIAN SY,JIANGF,LIU ZZ.GUI test oracle generation based on event-state correlation[J].Journal of University of Science and Technology China,2011,41(4):324-331. (in Chinese)
[8]	陈军成,薛云志,赵琛.一种基于事件处理函数的GUI测试方法[J].软件学报,2013,24(12):2830-2842. CHEN JC,XUE YZ,ZHAOC.A GUI test approach based on event-handler functions[J].Journal of Sofware,2013,24(12):2830-2842. (in Chinese)
[9]	REISIGW.Petri nets: an introduction[M].Berlin: Springer-Verlag,1982:1-92.
[10]	AMMANNP,OFFUTTJ.Introduction to software testing[M].Cambridge:Cambridge University Press,2008:36-96.

[1]	LIU Liangkun, TAN Ping, CHEN Yangyang, YAN Weiming, ZHOU Fulin. Strongly Modulated Response Analysis of Nonlinear Energy Sink Absorption System Under Ground Harmonic Excitation[J]. Journal of Beijing University of Technology, 2019, 45(2): 177-185. DOI: 10.11936/bjutxb2017090043
[2]	AN Haichao, YANG Renfeng, YANG Bo, XU Biao. Nonlinear Deviation Correction of Fiber Feeding Machine Based on LabVIEW[J]. Journal of Beijing University of Technology, 2016, 42(11): 1713-1719. DOI: 10.11936/bjutxb2016030063
[3]	LI Ping, JIN Fu-jiang, MEI Xiao-hua. Adaptive Fuzzy Tracking Control for Unknown Nonaffine Nonlinear Systems With Delay[J]. Journal of Beijing University of Technology, 2014, 40(9): 1315-1320,1326.
[4]	WU Bin, LI Jia-rui, YAN Bing-sheng, HE Cun-fu. Ultrasonic Nonlinear Coefficient Measurement and Optical Observation of LY12 Aluminum Alloy at Early Degradation Stages[J]. Journal of Beijing University of Technology, 2012, 38(1): 22-27.
[5]	TANG Jie, SHI Zhao-yao. Reverse Calculation of the Parameters of Involutes and Its Application[J]. Journal of Beijing University of Technology, 2009, 35(1): 8-12.
[6]	BAI Zheng-xian, LIU Xi-liang. Geometrically Nonlinear Analysis on the Beam String Structure Composed of Membrane[J]. Journal of Beijing University of Technology, 2002, 28(1): 22-25.
[7]	TU Cheng-yuan. Knowledge-based Variable-Structure Decoupling Control of A Nonlinear Multivariable System[J]. Journal of Beijing University of Technology, 2001, 27(4): 447-450.
[8]	LIU Zhao-miao, WANG Qin-meng. Nonlinear Analysis of Two-variable Exothermic Chemical Reaction Model with Linear Heat Feedback Equipment[J]. Journal of Beijing University of Technology, 2001, 27(4): 406-411.
[9]	Zhang Zhigang, Xu Min. Semiconductor Saturable Absorber Mirrors and Their Applications in Self-starting Femtosecond Solid State Lasers[J]. Journal of Beijing University of Technology, 1999, 25(4): 83-93.
[10]	Zhu Meifang. Generalization of Nonlinear ABS Algorithm and Its Convergence Properties[J]. Journal of Beijing University of Technology, 1989, 15(4): 21-26.

Cited By

Cited by

Periodical cited type(25)

1.	陈敏敏，刘杰，李莉娜，邱立莉，杨伟伟，敬红. 我国城镇污水处理厂污泥产率系数现状及影响因素分析. 工业水处理. 2024(03): 24-29 .
2.	郭炀煜，李炯坤. 运用线性规划优化城市污水管道设计研究. 建设科技. 2024(05): 73-75 .
3.	储昭亮，刘莹，侯锋，干里里，周晓，范茏，徐农. 100μm砂粒在精细除砂一体化设备中的沉降模拟. 宿州学院学报. 2024(03): 22-27 .
4.	吴海斌，陈祥，李巍，王先恺，王航，李锟，乔雪园，刘枫，董滨. 城市智慧水管家背景下市政污泥处理处置问题和解决思路的分析. 环境工程学报. 2024(05): 1442-1448 .
5.	王碧云，孙艾林，许雪煌. “双碳”目标下海南地区污水处理厂更新改造对策分析及工程实例. 环境工程. 2024(11): 81-89 .
6.	周晓，侯锋，干里里，刘莹，庞洪涛. 旋转式带式过滤器强化生活污水预处理的评估优化. 环境工程学报. 2023(02): 461-470 .
7.	王京凡，杨庆，刘秀红，王锴晗，董余凡，程蓉，徐宗泽. 污水处理厂碳中和运行技术研究进展. 净水技术. 2023(03): 28-38+188 .
8.	宋舒兴，隋倩雯，高超龙，狄斐，魏源送. 膜曝气生物膜反应器耦合厌氧氨氧化工艺处理低C/N比生活污水. 环境科学学报. 2023(04): 208-216 .
9.	夏海琛，朱羽廷，夏四清. 基于正交层次法的水力旋流除砂器数值模拟结构优化. 环境工程. 2023(S1): 68-71+146 .
10.	侯锋，周晓，王洪臣，干里里，刘莹，庞洪涛，曹效鑫. 喀斯特地区污水含砂特征及除砂工艺优化研究. 给水排水. 2023(05): 25-31 .
11.	商文秀，王卫，李海斌，苏本生，李天雨. 北京某临时污水处理厂工艺设计及运行研究. 北京水务. 2023(S2): 44-49 .
12.	李丹琳，郭帅，黄荣敏，张浩，成浩科. 基于供排水一体化监测的污水管网外来水入侵风险评估. 环境工程. 2023(11): 39-45 .
13.	骆泽旭，舒诗湖，朱延平，陈志辉，杨仲侃. 基于CiteSpace知识图谱的污水处理碳排放分析. 上海工程技术大学学报. 2023(03): 311-317 .
14.	周曼. 某污水处理厂碳排放核算研究. 广东化工. 2022(05): 132-134 .
15.	宋新新，刘杰，林甲，李佳，李传举，江瀚，王洪臣，伊锋. 碳中和时代下我国能量自给型污水处理厂发展方向及工程实践. 环境科学学报. 2022(04): 53-63 .
16.	荆玉姝，牟润芝，姜怡名，刘长青，杨延栋. 曝气精确控制实现污水处理厂节能降耗的应用. 环境工程. 2022(05): 141-145+165 .
17.	高超龙，狄斐，宋舒兴，徐东耀，魏源送，隋倩雯. 一体式膜曝气生物膜反应器实现部分亚硝化-厌氧氨氧化耦合生物除磷. 环境科学学报. 2022(09): 18-29 .
18.	夏海琛，朱羽廷，董滨，夏四清. 城市污水和污泥细微砂旋流去除技术综述. 给水排水. 2022(S1): 546-553 .
19.	张旭. 环境工程中的城市污水处理分析. 清洗世界. 2022(11): 164-166 .
20.	曹业始，吴军，刘智晓，张翼飞，KROSIS H，DAIGGER G T，彭永臻. 改造国内污水管网系统需要综合考虑的四个因素：定量分析. 给水排水. 2022(10): 45-55 .
21.	朱磊，柏苏北. 城市污水治理问题与对策分析. 造纸装备及材料. 2022(12): 148-150 .
22.	张维，孙永利，郑兴灿，王诣达，刘静，高晨晨，张文安，刘钰. 城镇居民生活污水污染物产生量测定技术难点与启示. 给水排水. 2021(05): 52-57 .
23.	曹业始，ABEGGLEN Christian，刘智晓，KROISS Helmut，张悦，彭永臻. 改造当前国内污水管网需要综合考虑的四个因素. 给水排水. 2021(08): 125-137 .
24.	沈耀良. 城市污水处理技术:走向低碳绿色. 苏州科技大学学报(工程技术版). 2021(03): 1-16 .
25.	沈耀良. 我国农村生活污水处理:技术策略路径. 苏州科技大学学报(工程技术版). 2021(04): 1-16 .

Other cited types(26)

Get Citation

PDF

XML

Article views (17) PDF downloads (4) Cited by(51)

Turn off MathJax

Article Contents

Abstract

References

Automated GUI Testing Based on Extended Place/Transition System