test/net/jaekl/cfb/analyze/DeltaTest.java

   1 package net.jaekl.cfb.analyze;
   2
   3 import static org.junit.Assert.*;
   4
   5 import java.io.ByteArrayInputStream;
   6 import java.io.FileNotFoundException;
   7 import java.io.IOException;
   8 import java.util.HashSet;
   9
  10 import net.jaekl.cfb.util.Command;
  11 import net.jaekl.cfb.xml.BugInstance;
  12
  13 import org.junit.Test;
  14 import org.xml.sax.InputSource;
  15 import org.xml.sax.SAXException;
  16
  17 public class DeltaTest {
  18         private static final String DM_DEFAULT_ENCODING = ""
  19                         + "<BugInstance type=\"DM_DEFAULT_ENCODING\" priority=\"1\" rank=\"19\" abbrev=\"Dm\" category=\"I18N\">\n"
  20                         + "<Class classname=\"net.jaekl.cfb.CFB\">\n"
  21                         + "<SourceLine classname=\"net.jaekl.cfb.CFB\" start=\"32\" end=\"119\" sourcefile=\"CFB.java\" sourcepath=\"net/jaekl/cfb/CFB.java\"/>\n"
  22                         + "</Class>\n"
  23                         + "<Method classname=\"net.jaekl.cfb.CFB\" name=\"main\" signature=\"([Ljava/lang/String;)V\" isStatic=\"true\">\n"
  24                         + "<SourceLine classname=\"net.jaekl.cfb.CFB\" start=\"112\" end=\"119\" startBytecode=\"0\" endBytecode=\"266\" sourcefile=\"CFB.java\" sourcepath=\"net/jaekl/cfb/CFB.java\"/>\n"
  25                         + "</Method>\n"
  26                         + "<Method classname=\"java.io.PrintWriter\" name=\"&lt;init&gt;\" signature=\"(Ljava/io/OutputStream;)V\" isStatic=\"false\" role=\"METHOD_CALLED\">\n"
  27                         + "<SourceLine classname=\"java.io.PrintWriter\" start=\"131\" end=\"132\" startBytecode=\"0\" endBytecode=\"62\" sourcefile=\"PrintWriter.java\" sourcepath=\"java/io/PrintWriter.java\"/>\n"
  28                         + "</Method>\n"
  29                         + "<SourceLine classname=\"net.jaekl.cfb.CFB\" start=\"114\" end=\"114\" startBytecode=\"22\" endBytecode=\"22\" sourcefile=\"CFB.java\" sourcepath=\"net/jaekl/cfb/CFB.java\"/>\n"
  30                         + "</BugInstance>\n";
  31
  32         private static final String RCN_REDUNDANT_NULL_CHECK = ""
  33                         + "<BugInstance type=\"RCN_REDUNDANT_NULLCHECK_OF_NONNULL_VALUE\" priority=\"2\" rank=\"18\" abbrev=\"RCN\" category=\"STYLE\">\n"
  34                         + "<Class classname=\"net.jaekl.cfb.CFB\">\n"
  35                         + "<SourceLine classname=\"net.jaekl.cfb.CFB\" start=\"32\" end=\"119\" sourcefile=\"CFB.java\" sourcepath=\"net/jaekl/cfb/CFB.java\"/>\n"
  36                         + "</Class>\n"
  37                         + "<Method classname=\"net.jaekl.cfb.CFB\" name=\"doMain\" signature=\"(Ljava/io/PrintWriter;[Ljava/lang/String;)V\" isStatic=\"false\">\n"
  38                         + "<SourceLine classname=\"net.jaekl.cfb.CFB\" start=\"96\" end=\"109\" startBytecode=\"0\" endBytecode=\"407\" sourcefile=\"CFB.java\" sourcepath=\"net/jaekl/cfb/CFB.java\"/>\n"
  39                         + "</Method>\n"
  40                         + "<LocalVariable name=\"con\" register=\"5\" pc=\"44\" role=\"LOCAL_VARIABLE_VALUE_OF\"/>\n"
  41                         + "<Method classname=\"net.jaekl.cfb.db.driver.DbDriver\" name=\"connect\" signature=\"(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;Ljava/lang/String;)Ljava/sql/Connection;\" isStatic=\"false\" role=\"METHOD_RETURN_VALUE_OF\">\n"
  42                         + "<SourceLine classname=\"net.jaekl.cfb.db.driver.DbDriver\" sourcefile=\"DbDriver.java\" sourcepath=\"net/jaekl/cfb/db/driver/DbDriver.java\"/>\n"
  43                         + "</Method>\n"
  44                         + "<SourceLine classname=\"net.jaekl.cfb.CFB\" start=\"101\" end=\"101\" startBytecode=\"46\" endBytecode=\"46\" sourcefile=\"CFB.java\" sourcepath=\"net/jaekl/cfb/CFB.java\" role=\"SOURCE_REDUNDANT_NULL_CHECK\"/>\n"
  45                         + "</BugInstance>\n";
  46
  47         /*
  48         private static String VO_VOLATILE_INCREMENT = ""
  49                         + "<BugInstance type=\"VO_VOLATILE_INCREMENT\" priority=\"2\" abbrev=\"VO\" category=\"MT_CORRECTNESS\">"
  50                         + "<Class classname=\"junit.extensions.ActiveTestSuite\">"
  51                         + "<SourceLine classname=\"junit.extensions.ActiveTestSuite\" sourcefile=\"ActiveTestSuite.java\" sourcepath=\"junit/extensions/ActiveTestSuite.java\"/>"
  52                         + "</Class>"
  53                         + "<Method classname=\"junit.extensions.ActiveTestSuite\" name=\"runFinished\" signature=\"()V\" isStatic=\"false\">"
  54                         + "<SourceLine classname=\"junit.extensions.ActiveTestSuite\" start=\"67\" end=\"69\" startBytecode=\"0\" endBytecode=\"64\" sourcefile=\"ActiveTestSuite.java\" sourcepath=\"junit/extensions/ActiveTestSuite.java\"/>"
  55                         + "</Method>"
  56                         + "<Field classname=\"junit.extensions.ActiveTestSuite\" name=\"fActiveTestDeathCount\" signature=\"I\" isStatic=\"false\">"
  57                         + "<SourceLine classname=\"junit.extensions.ActiveTestSuite\" sourcefile=\"ActiveTestSuite.java\" sourcepath=\"junit/extensions/ActiveTestSuite.java\"/>"
  58                         + "</Field>"
  59                         + "<SourceLine classname=\"junit.extensions.ActiveTestSuite\" start=\"67\" end=\"67\" startBytecode=\"7\" endBytecode=\"7\" sourcefile=\"ActiveTestSuite.java\" sourcepath=\"junit/extensions/ActiveTestSuite.java\"/>"
  60                         + "</BugInstance>";
  61         */
  62
  63         private static final String DM_NUMBER_CTOR_156 = ""
  64                         + "<BugInstance type=\"DM_NUMBER_CTOR\" priority=\"2\" abbrev=\"Bx\" category=\"PERFORMANCE\">"
  65                         + "<Class classname=\"junit.framework.Assert\">"
  66                         + "<SourceLine classname=\"junit.framework.Assert\" sourcefile=\"Assert.java\" sourcepath=\"junit/framework/Assert.java\"/>"
  67                         + "</Class>"
  68                         + "<Method classname=\"junit.framework.Assert\" name=\"assertEquals\" signature=\"(Ljava/lang/String;BB)V\" isStatic=\"true\">"
  69                         + "<SourceLine classname=\"junit.framework.Assert\" start=\"156\" end=\"157\" startBytecode=\"0\" endBytecode=\"86\" sourcefile=\"Assert.java\" sourcepath=\"junit/framework/Assert.java\"/>"
  70                         + "</Method>"
  71                         + "<Method classname=\"java.lang.Byte\" name=\"&lt;init&gt;\" signature=\"(B)V\" isStatic=\"false\" role=\"METHOD_CALLED\">"
  72                         + "<SourceLine classname=\"java.lang.Byte\" start=\"307\" end=\"309\" startBytecode=\"0\" endBytecode=\"41\" sourcefile=\"Byte.java\" sourcepath=\"java/lang/Byte.java\"/>"
  73                         + "</Method>"
  74                         + "<Method classname=\"java.lang.Byte\" name=\"valueOf\" signature=\"(B)Ljava/lang/Byte;\" isStatic=\"true\" role=\"SHOULD_CALL\">"
  75                         + "<SourceLine classname=\"java.lang.Byte\" start=\"87\" end=\"87\" startBytecode=\"0\" endBytecode=\"33\" sourcefile=\"Byte.java\" sourcepath=\"java/lang/Byte.java\"/>"
  76                         + "</Method>"
  77                         + "<SourceLine classname=\"junit.framework.Assert\" start=\"156\" end=\"156\" startBytecode=\"6\" endBytecode=\"6\" sourcefile=\"Assert.java\" sourcepath=\"junit/framework/Assert.java\"/>"
  78                         + "</BugInstance>";
  79
  80         private static final String DM_NUMBER_CTOR_169 = ""
  81                         + "<BugInstance type=\"DM_NUMBER_CTOR\" priority=\"2\" abbrev=\"Bx\" category=\"PERFORMANCE\">"
  82                         + "<Class classname=\"junit.framework.Assert\">"
  83                         + "<SourceLine classname=\"junit.framework.Assert\" sourcefile=\"Assert.java\" sourcepath=\"junit/framework/Assert.java\"/>"
  84                         + "</Class>"
  85                         + "<Method classname=\"junit.framework.Assert\" name=\"assertEquals\" signature=\"(Ljava/lang/String;CC)V\" isStatic=\"true\">"
  86                         + "<SourceLine classname=\"junit.framework.Assert\" start=\"169\" end=\"170\" startBytecode=\"0\" endBytecode=\"86\" sourcefile=\"Assert.java\" sourcepath=\"junit/framework/Assert.java\"/>"
  87                         + "</Method>"
  88                         + "<Method classname=\"java.lang.Character\" name=\"&lt;init&gt;\" signature=\"(C)V\" isStatic=\"false\" role=\"METHOD_CALLED\">"
  89                         + "<SourceLine classname=\"java.lang.Character\" start=\"2056\" end=\"2058\" startBytecode=\"0\" endBytecode=\"41\" sourcefile=\"Character.java\" sourcepath=\"java/lang/Character.java\"/>"
  90                         + "</Method>"
  91                         + "<Method classname=\"java.lang.Character\" name=\"valueOf\" signature=\"(C)Ljava/lang/Character;\" isStatic=\"true\" role=\"SHOULD_CALL\">"
  92                         + "<SourceLine classname=\"java.lang.Character\" start=\"2085\" end=\"2088\" startBytecode=\"0\" endBytecode=\"52\" sourcefile=\"Character.java\" sourcepath=\"java/lang/Character.java\"/>"
  93                         + "</Method>"
  94                         + "<SourceLine classname=\"junit.framework.Assert\" start=\"169\" end=\"169\" startBytecode=\"6\" endBytecode=\"6\" sourcefile=\"Assert.java\" sourcepath=\"junit/framework/Assert.java\"/>"
  95                         + "</BugInstance>";
  96
  97         private static final String PROLOGUE = ""
  98                         + "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n"
  99                         + "<BugCollection version=\"3.0.1\" sequence=\"0\" timestamp=\"1440757060000\" analysisTimestamp=\"1440761315847\" release=\"\">\n"
 100                         + "<Project projectName=\"CFB\">\n"
 101                         + "<Jar>/home/chris/prog/././cfb/bin</Jar>\n"
 102                         + "<SrcDir>/home/chris/prog/././cfb/src</SrcDir>\n"
 103                         + "</Project>\n";
 104
 105         private static final String EPILOGUE = ""
 106                         + "</BugCollection>\n";
 107
 108         private Analysis analysisFromXml(String xml, String projectName, String version)
 109                 throws FileNotFoundException, IOException, SAXException
 110         {
 111                 Analysis analysis = new Analysis(projectName, version);
 112                 ByteArrayInputStream bais = new ByteArrayInputStream(xml.getBytes(Command.UTF_8));
 113                 InputSource inputSource = new InputSource(bais);
 114                 analysis.parse(inputSource);
 115
 116                 return analysis;
 117         }
 118
 119         private HashSet<String> buildSet(String[][] bugSpecs, int from, int to)
 120         {
 121                 HashSet<String> set = new HashSet<String>();
 122                 for (int i = from; i <= to; ++i) {
 123                         set.add(bugSpecs[i][1]);
 124                 }
 125
 126                 return set;
 127         }
 128
 129         private String buildXml(String[][] bugSpecs, int from, int to)
 130         {
 131                 StringBuilder sb = new StringBuilder(PROLOGUE);
 132                 for (int i = from; i <= to; ++i) {
 133                         sb.append(bugSpecs[i][0]);
 134                 }
 135                 sb.append(EPILOGUE);
 136
 137                 return sb.toString();
 138         }
 139
 140         private boolean contains(BugInstance[] bugs, String bugName)
 141         {
 142                 for (BugInstance bug : bugs) {
 143                         if (bugName.equals(bug.getType())) {
 144                                 return true;
 145                         }
 146                 }
 147                 return false;
 148         }
 149
 150         private void execDeltaForRanges (String[][] bugSpecs, int w, int x, int y, int z) throws FileNotFoundException, IOException, SAXException
 151         {
 152                 final String PROJECT_NAME = "ProjectName";
 153                 String firstXml = buildXml(bugSpecs, w, x);
 154                 String secondXml = buildXml(bugSpecs, y, z);
 155                 HashSet<String> firstSet = buildSet(bugSpecs, w, x);
 156                 HashSet<String> secondSet = buildSet(bugSpecs, y, z);
 157
 158                 Analysis first = analysisFromXml(firstXml, PROJECT_NAME, "1.0.1");
 159                 Analysis second = analysisFromXml(secondXml, PROJECT_NAME, "1.0.2");
 160
 161                 assertNotNull(first);
 162                 assertNotNull(second);
 163
 164                 Delta delta = new Delta(first, second);
 165
 166                 for (int i = 0; i < bugSpecs.length; ++i) {
 167                         String bugName = bugSpecs[i][1];
 168                         if (firstSet.contains(bugName) && secondSet.contains(bugName)) {
 169                                 assertTrue(contains(delta.getCommon(), bugName));
 170                                 assertFalse(contains(delta.getFixed(), bugName));
 171                                 assertFalse(contains(delta.getNew(), bugName));
 172                         }
 173                         else if (firstSet.contains(bugName) && !secondSet.contains(bugName)) {
 174                                 assertFalse(contains(delta.getCommon(), bugName));
 175                                 assertTrue(contains(delta.getFixed(), bugName));
 176                                 assertFalse(contains(delta.getNew(), bugName));
 177                         }
 178                         else if (!firstSet.contains(bugName) && secondSet.contains(bugName)) {
 179                                 assertFalse(contains(delta.getCommon(), bugName));
 180                                 assertFalse(contains(delta.getFixed(), bugName));
 181                                 assertTrue(contains(delta.getNew(), bugName));
 182                         }
 183                         else if (!firstSet.contains(bugName) && !secondSet.contains(bugName)) {
 184                                 assertFalse(contains(delta.getCommon(), bugName));
 185                                 assertFalse(contains(delta.getFixed(), bugName));
 186                                 assertFalse(contains(delta.getNew(), bugName));
 187                         }
 188                 }
 189         }
 190
 191         @Test
 192         public void test_computeDeltas() throws FileNotFoundException, IOException, SAXException {
 193                 String[][] bugSpecs = {
 194                                 { DM_DEFAULT_ENCODING, "DM_DEFAULT_ENCODING" },
 195                                 { RCN_REDUNDANT_NULL_CHECK, "RCN_REDUNDANT_NULLCHECK_OF_NONNULL_VALUE" },
 196                                 { DM_NUMBER_CTOR_156, "DM_NUMBER_CTOR" },
 197                                 { DM_NUMBER_CTOR_169, "DM_NUMBER_CTOR" }
 198                 };
 199
 200                 for (int w = 0; w < bugSpecs.length; ++w) {
 201                         for (int x = w + 1; x < bugSpecs.length; ++x) {
 202                                 for (int y = 0; y < bugSpecs.length; ++y) {
 203                                         for (int z = y + 1; z < bugSpecs.length; ++z) {
 204                                                 execDeltaForRanges(bugSpecs, w, x, y, z);
 205                                         }
 206                                 }
 207                         }
 208                 }
 209         }
 210
 211 }