Heuristics for Scalable Dynamic Test Generation
摘要：
本文的主要思想：提出了一种搜索策略，它是用静态的程序结构来引导动态测试，我们把它叫做CFG（control flow graph）.1.CONCOLIC SEARCH STRATEGIES通过例子来说明该算法：程序实例如下图所示A. Bounded Depth-First Search.（1）假设我们初始以x = 0, y = 0,作为输入产生执行路径P0 = l0, l2, l3, l9, l13, l14, l4.这个执行路径通过两个条件语句，其路径约束是：x ≤ y ∧ x ！= 4.（2）深度优先搜索（DFS）通过把路径约束改为：x>y,使得第一个分支由l2转向l1,产生输入如： 阅读全文
posted @ 2011-11-18 11:35 zhanghs 阅读(574) 评论(0) 推荐(1) 编辑
