相比校订者的性能优势
全部重新计算可见最好反复应用.
当我们假定在一个执行静态分析
持续集成服务器每签入到版本
控制系统、储蓄积累随着时间的描述
右边的图5 { 11.例如,在25岁
最近的烟灰修订,75%的储蓄了
校订者积累超过11000秒(3个小时).
一般来说,校订者取决于的性能
跳数的函数需要重新计算.的
更大的代码变化的影响,更多的边缘
aected.清算和repropagating优势需要
一般超过最初的计算优势.
性能因此只通过验算(
suciently精确overapproximation aected节点
这是通常的一个小子集中的所有节点计划
图.在最坏的情况下,所有的边缘必须重新计算
重新计算一些算法退化
开销,由于变更集计算和包装
查找如第四节所述.例如,这发生
对于JUnit更新从4.10版到4.11版.