test.wsmo4j.validator
Class BugTests

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by test.wsmo4j.validator.ValidatorTestCase
              extended by test.wsmo4j.validator.BugTests
All Implemented Interfaces:
junit.framework.Test

public class BugTests
extends ValidatorTestCase

This unit test class is meant to show up bugs in the validator that need to be fixed.

 Created on Sep 19, 2006
 Committed by $Author: morcen $
 $Source$,
 

Version:
$Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $
Author:
nathalie.steinmetz@deri.org

Field Summary
 
Fields inherited from class test.wsmo4j.validator.ValidatorTestCase
axiom, dataFactory, factory, le, leFactory, leSet, ns, ontology, parser
 
Constructor Summary
BugTests()
           
 
Method Summary
 void testBuiltInInWSMLDL()
          In the following logical expression, a built-in atom is used.
 void testNoRootVariableInWSMLDL()
          In the following logical expression, the left and the right side of the implication have no common root variable.
 void testUnConnectedGraphInWSMLDL()
          In the following logical expression, ?x and ?y are not connected.
 void testUseOfBooleanInWSMLDL()
          In the following logical expression, the universal truth is used.
 
Methods inherited from class test.wsmo4j.validator.ValidatorTestCase
createAxiomDef, getOntHeader, getOntLocalName, printError, printWarning, removeAxiomDef, setUp, tearDown
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BugTests

public BugTests()
Method Detail

testUnConnectedGraphInWSMLDL

public void testUnConnectedGraphInWSMLDL()
                                  throws Exception
In the following logical expression, ?x and ?y are not connected.

Throws:
Exception

testNoRootVariableInWSMLDL

public void testNoRootVariableInWSMLDL()
                                throws Exception
In the following logical expression, the left and the right side of the implication have no common root variable.

Throws:
Exception

testUseOfBooleanInWSMLDL

public void testUseOfBooleanInWSMLDL()
                              throws Exception
In the following logical expression, the universal truth is used.

Throws:
Exception

testBuiltInInWSMLDL

public void testBuiltInInWSMLDL()
                         throws Exception
In the following logical expression, a built-in atom is used.

Throws:
Exception


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.