Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing

被引:21
作者
Victor Barbosa Coutinho, Ana Emilia [1 ]
Cartaxo, Emanuela Gadelha [1 ]
de Lima Machado, Patricia Duarte [1 ]
机构
[1] Fed Univ Campina Grande UFCG, Software Practices Lab SPLab, Campina Grande, PB, Brazil
关键词
Test suite reduction; Model-based testing; Distance functions; SELECTION;
D O I
10.1007/s11219-014-9265-z
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Test suite reduction strategies aim to produce a smaller and representative suite that presents the same coverage as the original one but is more cost-effective. In the model-based testing (MBT) context, reduction is crucial since automatic generation algorithms may blindly produce several similar test cases. In order to define the degree of similarity between test cases, researchers have investigated a number of distance functions. However, there is still little or no knowledge on whether and how they influence on the performance of reduction strategies, particularly when considering MBT practices. This paper investigates the effectiveness of distance functions in the scope of a MBT reduction strategy based on the similarity degree of test cases. We discuss six distance functions and apply them to three empirical studies. The first two studies are controlled experiments focusing on two real-world applications (and real faults) and ten synthetic specifications automatically generated from the configuration of each application (and faults randomly generated). In the third study, we also apply the reduction strategy to two subsequent versions of an industrial application by considering real faults detected. Results show that the choice of a distance function has little influence on the size of the reduced test suite. However, as reduced suites are different depending on the distance function applied, the choice can significantly affect the fault coverage. Moreover, it can also affect the stability of the reduction strategy regarding coverage of different sets of faults on different executions.
引用
收藏
页码:407 / 445
页数:39
相关论文
共 50 条
[11]   Distance-based Test-Suite Reduction for Efficient Testing-based Fault Localization [J].
Wang, Xingya ;
Jiang, Shujuan ;
Gao, Pengfei ;
Ju, Xiaolin ;
Wang, Rongcun ;
Zhang, Yanmei .
2016 INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, TESTING AND EVOLUTION (SATE 2016), 2016, :84-89
[12]   Test Suite Reduction for Mutation Testing Based on Formal Concept Analysis [J].
Li, Liping ;
Gao, Honghao .
2015 16TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2015, :443-447
[13]   A Global Algorithm for Model-Based Test Suite Generation [J].
Hessel, Anders ;
Pettersson, Paul .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (02) :47-59
[14]   Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization [J].
Choi, Yoo-Min ;
Lim, Dong-Jin .
APPLIED SCIENCES-BASEL, 2019, 9 (17)
[15]   On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-based Testing [J].
Ouriques, Joao Felipe S. ;
Cartaxo, Emanuela G. ;
Machado, Patricia D. L. .
2013 27TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2013), 2013, :119-128
[16]   Model-Based Testing of Software-Based System Functions [J].
Drave, Imke ;
Greifenberg, Timo ;
Hillemacher, Steffen ;
Kriebel, Stefan ;
Markthaler, Matthias ;
Rumpe, Bernhard ;
Wortmann, Andreas .
44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, :146-153
[17]   Test Oracle Strategies for Model-Based Testing [J].
Li, Nan ;
Offutt, Jeff .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 43 (04) :372-395
[18]   Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing [J].
Kanstren, Teemu ;
Chechik, Marsha .
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, :238-243
[19]   A Process to Increase the Model Quality in the Context of Model-Based Testing [J].
Entin, Vladimir ;
Winder, Mathias ;
Zhang, Bo ;
Claus, Andreas .
2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
[20]   On Combining Model-Based Analysis and Testing [J].
Saadatmand, Mehrdad ;
Sjodin, Mikael .
PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, :260-266