BugTests (WSMO java Implementatio 0.6.1 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

test.wsmo4j.validator
Class BugTests

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          test.wsmo4j.validator.ValidatorTestCase
              test.wsmo4j.validator.BugTests

All Implemented Interfaces:: junit.framework.Test

public class BugTests
extends ValidatorTestCase
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 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