A Parallel Approach to Concolic Testing with Low-cost Synchronization

被引：2

作者：

Yu, Xiao ^{[1
]}

Sun, Shuai ^{[1
]}

Pu, Geguang ^{[1
]}

Jiang, Siyuan ^{[1
]}

Wang, Zheng ^{[1
]}

机构：

[1] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2011年 / 274卷

关键词：

Parallel Algorithm; Automatic Test Generation; Symbolic Execution;

D O I：

10.1016/j.entcs.2011.07.008

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents a practical approach to parallelize the test data generation algorithm by which computing resources can be fully used. The test data generation approach that we are using is based on the dynamic symbolic execution (concolic testing). The basic idea of parallelizing the algorithm is to distribute analysis processes of different paths to different computing units. Although a centralized scheduler with several sub processes can directly achieve the goal of parallelism, it may cause global idle time when parallel processes frequently end at same time. In our approach, a runtime deterministic scheduler is introduced to reduce the potential global idle time. Our experiments show some notable results when using a proper scheduling function. Compared with the sequential concolic testing, our approach can save nearly 70% computing time in some cases on a system with eight CPU cores from our experiments.

引用

页码：83 / 96

页数：14