You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@marmotta.apache.org by ss...@apache.org on 2013/09/06 16:21:42 UTC

[3/3] git commit: more justification testing

more justification testing


Project: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/repo
Commit: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/commit/408be3d5
Tree: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/tree/408be3d5
Diff: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/diff/408be3d5

Branch: refs/heads/develop
Commit: 408be3d55c2e97b30fe0fb29ec2499ced3ea2135
Parents: 10f71b4
Author: Sebastian Schaffert <ss...@apache.org>
Authored: Fri Sep 6 16:21:40 2013 +0200
Committer: Sebastian Schaffert <ss...@apache.org>
Committed: Fri Sep 6 16:21:40 2013 +0200

----------------------------------------------------------------------
 .../reasoner/test/model/JustificationTest.java  | 112 ++++++++++++-------
 1 file changed, 71 insertions(+), 41 deletions(-)
----------------------------------------------------------------------


http://git-wip-us.apache.org/repos/asf/incubator-marmotta/blob/408be3d5/libraries/kiwi/kiwi-reasoner/src/test/java/org/apache/marmotta/kiwi/reasoner/test/model/JustificationTest.java
----------------------------------------------------------------------
diff --git a/libraries/kiwi/kiwi-reasoner/src/test/java/org/apache/marmotta/kiwi/reasoner/test/model/JustificationTest.java b/libraries/kiwi/kiwi-reasoner/src/test/java/org/apache/marmotta/kiwi/reasoner/test/model/JustificationTest.java
index b0a5ef9..086f2e8 100644
--- a/libraries/kiwi/kiwi-reasoner/src/test/java/org/apache/marmotta/kiwi/reasoner/test/model/JustificationTest.java
+++ b/libraries/kiwi/kiwi-reasoner/src/test/java/org/apache/marmotta/kiwi/reasoner/test/model/JustificationTest.java
@@ -11,9 +11,7 @@ import org.junit.Test;
 import org.openrdf.model.URI;
 import org.openrdf.model.Value;
 
-import java.util.ArrayList;
-import java.util.List;
-import java.util.Random;
+import java.util.*;
 
 /**
  * Test critical functionality of justification objects, primarily equals and similar
@@ -31,12 +29,6 @@ public class JustificationTest {
 
     private KiWiUriResource ctx_inferred;
 
-
-    private List<KiWiUriResource> resources = new ArrayList<>();
-
-    private List<KiWiNode> objects = new ArrayList<>();
-
-
     @Before
     public void setup() {
         KiWiUriResource s1 = randomURI();
@@ -99,19 +91,63 @@ public class JustificationTest {
     }
 
 
+    @Test
+    public void testJustificationSet() {
+        Set<Justification> set = new HashSet<>();
+
+        Justification j1 = new Justification();
+        j1.setTriple(i1);
+        j1.getSupportingTriples().add(t1);
+        j1.getSupportingTriples().add(t4);
+        set.add(j1);
+
+        Justification j2 = new Justification();
+        j2.setTriple(i4);
+        j2.getSupportingTriples().add(t4);
+        j2.getSupportingTriples().add(t1);
+
+        Assert.assertTrue(set.contains(j2));
+
+        set.add(j2);
+
+        Assert.assertEquals(1, set.size());
+
+
+        // j3 differs in the inferred triple
+        Justification j3 = new Justification();
+        j3.setTriple(i2);
+        j3.getSupportingTriples().add(t4);
+        j3.getSupportingTriples().add(t1);
+
+        Assert.assertFalse(set.contains(j3));
+
+        set.add(j3);
+
+        Assert.assertEquals(2, set.size());
+
+
+        // j4 differs in the supporting triples
+        Justification j4 = new Justification();
+        j4.setTriple(i1);
+        j4.getSupportingTriples().add(t2);
+        j4.getSupportingTriples().add(t4);
+
+        Assert.assertFalse(set.contains(j4));
+
+        set.add(j4);
+
+        Assert.assertEquals(3, set.size());
+    }
+
+
+
     /**
      * Return a random URI, with a 10% chance of returning a URI that has already been used.
      * @return
      */
     protected KiWiUriResource randomURI() {
-        if(resources.size() > 0 && rnd.nextInt(10) == 0) {
-            // return a resource that was already used
-            return resources.get(rnd.nextInt(resources.size()));
-        } else {
-            KiWiUriResource resource = new KiWiUriResource("http://localhost/" + RandomStringUtils.randomAlphanumeric(8));
-            resources.add(resource);
-            return resource;
-        }
+        KiWiUriResource resource = new KiWiUriResource("http://localhost/" + RandomStringUtils.randomAlphanumeric(8));
+        return resource;
     }
 
     /**
@@ -119,31 +155,25 @@ public class JustificationTest {
      * @return
      */
     protected KiWiNode randomObject() {
-        if(objects.size() > 0 && rnd.nextInt(10) == 0) {
-            return objects.get(rnd.nextInt(objects.size()));
-        } else {
-            KiWiNode object;
-            switch(rnd.nextInt(6)) {
-                case 0: object = new KiWiUriResource("http://localhost/" + RandomStringUtils.randomAlphanumeric(8));
-                    break;
-                case 1: object = new KiWiAnonResource();
-                    break;
-                case 2: object = new KiWiStringLiteral(RandomStringUtils.randomAscii(40));
-                    break;
-                case 3: object = new KiWiIntLiteral(rnd.nextLong(), new KiWiUriResource(Namespaces.NS_XSD + "integer"));
-                    break;
-                case 4: object = new KiWiDoubleLiteral(rnd.nextDouble(), new KiWiUriResource(Namespaces.NS_XSD + "double"));
-                    break;
-                case 5: object = new KiWiBooleanLiteral(rnd.nextBoolean(), new KiWiUriResource(Namespaces.NS_XSD + "boolean"));
-                    break;
-                default: object = new KiWiUriResource("http://localhost/" + RandomStringUtils.randomAlphanumeric(8));
-                    break;
-
-            }
-            objects.add(object);
-            return object;
-        }
+        KiWiNode object;
+        switch(rnd.nextInt(6)) {
+            case 0: object = new KiWiUriResource("http://localhost/" + RandomStringUtils.randomAlphanumeric(8));
+                break;
+            case 1: object = new KiWiAnonResource(RandomStringUtils.randomAscii(8));
+                break;
+            case 2: object = new KiWiStringLiteral(RandomStringUtils.randomAscii(40));
+                break;
+            case 3: object = new KiWiIntLiteral(rnd.nextLong(), new KiWiUriResource(Namespaces.NS_XSD + "integer"));
+                break;
+            case 4: object = new KiWiDoubleLiteral(rnd.nextDouble(), new KiWiUriResource(Namespaces.NS_XSD + "double"));
+                break;
+            case 5: object = new KiWiBooleanLiteral(rnd.nextBoolean(), new KiWiUriResource(Namespaces.NS_XSD + "boolean"));
+                break;
+            default: object = new KiWiUriResource("http://localhost/" + RandomStringUtils.randomAlphanumeric(8));
+                break;
 
+        }
+        return object;
     }
 
 }