Title :
Distributed symbolic execution for binary software testing
Author :
Bo Wu ; Mengjun Li ; Bin Zhang ; Quan Zhang ; Chaojing Tang
Author_Institution :
Sch. of Electron. Sci. & Eng., Nat. Univ. of Defence Technol., Changsha, China
Abstract :
Despite more than three decades of independent, academic, and industry-related research on symbolic execution, it is still difficult applying symbolic execution to real-world software testing, especially to binary software. The emergence of more and more cloud computing platforms makes it feasible to scale this technique using the concept of distributed computing. In this paper, we proposed a distributed symbolic execution approach, which is a novel schema for scaling symbolic execution to real-world binary software testing. We design our method in peer-to-peer way,that is to say, the work node can do the task alone or together, so it can make full use of the elasticity of cloud computing. Also a prototype system is implemented, which is built based on the S2E platform using its plug-in structure. The evaluation shows that our method can be used to test real-world binary software more efficiently.
Keywords :
cloud computing; program testing; S2E platform; cloud computing platforms; distributed computing; distributed symbolic execution approach; plug-in structure; real-world binary software testing; work node; Computational modeling; Computers; Educational institutions; Peer-to-peer computing; Random access memory; Software; Distributed Computing; Software testing; Symbolic Execution;
Conference_Titel :
Electronics, Computer and Applications, 2014 IEEE Workshop on
Conference_Location :
Ottawa, ON
DOI :
10.1109/IWECA.2014.6845695