arrow
返回

Basis path coverage testing of MPI programs based on multi-task evolutionary optimization

delete2024-12-01
delete0
PRE
AI
孙百才 封面图
孙百才 (Baicai Sun)
L
Lina Gong
郭一楠 封面图
郭一楠 (Yinan Guo)
巩
巩敦卫 (Dunwei Gong) *
DOI:10.1016/j.eswa.2024.124557delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
A M essage - P assing I nterface (MPI) program usually consists of several processes, and a target path of this program is composed of a target sub -path selected in each process. However, there may be coverage conflict between different target sub -paths in the target path, and there is currently no effective approach to avoid this problem. Therefore, this paper proposes an approach of basis path coverage testing of MPI programs based on multi -task evolutionary optimization, which is used to generate a test case set that meets the criteria of branch and sentence coverage. Firstly, the proposed approach samples a certain number of representative test inputs, and calculates the coverage level of each test input for each target sub -path in the target path, which is used to group the target sub -paths with coverage conflict. Then, we construct an optimization model for each group of the target sub -paths, which can guide test case generation with high effectiveness. Finally, each optimization model is solved by an evolutionary algorithm, and the efficiency of solving these optimization models is improved based on a multi -task framework. The proposed approach is applied to basis path coverage testing of seven benchmark MPI programs under test, and compared with several state-of-the-art approaches. Experimental results indicate that the proposed approach has significant advantages in test case generation, as well as performs good scalability.
Keyword:
Multi-task framework
Evolutionary optimization
Test case generation
Basis path coverage testing
MPI programs

期刊

Expert Systems with Applications 封面图
Expert Systems with Applications
IF:
7.5
论文数:
3.0W
被引数:
10.2W

机构

Z
zhejiang university
学者数:
17.7W
论文数: 12.1W
被引数: 152
引用论文

引用论文

err分享
err收藏
Molecular mechanisms underlying the epigallocatechin-3-gallate-mediated inhibition of oral squamous cell carcinogenesis
err2023-09-01
err0
PREAI
errFengyang Jing; Lijing Zhu; Jiaying Bai; Xinjia Cai; Xuan Zhou; Jianyun Zhang; Heyu Zhang; Tiejun Li
err分享
err收藏
err分享
err收藏
学者 查看更多内容