A Search-Based Test Data Generation Method for Concurrent Programs

Authors

Seyed Mohsen Mirhosseini, Hassan Haghighi^*,

Faculty of Computer Science and Engineering, Shahid Beheshti University G. C., Tehran, Iran

^*Corresponding author. Email: h_haghighi@sbu.ac.ir

DOI

10.2991/ijcis.d.200805.003How to use a DOI?

Keywords

Software testing; Test data generation; Concurrent program; Hybrid meta-heuristic algorithm

Abstract

Concurrent programs are being widely adopted in development of multi-core and many-core processors. However, these types of programs present some features such as concurrency, communication and synchronization which make their testing more challenging than sequential programs. Search-based techniques, which use meta-heuristic search algorithms, have frequently been used for testing sequential programs, especially in the test data generation activity. However, application of search-based techniques in test data generation for concurrent programs has seldom been covered in the literature. The first contribution of this paper is to present a search-based test data generation framework for concurrent programs. Additionally, a hybrid meta-heuristic algorithm, called SFLA-VND, is proposed, which could be used in the mentioned framework as well as other meta-heuristic algorithms. SFLA-VND is a combination of the shuffled frog leaping algorithm (SFLA) and the variable neighborhood descent (VND). The proposed framework has been experimented on five concurrent benchmark programs by applying genetic algorithm (GA), ant colony optimization (ACO), particle swarm optimization (PSO), SFLA and SFLA-VND. Experimental results demonstrate the effectiveness and efficiency of this framework. Also, the results confirm the superiority of SFLA-VND in comparison with some popular meta-heuristic algorithms, when they are used for test data generation.

Copyright

© 2020 The Authors. Published by Atlantis Press B.V.

Open Access

This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)
View full text (HTML)

TY  - JOUR
AU  - Seyed Mohsen Mirhosseini
AU  - Hassan Haghighi
PY  - 2020
DA  - 2020/08/17
TI  - A Search-Based Test Data Generation Method for Concurrent Programs
JO  - International Journal of Computational Intelligence Systems
SP  - 1161
EP  - 1175
VL  - 13
IS  - 1
SN  - 1875-6883
UR  - https://doi.org/10.2991/ijcis.d.200805.003
DO  - 10.2991/ijcis.d.200805.003
ID  - Mirhosseini2020
ER  -