ビルドに失敗する題材．
内部処理（ビルドやFL）の振る舞いを確かめる目的であり，APR用の題材ではないことに注意．
処理の中身には意味がない．
単純なコンパイルエラーを含む．
bug：定義されていない変数を参照している．
単純なコンパイルエラーを含む．
bug：セミコロンが不足している．
ビルドに成功する題材．
内部処理（ビルドやFL）の振る舞いを確かめる目的であり，APR用の題材ではないことに注意．
処理の中身には意味がない．
1実装クラスと1テストクラス．
4テストのうち，1テストでfailする．
JDT-ASTによる狂ったコードフォーマットを適用済み．
2実装クラスと2テストクラス．
JDT-ASTによる狂ったコードフォーマットを適用済み．
複数クラスに対するビルドの振る舞いを試す題材．
3実装クラスと3テストクラス．
FooTestが持つ4テストのうち，1テストでfailする．
BarTestが持つ5テストのうち，0テストでfailする．
BazTestが持つ2テストのうち，0テストでfailする．
内部クラスや匿名クラスに対するビルドの振る舞いを試す題材．
1実装クラスと1テストクラス．
初期状態で無限ループするテストケースを含む題材．
より充実した無限ループ題材 BuildSuccess19 もあるのでそちらを参照．
1実装クラスと1テストクラス．
Maven（pom.xml）プロジェクト．
TargetProjectFactoryのテスト用．
1実装クラスと1テストクラス．
Eclipse（.classpath）プロジェクト．
TargetProjectFactoryのテスト用．
1実装クラスと1テストクラス．
BuildSuccess02の派生．
srcとtestを別フォルダに設置．
srcとtestを個別にビルド（差分ビルド等）する場合の確認用．
1実装クラスと1テストクラス，17.tomlファイル．
.tomlファイルによるプロジェクト設定を試す題材．
1実装クラスと1テストクラス．
末尾にブランク改行を含むファイルに対するDiffの振る舞いを試す題材．
2実装クラスと1テストクラス．
テスト中の動的クラスロードによるテストの成否の正しさを確認する題材．
BarがFooTestの途中に正しく動的クラスロードされるかどうかを確認．
1実装クラスと1テストクラス．
継承ベースの古いJUnitテストに対するJacoco計測を試す題材．
1実装クラスと2テストクラス．
テストクラスの中で別のテスト系クラス（テストユーティリティ等）に依存する題材．
1実装クラスと1バイナリ（テストなし）．
実装クラスが外部バイナリに依存する題材．
クラスパスを適切に処理できるかを確認．
2実装クラスと1テストクラス．
実装クラスが別実装クラスを呼び出す題材．
差分ビルドの振る舞いを試す題材．
3実装クラス（テストなし）．
スコープ（再利用候補）の範囲選択を確認する題材．
1実装クラスと1テストクラス，及び.jarライブラリと.classライブラリ．
テスト実行時のクラスパス解決を確かめる題材．
1実装クラスと1テストクラス，1テキストファイル．
外部ファイル読み込みを行う題材．
環境変数"user.dir"を用いた，疑似的な題材ルートからの相対パスを利用していることに注意．
1実装クラスと1テストクラス．
外部ファイル書き込みを行う題材．
環境変数"user.dir"を用いた，疑似的な題材ルートからの相対パスを利用していることに注意．
1実装クラスと1テストクラス．
初期状態で無限ループするテストケースを含む題材．
テストタイムアウトが適切に適用されるかを確認．
JUnit4のアノテーションベース記法．
1実装クラスと1テストクラス．
初期状態で無限ループするテストケースを含む題材．
テストタイムアウトが適切に適用されるかを確認．
JUnit3の継承ベース記法．
1実装クラスと1テストクラス．
resourceファイルへのアクセスを試す題材．
2実装クラスと1テストクラス．
クラスローダ経由でのバイナリresourceのアクセスを試す題材．
1実装クラスと1テストクラス． クラスローダの委譲処理が適切にスキップされるかどうかを試す題材．
日本語が含まれているコード．エンコーディングはUTF-8． パッチにエンコーディングの違いが含まれていないかを試す題材．
日本語が含まれているコード．エンコーディングはShift-JIS．
内容はBuildSuccess24と同じ．
APR用の題材．
整数をゼロに一つ近づけるメソッドclose_to_zero(n)の修正を試みる．
単一バグを含み単一操作によって修正可能な最も単純なAPR題材．
処理の本質が「if文+加減算」だけなので，様々な修正方法が存在する．
bug：不要な行が挿入されている．
bug：不要な行が挿入されている．
bug：条件式が不足している．
bug：条件式が逆になっている．
APR用の題材．
ICSE2009のAPR論文の例題プログラムの亜種．
APR用の題材．
無限ループを含む題材．
実アプリの題材． Apache Commons Mathの開発過程で生じたバグ． Defects4Jから取得．
変数名を探索するめたの題材． 複数パターンでの変数宣言を行なっている．
使える変数の型に応じて再利用する文を選択する題材．
使える変数名に応じて再利用する文の変数名を書き換える題材．
Developer's patch:
diff --git a/org/apache/commons/math3/distribution/HypergeometricDistribution.java b/org/apache/commons/math3/distribution/HypergeometricDistribution.java
index 81e180c..2769127 100644
--- a/org/apache/commons/math3/distribution/HypergeometricDistribution.java
+++ b/org/apache/commons/math3/distribution/HypergeometricDistribution.java
@@ -265,7 +265,7 @@ public class HypergeometricDistribution extends AbstractIntegerDistribution {
* size {@code n}, the mean is {@code n * m / N}.
*/
public double getNumericalMean() {
+ return getSampleSize() * (getNumberOfSuccesses() / (double) getPopulationSize());
- return (double) (getSampleSize() * getNumberOfSuccesses()) / (double) getPopulationSize();
}
/**http://program-repair.org/defects4j-dissection/#!/bug/Math/2
Developer's patch:
diff --git a/org/apache/commons/math3/complex/Complex.java b/org/apache/commons/math3/complex/Complex.java
index ac8185b..22b23f2 100644
--- a/org/apache/commons/math3/complex/Complex.java
+++ b/org/apache/commons/math3/complex/Complex.java
@@ -302,7 +302,7 @@ public class Complex implements FieldElement<Complex>, Serializable {
}
if (real == 0.0 && imaginary == 0.0) {
+ return INF;
- return NaN;
}
if (isInfinite) {http://program-repair.org/defects4j-dissection/#!/bug/Math/5
Developer's patch:
diff --git a/org/apache/commons/math/analysis/solvers/BisectionSolver.java b/org/apache/commons/math/analysis/solvers/BisectionSolver.java
index 180caef..3f66927 100644
--- a/org/apache/commons/math/analysis/solvers/BisectionSolver.java
+++ b/org/apache/commons/math/analysis/solvers/BisectionSolver.java
@@ -69,7 +69,7 @@ public class BisectionSolver extends UnivariateRealSolverImpl {
/** {@inheritDoc} */
public double solve(final UnivariateRealFunction f, double min, double max, double initial)
throws MaxIterationsExceededException, FunctionEvaluationException {
+ return solve(f, min, max);
- return solve(min, max);
}
/** {@inheritDoc} */http://program-repair.org/defects4j-dissection/#!/bug/Math/70
Developer's patch:
diff --git a/org/apache/commons/math/analysis/solvers/BrentSolver.java b/org/apache/commons/math/analysis/solvers/BrentSolver.java
index e0cb427..4e95ed5 100644
--- a/org/apache/commons/math/analysis/solvers/BrentSolver.java
+++ b/org/apache/commons/math/analysis/solvers/BrentSolver.java
@@ -32,11 +32,6 @@ import org.apache.commons.math.analysis.UnivariateRealFunction;
*/
public class BrentSolver extends UnivariateRealSolverImpl {
+ /** Error message for non-bracketing interval. */
+ private static final String NON_BRACKETING_MESSAGE =
+ "function values at endpoints do not have different signs. " +
+ "Endpoints: [{0}, {1}], Values: [{2}, {3}]";
-
/** Serializable version identifier */
private static final long serialVersionUID = 7694577816772532779L;
@@ -133,11 +128,6 @@ public class BrentSolver extends UnivariateRealSolverImpl {
return solve(f, initial, yInitial, max, yMax, initial, yInitial);
}
+ if (yMin * yMax > 0) {
+ throw MathRuntimeException.createIllegalArgumentException(
+ NON_BRACKETING_MESSAGE, min, max, yMin, yMax);
+ }
-
// full Brent algorithm starting with provided initial guess
return solve(f, min, yMin, max, yMax, initial, yInitial);
@@ -186,7 +176,9 @@ public class BrentSolver extends UnivariateRealSolverImpl {
} else {
// neither value is close to zero and min and max do not bracket root.
throw MathRuntimeException.createIllegalArgumentException(
+ NON_BRACKETING_MESSAGE, min, max, yMin, yMax);
- "function values at endpoints do not have different signs. " +
- "Endpoints: [{0}, {1}], Values: [{2}, {3}]",
- min, max, yMin, yMax);
}
} else if (sign < 0){
// solve using only the first endpoint as initial guesshttp://program-repair.org/defects4j-dissection/#!/bug/Math/73
Developer's patch:
diff --git a/org/apache/commons/math/analysis/solvers/UnivariateRealSolverUtils.java b/org/apache/commons/math/analysis/solvers/UnivariateRealSolverUtils.java
index e6398f6..5b76415 100644
--- a/org/apache/commons/math/analysis/solvers/UnivariateRealSolverUtils.java
+++ b/org/apache/commons/math/analysis/solvers/UnivariateRealSolverUtils.java
@@ -195,7 +195,7 @@ public class UnivariateRealSolverUtils {
} while ((fa * fb > 0.0) && (numIterations < maximumIterations) &&
((a > lowerBound) || (b < upperBound)));
+ if (fa * fb > 0.0 ) {
- if (fa * fb >= 0.0 ) {
throw new ConvergenceException(
"number of iterations={0}, maximum iterations={1}, " +
"initial={2}, lower bound={3}, upper bound={4}, final a value={5}, " +http://program-repair.org/defects4j-dissection/#!/bug/Math/85