.png){kind=icon}
返回
An automated test data generation method for void pointers and function pointers in C/C plus plus libraries and embedded projects
.png){kind=icon}
PRE
AI
DOI：10.1016/j.infsof.2022.106821.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Automated test data generation for unit testing C/C++ functions using concolic methods is well-known for improving software quality while reducing human testing effort. However, there have been only a few researches related to generating test data for void pointers and function pointers which are commonly used in C/C++ libraries and embedded projects. This paper proposes a concolic-based method named VFP (Void and Function Pointers test data generation) to generate test data for void pointers and function pointers. The key idea of VFP method is to preprocess the source code of the project under test to find all possible types of void pointers and references of function pointers. These types and references are used in the initial test data generating phase of the concolic testing method. VFP method is implemented in VFP verification tool to test on various C/C++ libraries and embedded projects. The experimental results show that VFP significantly improves the coverage of the generated test data in comparison with existing methods.
Keyword:
Automated test data generation
Concolic testing
Symbolic execution
Void pointer
Function pointer
VFP verification
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
引用论文
.png){kind=icon}
分享收藏Visual attention and speeds of pedestrians, cyclists, and electric scooter riders when using shared road – a field eye tracker experiment使用共享道路时行人，骑自行车者和电动踏板车骑手的视觉注意力和速度-现场眼动仪实验
PREAI
分享收藏An orchestrated survey of methodologies for automated software test case generation对自动软件测试用例生成方法的精心策划的调查
PREAI
分享收藏
查看更多内容