add Update stmt report with mutation testing info

DIVERSIFY-project · Jul 4, 2017 · 6027225 · 6027225
1 parent e661bb9
commit 6027225
Show file tree

Hide file tree

Showing 11 changed files with 397 additions and 5 deletions.
diff --git a/configurationFiles/mutationTesting/commons-codec-mut.properties b/configurationFiles/mutationTesting/commons-codec-mut.properties
@@ -0,0 +1,8 @@
+project=../commons-codec
+result=withFailure3/commons-codec/codec
+jacoco=configurationFiles/commons-codec/jacoco.exec
+javaVersion=6
+mutationtesting=true
+updated-stmtreport=../targeted-sosies/results/mutation/commons-codec-stmt.csv
+stmtreport=../../sosie-results/data/commons-codec-stmt.csv
+mutationreport=../targeted-sosies/results/mutation/commons-codec.json
diff --git a/configurationFiles/mutationTesting/commons-collections-mut.properties b/configurationFiles/mutationTesting/commons-collections-mut.properties
@@ -0,0 +1,8 @@
+project=../commons-collections
+javaVersion=5
+result=result_nicolas/commons-collections_static_external
+jacoco=configurationFiles/commons-collections/jacoco.exec
+mutationtesting=true
+updated-stmtreport=../targeted-sosies/results/mutation/commons-collections-stmt.csv
+stmtreport=../../sosie-results/data/commons-collections-stmt.csv
+mutationreport=../targeted-sosies/results/mutation/commons-collections.json
diff --git a/configurationFiles/mutationTesting/commons-io_static-mut.properties b/configurationFiles/mutationTesting/commons-io_static-mut.properties
@@ -0,0 +1,8 @@
+project=../commons-io
+javaVersion=6
+result=result_nicolas/commons-io_static_external
+jacoco=configurationFiles/commons-io/jacoco.exec
+mutationtesting=true
+updated-stmtreport=../targeted-sosies/results/mutation/commons-io-stmt.csv
+stmtreport=../../sosie-results/data/commons-io-stmt.csv
+mutationreport=../targeted-sosies/results/mutation/commons-io.json
diff --git a/configurationFiles/mutationTesting/commons-lang-mut.properties b/configurationFiles/mutationTesting/commons-lang-mut.properties
@@ -0,0 +1,8 @@
+project=../commons-lang
+javaVersion=6
+result=result_nicolas/commons-lang_static_external
+jacoco=configurationFiles/commons-lang/jacoco.exec
+mutationtesting=true
+updated-stmtreport=../targeted-sosies/results/mutation/commons-lang-stmt.csv
+stmtreport=../../sosie-results/data/commons-lang-stmt.csv
+mutationreport=../targeted-sosies/results/mutation/commons-lang.json
diff --git a/configurationFiles/mutationTesting/gson-mut.properties b/configurationFiles/mutationTesting/gson-mut.properties
@@ -0,0 +1,8 @@
+project=../gson/gson
+javaVersion=5
+result=result_nicolas/gson_swapsubtype
+jacoco=configurationFiles/gson/jacoco.exec
+mutationtesting=true
+updated-stmtreport=../targeted-sosies/results/mutation/gson-stmt.csv
+stmtreport=../../sosie-results/data/gson-stmt.csv
+mutationreport=../targeted-sosies/results/mutation/gson.json
diff --git a/core/src/main/java/fr/inria/diversify/util/FileUtils.java b/core/src/main/java/fr/inria/diversify/util/FileUtils.java
@@ -173,9 +173,13 @@ public static String readFile(File in) {
     }
 
     public static void writeFile(JSONObject obj, File f) {
+        writeFile(obj.toString(), f);
+    }
+
+    public static void writeFile(String str, File f) {
         try {
             PrintWriter w = new PrintWriter(f);
-            w.print(obj.toString());
+            w.print(str);
             w.close();
         } catch (Exception ex) {
             System.err.println("Problem writing " + f.getPath());

diff --git a/generator/pom.xml b/generator/pom.xml
@@ -67,6 +67,11 @@
             <artifactId>commons-math3</artifactId>
             <version>3.4.1</version>
         </dependency>
+        <dependency>
+            <groupId>fr.ybonnel</groupId>
+            <artifactId>csvengine</artifactId>
+            <version>1.3.4</version>
+        </dependency>
 
     </dependencies>
 

diff --git a/generator/src/main/java/fr/inria/diversify/transformation/query/RandomProtocolQuery.java b/generator/src/main/java/fr/inria/diversify/transformation/query/RandomProtocolQuery.java
@@ -26,7 +26,9 @@ public RandomProtocolQuery(InputProgram inputProgram) {
     @Override
     public Transformation query() throws QueryException {
         int n = 20;
-        int partitionID = r.nextInt((int) Math.pow(2,n-1));
+        //int partitionID = r.nextInt((int) Math.pow(2,n-1));
+        //int partitionID = 507647;
+        int partitionID = 458667;
         List<byte[]> keys = new LinkedList<>();
         for(int i = 0; i < n; i ++) {
             byte[] bytes = new byte[5];

diff --git a/generator/src/main/java/fr/inria/diversify/util/StmtInfo.java b/generator/src/main/java/fr/inria/diversify/util/StmtInfo.java
@@ -0,0 +1,106 @@
+package fr.inria.diversify.util;
+
+import fr.ybonnel.csvengine.annotation.CsvColumn;
+import fr.ybonnel.csvengine.annotation.CsvFile;
+
+/**
+ * Created by nharrand on 04/07/17.
+ */
+@CsvFile
+public class StmtInfo {
+
+    @CsvColumn("position")
+    public String position;
+
+    @CsvColumn("isCandidate")
+    public String isCandidate;
+
+    @CsvColumn("isCandidateDelete")
+    public String isCandidateDelete;
+
+    @CsvColumn("nbTrial")
+    public String nbTrial;
+
+    @CsvColumn("nbCompile")
+    public String nbCompile;
+
+    @CsvColumn("nbSosie")
+    public String nbSosie;
+
+    @CsvColumn("nbTest")
+    public String nbTest;
+
+    @CsvColumn("nbAssert")
+    public String nbAssert;
+
+    @CsvColumn("maxDeep")
+    public String maxDeep;
+
+    @CsvColumn("meanDeep")
+    public String meanDeep;
+
+    @CsvColumn("medianDeep")
+    public String medianDeep;
+
+    @CsvColumn("minDeep")
+    public String minDeep;
+
+    @CsvColumn("methodNameInTests")
+    public String methodNameInTests;
+
+    @CsvColumn("methodClassTargetByTests")
+    public String methodClassTargetByTests;
+
+    @CsvColumn("nbDiff")
+    public String nbDiff;
+
+    @CsvColumn("nbStaticDiff")
+    public String nbStaticDiff;
+
+    public int nbMutantSurvived = 0;
+    public int nbMutantTried = 0;
+
+
+    public String toString() {
+        return "\"" + position + "\"" + "," +
+                "\"" + isCandidate + "\"" + "," +
+                "\"" + isCandidateDelete + "\"" + "," +
+                nbTrial + "," +
+                nbCompile + "," +
+                nbSosie + "," +
+                nbTest + "," +
+                nbAssert + "," +
+                maxDeep + "," +
+                meanDeep + "," +
+                medianDeep + "," +
+                minDeep + "," +
+                methodNameInTests + "," +
+                methodClassTargetByTests + "," +
+                nbDiff + "," +
+                nbStaticDiff + "," +
+                nbMutantSurvived + "," +
+                nbMutantTried + "\n";
+    }
+
+    public static String header() {
+        return "\"position\"" + "," +
+                "\"isCandidate\"" + "," +
+                "\"isCandidateDelete\"" + "," +
+                "\"nbTrial\"" + "," +
+                "\"nbCompile\"" + "," +
+                "\"nbSosie\"" + "," +
+                "\"nbTest\"" + "," +
+                "\"nbAssert\"" + "," +
+                "\"maxDeep\"" + "," +
+                "\"meanDeep\"" + "," +
+                "\"medianDeep\"" + "," +
+                "\"minDeep\"" + "," +
+                "\"methodNameInTests\"" + "," +
+                "\"methodClassTargetByTests\"" + "," +
+                "\"nbDiff\"" + "," +
+                "\"nbStaticDiff\"" + "," +
+                "\"nbMutantKilled\"" + "," +
+                "\"nbMutantSurvived\"" + "\n";
+    }
+
+}