5.1.5　启发式引导的k+l循环处理模型算法概述

基于前面的讨论,本书给出启发式引导的k+1循环处理模型的算法描述,为循环内的目标生成测试用例。“k”表示对L target执行k次展开的符号执行,“1”表示对L before和L after使用动态执行得到1条部分路径;“启发式”代表使用目标函数来引导在L before中的动态执行选择更靠近目标的部分路径;“+”表示混合使用这些策略来增量生成覆盖目标的可达路径。为了使算法提高效率,增加了预处理阶段,一次性的计算主宰节点到目标的距离。具体算法描述如下。(https://www.daowen.com)