-
Notifications
You must be signed in to change notification settings - Fork 0
/
readme.txt
137 lines (94 loc) · 4.82 KB
/
readme.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
Here are the test-suite adequate patches generated by our implemented repair approaches, i.e., ARJA, GenProg, RSRepair and Kali.
The directory Defects4JPatches/alg/bugID contains the patches obtained by ''alg'' (ARJA, GenProg, RSRepair or Kali)
for the bug ''bugID''
Each patch generated by ARJA, GenProg and RSRepair is represented as a number of edits. The following is an example:
1 Replace src/main/java/org/apache/commons/math/distribution/NormalDistributionImpl.java 216
Faulty:
ret=-Double.MAX_VALUE;
Seed:
ret=getMean();
**********************************************************************************************
2 Delete src/main/java/org/apache/commons/math/distribution/NormalDistributionImpl.java 138
Faulty:
if (x < 0) {
return 0;
}
Seed:
**********************************************************************************************
3 InsertBefore src/main/java/org/apache/commons/math/distribution/NormalDistributionImpl.java 172
Faulty:
if (p == 1) {
return Double.POSITIVE_INFINITY;
}
Seed:
if (p == 0) {
return Double.NEGATIVE_INFINITY;
}
**********************************************************************************************
There are three edits in this patch. For each edit, this first line
contains three kinds of information: the operation types, the java file where the faulty statement locates,
and the line number of the faulty statement in the java file.
For example, the first edit means that replacing the faulty statement (line 216 in NormalDistributionImpl.java) with ret=-Double.MAX_VALUE;.
The third edit means that inserting
if (p == 0) {
return Double.NEGATIVE_INFINITY;
}
before the faulty statement (line 172 in NormalDistributionImpl.java):
if (p == 1) {
return Double.POSITIVE_INFINITY;
}
Each patch generated by Kali is represented by a different format. There are three types of operations in Kali, which are
illustrated with examples as follows:
The first operation type is ''InsertReturn''
InsertReturn true /mnt/home/yyuan/Defects4J/Chart/chart_12_buggy/src/main/java/org/jfree/data/general/AbstractDataset.java 160
List list=Arrays.asList(this.listenerList.getListenerList());
**********************************************************************************************
This edit means that inserting the following statement:
if (true)
return true;
before the faulty statement List list=Arrays.asList(this.listenerList.getListenerList()); (i.e., line 160 in AbstractDataset.java).
Note that if the return type of the mehtod is numeric (i.e., int, float, double...),
''InsertReturn true'' means that insering the following statement before the faulty statement:
if (true)
return 0;
''InsertReturn false''means that insering the following statement before the faulty statement:
if (true)
return -1;
If the return type of the method is ''void''. ''InsertReturn'' just means inserting the following statement before the faulty statement:
if (true)
return;
If the return type of the method is an object. ''InsertReturn'' just means inserting the following statement before the faulty statement:
if (true)
return null;
The second operation type is ''RedirectBranch'', which is further divided into ''RedirectBranch false'' and ''RedirectBranch true''.
RedirectBranch false /mnt/home/yyuan/Defects4J/Math/math_2_buggy/src/main/java/org/apache/commons/math3/distribution/AbstractIntegerDistribution.java 137
if (tmp < upper) {
upper=((int)Math.ceil(tmp)) - 1;
}
**********************************************************************************************
This edit means that replacing the faulty statement (line 137 in AbstractIntegerDistribution.java)
if (tmp < upper) {
upper=((int)Math.ceil(tmp)) - 1;
}
with:
if (false) {
upper=((int)Math.ceil(tmp)) - 1;
}
RedirectBranch true /mnt/home/yyuan/Defects4J/Math/math_2_buggy/src/main/java/org/apache/commons/math3/distribution/AbstractIntegerDistribution.java 137
if (tmp < upper) {
upper=((int)Math.ceil(tmp)) - 1;
}
**********************************************************************************************
This edit means that replacing the faulty statement (line 137 in AbstractIntegerDistribution.java)
if (tmp < upper) {
upper=((int)Math.ceil(tmp)) - 1;
}
with:
if (true) {
upper=((int)Math.ceil(tmp)) - 1;
}
The third operation type is ''Delete''
Delete /mnt/home/yyuan/Defects4J/Math/math_85_buggy/src/main/java/org/apache/commons/math/analysis/solvers/UnivariateRealSolverUtils.java 199 1.0
throw new ConvergenceException("number of iterations={0}, maximum iterations={1}, " + "initial={2}, lower bound={3}, upper bound={4}, final a value={5}, " + "final b value={6}, f(a)={7}, f(b)={8}",numIterations,maximumIterations,initial,lowerBound,upperBound,a,b,fa,fb);
**************************************
This edit means that deleting the faulty statement throw new ConvergenceException("...") (line 199 in UnivariateRealSolverUtils.java).