Some Thoughts on Model-Based Test Optimization

被引：5
作者：
Liu, Pan [1 ,2 ]
Li, Yudong [1 ]
Li, Zhaojun [1 ,3 ]
机构：
[1] Shanghai Business Sch, Shanghai, Peoples R China
[2] Engn Res Ctr Software Testing & Evaluat Fujian Pr, Fuzhou, Peoples R China
[3] Western New England Univ, Dept Ind Engn & Engn Management, Springfield, MA USA
来源：
2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019) | 2019年
基金：
中国国家自然科学基金;
关键词：
test optimization; model-based testing; redundancy reduction; model optimization; TEST-GENERATION; PETRI NETS; CHECKING;
D O I：
10.1109/QRS-C.2019.00058
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
As a test method, model-based testing has been proven to have the ability to find inconsistencies between a software system and its design model and objectives. Because the design of the model is independent of the development of program codes, the generation of test cases from the model is synchronized with the development of software codes, saving the software test cost. This paper reviews the development of model-based test methods from the optimization perspective and presents five issues in the test optimization process. In addition, the paper discusses four types of optimization strategies for reducing the redundancy of test sequences and an optimization method by using the regular expression model. Finally, this paper gives two potential research directions, including model optimization and software bug location in the program, for model-based testing in the future. This research contributes to the applications of model-based testing in industry.
引用
收藏
页码：268 / 274
页数：7
相关论文
共 75 条
[1]  
Abdurazik A, 2000, LECT NOTES COMPUT SC, V1939, P383
[2]   AN OPTIMIZATION TECHNIQUE FOR PROTOCOL CONFORMANCE TEST-GENERATION BASED ON UIO SEQUENCES AND RURAL CHINESE POSTMAN TOURS [J].
AHO, AV ;
DAHBURA, AT ;
LEE, D ;
UYAR, MU .
IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (11) :1604-1615
[3]   Scaling Enumerative Program Synthesis via Divide and Conquer [J].
Alur, Rajeev ;
Radhakrishna, Arjun ;
Udupa, Abhishek .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 :319-336
[4]   MobiGUITAR Automated Model-Based Testing of Mobile Apps [J].
Amalfitano, Domenico ;
Fasolino, Anna Rita ;
Tramontana, Porfirio ;
Ta, Bryan Dzung ;
Memon, Atif M. .
IEEE SOFTWARE, 2015, 32 (05) :53-59
[5]  
Ammann P., 2008, INTRO SOFTWARE TESTI
[6]   An orchestrated survey of methodologies for automated software test case generation [J].
Anand, Saswat ;
Burke, Edmund K. ;
Chen, Tsong Yueh ;
Clark, John ;
Cohen, Myra B. ;
Grieskamp, Wolfgang ;
Harman, Mark ;
Harrold, Mary Jean ;
McMinn, Phil ;
Bertolino, Antonia ;
Li, J. Jenny ;
Zhu, Hong .
JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (08) :1978-2001
[7]  
Andrews A, 2005, SOFTWARE SYSTEMS MOD, V4, P326, DOI DOI 10.1007/S10270-004-0077-7
[8]  
[Anonymous], 2008, P 7 INT C ASP OR SOF
[9]  
Bach J, 2016, IEEE INT VEH SYM, P1149, DOI 10.1109/IVS.2016.7535534
[10]  
Belinfante A., 2004, CRYOBIOLOGY, V24, P578
12345678