Fix bugs in test cases
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Thu, 06 Dec 2012 16:04:03 +0000
changeset 5307 bd6965a4732a
parent 5306 86476cc3634d
child 5308 c1859363f613
Fix bugs in test cases
testcases/all-tests.txt
testcases/process.html
testcases/provn-tests.txt
testcases/provo/prov-o-property-hadUsage-FAIL.provn
testcases/rdf-tests.txt
testcases/xml-tests.txt
--- a/testcases/all-tests.txt	Thu Dec 06 15:40:22 2012 +0000
+++ b/testcases/all-tests.txt	Thu Dec 06 16:04:03 2012 +0000
@@ -514,9 +514,9 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-FAIL.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-FAIL.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-FAIL.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-PASS.provx
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.ttl
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provn
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provx
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provx
--- a/testcases/process.html	Thu Dec 06 15:40:22 2012 +0000
+++ b/testcases/process.html	Thu Dec 06 16:04:03 2012 +0000
@@ -2669,11 +2669,11 @@
     </td>
   </tr> 
   <tr>
-    <td id="prov-o-class-Derivation-PASS"><a class="internalDFN" href="#prov-o-class-Derivation-PASS">prov-o-class-Derivation-PASS</a></td>
-    <td>
-      <a href="provo/prov-o-class-Derivation-PASS.ttl" title="prov-o-class-Derivation-PASS.ttl">RDF</a>
-      <a href="provo/prov-o-class-Derivation-PASS.provn" title="prov-o-class-Derivation-PASS.provn">PROV-N</a>
-      <a href="provo/prov-o-class-Derivation-PASS.provx" title="prov-o-class-Derivation-PASS.provx">XML</a>
+    <td id="prov-o-class-Derivation-FAIL"><a class="internalDFN" href="#prov-o-class-Derivation-FAIL">prov-o-class-Derivation-FAIL</a></td>
+    <td>
+      <a href="provo/prov-o-class-Derivation-FAIL.ttl" title="prov-o-class-Derivation-FAIL.ttl">RDF</a>
+      <a href="provo/prov-o-class-Derivation-FAIL.provn" title="prov-o-class-Derivation-FAIL.provn">PROV-N</a>
+      <a href="provo/prov-o-class-Derivation-FAIL.provx" title="prov-o-class-Derivation-FAIL.provx">XML</a>
     </td>
   </tr> 
   <tr>
--- a/testcases/provn-tests.txt	Thu Dec 06 15:40:22 2012 +0000
+++ b/testcases/provn-tests.txt	Thu Dec 06 16:04:03 2012 +0000
@@ -171,7 +171,7 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-FAIL.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-PASS.provn
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.provn
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.provn
--- a/testcases/provo/prov-o-property-hadUsage-FAIL.provn	Thu Dec 06 15:40:22 2012 +0000
+++ b/testcases/provo/prov-o-property-hadUsage-FAIL.provn	Thu Dec 06 16:04:03 2012 +0000
@@ -1,16 +1,9 @@
 document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
-default <>
-prefix prov <http://www.w3.org/ns/prov#>
-prefix def <http://example.com/>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
-entity(def:proteinSample)
-entity(def:digestedProteinSample1)
-wasDerivedFrom(def:digestedProteinSample1, def:proteinSample)
-wasDerivedFrom(def:digestedProteinSample1, -, -, -, node17d8sv8mjx2)
-used(-,def:Trypsin,-,[prov:role="http://example.com/treatmentEnzyme" %% xsd:string, prov:role="[email protected][
-  ref={http://example.com/}treatmentEnzyme
-]" %% prov:unknownLiteral])
+  default <http://example.com/>
+
+  entity(proteinSample)
+  entity(digestedProteinSample1)
+  wasDerivedFrom(digestedProteinSample1, proteinSample, -)
+  wasDerivedFrom(digestedProteinSample1, -, -, u1)
+  used(u1; -, Trypsin, -,[prov:role='treatmentEnzyme'])
 endDocument
\ No newline at end of file
--- a/testcases/rdf-tests.txt	Thu Dec 06 15:40:22 2012 +0000
+++ b/testcases/rdf-tests.txt	Thu Dec 06 16:04:03 2012 +0000
@@ -168,7 +168,7 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-FAIL.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-PASS.ttl
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.ttl
--- a/testcases/xml-tests.txt	Thu Dec 06 15:40:22 2012 +0000
+++ b/testcases/xml-tests.txt	Thu Dec 06 16:04:03 2012 +0000
@@ -171,7 +171,7 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.provx
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.provx
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-FAIL.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-PASS.provx
+http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provx
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provx
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.provx
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.provx