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 条
[31]   Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction [J].
Zafar, Muhammad Nouman ;
Afzal, Wasif ;
Enoiu, Eduard Paul ;
Haider, Zulqarnain ;
Singh, Inderjeet .
2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW 2024, 2024, :44-54
[32]   An EFSM-Based Test Data Generation Approach in Model-Based Testing [J].
Mohd-Shafie, Muhammad Luqman ;
Kadir, Wan Mohd Nasir Wan ;
Khatibsyarbini, Muhammad ;
Isa, Mohd Adham ;
Ghani, Israr ;
Ruslai, Husni .
CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 71 (03) :4337-4354
[33]   Model-Based Testing and Some Steps towards Test-Based Modelling [J].
Tretmans, Jan .
FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS, SFM 2011, 2011, 6659 :297-326
[34]   Model-Based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker [J].
Enoiu, Eduard Paul ;
Sundmark, Daniel ;
Pettersson, Paul .
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, :158-167
[35]   A Survey on Model-Based Testing Tools for Test Case Generation [J].
Li, Wenbin ;
Le Gall, Franck ;
Spaseski, Naum .
TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 :77-89
[36]   A Test Suite Reduction Method based on Test Requirement Partition [J].
Wan Yongbing ;
Xu Zhongwei ;
Yu Gang ;
Zhu Yujun .
INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2013, 6 (04) :85-95
[37]   Model-based test suite generation for graph transformation system using model simulation and search-based techniques [J].
Kalaee, Akram ;
Rafe, Vahid .
INFORMATION AND SOFTWARE TECHNOLOGY, 2019, 108 :1-29
[38]   Assessing Software Product Line Testing via Model-based Mutation: An Application to Similarity Testing [J].
Henard, Christopher ;
Papadakis, Mike ;
Perrouin, Gilles ;
Klein, Jacques ;
Le Traon, Yves .
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, :188-197
[39]   Model-Based Testing of Obligations [J].
Rubab, Iram ;
Ali, Shaukat ;
Briand, Lionel ;
LeTraon, Yves .
2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, :1-10
[40]   Model-based testing as a service [J].
Herbold, Steffen ;
Hoffmann, Andreas .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) :271-279