One of the important issues in constructing interprocedural program slices is maintaining
In this paper, we evaluate a PDG based explicitly context-sensitive interprocedural program slicing technique for accuracy and efficiency. We compare this technique against a context-insensitive technique using a program slicing framework we have developed for Java programs for which only the byte-code sequences are available.
Our results show that the context-sensitive technique, in spite of its worst case exponential complexity, can be very efficient in practice. The execution time for our set of benchmarks is, on the average, only twice as much as the execution time for the context-insensitive technique. The results on the accuracy for the context-insensitive technique are mixed. For 53% of the 2464 slicing criteria used in our experiments, the context-insensitive technique does not loose accuracy. However, in some cases, it can also lead to slices with 35 times more vertices. On the average, the slices constructed from the context-insensitive technique are twice as large as the one from the context-sensitive technique.
构造过程间程序片时的重要问题之一是在多个调用站点处调用过程时,保持 在本文中,我们评估了基于PDG的显式上下文敏感过程间程序切片技术,以提高准确性和效率。我们使用针对Java程序开发的程序切片框架,将该技术与上下文无关的技术进行了比较,该程序切片框架仅针对字节码序列可用。 P>
我们的结果表明,尽管上下文敏感技术的指数复杂度最差,但在实践中仍然非常有效。平均而言,我们的一组基准测试的执行时间仅是上下文无关技术的执行时间的两倍。上下文无关技术的准确性结果是混合的。对于我们实验中使用的2464个切片标准中的53%,上下文无关技术不会降低准确性。但是,在某些情况下,它还会导致顶点多35倍的切片。平均而言,使用上下文无关技术构建的切片是使用上下文敏感技术构建的切片的两倍。 P>
机译:明确评估上下文相关程序切片
机译:并发AspectJ程序的动态切片:一种显式的上下文相关方法
机译:分布式的面向方面程序的动态切片:一种上下文相关的方法
机译:评估明确的上下文敏感程序切片
机译:来自程序切片的可执行文件用于Java程序
机译:上下文敏感的突触可塑性和海马切片中的时空转换
机译:明确评估上下文相关程序切片