Parallel Symbolic Execution for Structural Test Generation
摘要：
一.文章的主要思想：利用前置条件（pre-conditions）集合划分符号执行树，从而有效地把符号执行分布到多个进程或处理器上，以减低遍历符号执行数的时间。前置条件用首先执行一个"shallow"符号执行来得到，他通过执行用户的代码搜集大量的路径约束，这些路径约束被处理以产生被前置条件用到的约束列表。这个技术就叫做Simple Static Partitioning(SSP)。二.划分符号以并行执行： 思路：首先，产生一个约束队列；其次，把这些约束分配给workes. RDFS:Random depth first search,performs depth first 阅读全文
posted @ 2011-11-17 11:53 zhanghs 阅读(466) 评论(0) 推荐(1) 编辑
