Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/java/340.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
java文件的反向切片生成_Java_Program Slicing - Fatal编程技术网

java文件的反向切片生成

java文件的反向切片生成,java,program-slicing,Java,Program Slicing,我有一个java文件,我想得到对特定行的结果有影响的所有行(向后切片生成)。我知道解决方案,但是有没有java代码可以做到这一点 作为示例,请按以下代码排序: System.out.println("Start") Random r = new Random(); int i = r.nextInt(10); int n = 0; if(i<8) { n = 1; System.out.println("In if"); } int j = n * i; System.o

我有一个java文件,我想得到对特定行的结果有影响的所有行(向后切片生成)。我知道解决方案,但是有没有java代码可以做到这一点

作为示例,请按以下代码排序:

System.out.println("Start")
Random r = new Random();
int i = r.nextInt(10);
int n = 0;
if(i<8)
{
    n = 1;
    System.out.println("In if");
}
int j = n * i;
System.out.println(“开始”)
随机r=新随机();
int i=r.nextInt(10);
int n=0;

if(i似乎讨论理论方法的学术论文比实际实现的要多。(特别是在Java中)

您可以尝试以下选项之一:

分析单线程程序:

来自hammacher(@github)的Java切片器。据我所知,在您创建了程序的跟踪之后,它会给您一个Java字节码切片

另请查看IBM Wala切片器

分析多线程程序:

问题是复杂度会上升,尤其是在分析多线程程序时。 我认为目前唯一支持这一点的是这个项目。他们还提供了一个eclipse插件,名为Kaveri,但您必须在eclipse 3.1.2中使用它

但是,您的代码必须符合Java 2(J2SE 1.4.2)。请参阅

Random r = new Random();
int i = r.nextInt(10);
int n = 0;
if(i<8)
{
    n = 1;
}
int j = n * i;