Research on Parallel Symbolic Execution through Program Dependence Analysis

摘要：

Through program dependence analysis, the method of parallel symbolic execution based on reduction about program execution path family was proposed. Firstly, instruction statements which affect on the symbolic value were extracted according to data dependency. Then the key branch conditions controlling these statements were located and connected. Thus the reduction algorithm from multiple paths of which symbolic values are all the same to path families was was designed and implemented. Finally, path family chain was built and parallel symbolic execution was realized. The experimental results show that the method promotes parallel processing ability and test efficiency, compared with common parallel scheduling policy of allocating program execution path.

关键词： symbolic execution paraltelization program dependence path family

作者: Yan Cao Qiang Wei Qingxian Wang

作者单位: National Digital Switching System Engineering &Technological R&D Center, NDSC Zhengzhou, China

会议类型: 国际会议

会议名称: 2012 Fifth International Symposium on Computational Intelligence and Design 第五届计算智能与设计国际会议 ISCID 2012

会议地点: 杭州

会议语种:英文

页码: 800-804

在线出版日期: 2012-10-28（万方平台首次上网日期，不代表论文的发表时间）