test.wsmo4j.validator
Class ValidatorFileTests

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

All Implemented Interfaces:

junit.framework.Test

public class ValidatorFileTests
extends ValidatorTestCase

Checks if WSML files are valid and checks the error messages if not. One of the given testfiles checks only for the conceptual model, the others for the logical expressions.

 Created on Dec 19, 2005
 Committed by $Author: nathaliest $
 $Source$,
 

Version:

$Revision: 1839 $ $Date: 2006-10-05 16:09:28 +0300 (Thu, 05 Oct 2006) $

Author:

nathalie.steinmetz@deri.org

Field Summary

Fields inherited from class test.wsmo4j.validator.ValidatorTestCase

axiom, dataFactory, errors, factory, le, leFactory, leSet, ns, ontology, parser, warnings

Constructor Summary

ValidatorFileTests()

Method Summary

void	testFlightModel() This test submits a valid wsml-flight file to the validator and asserts that the validator recognizes the file as valid.
void	testInvalidConceptModel() This test submits an invalid wsml-core file to the validator.
void	testInvalidCoreModel() This test submits an invalid wsml-core file to the validator.
void	testInvalidFlightModel() This test submits an invalid wsml-flight file to the validator.
void	testInvalidRuleModel() This test submits an invalid wsml-rule file to the validator.
void	testRuleModel() This test submits a valid wsml-rule file to the validator and asserts that the validator recognizes the file as valid.
void	testValidConceptModel() This test submits a valid wsml-core file to the validator and asserts that the validator recognizes the file as valid.
void	testValidCoreModel() This test submits a valid wsml-core file to the validator and asserts that the validator recognizes the file as valid.
void	testValidDLModel() This test submits a valid wsml-dl file to the validator and asserts that the validator recognizes the file as valid.

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

ValidatorFileTests

public ValidatorFileTests()

Method Detail

testValidCoreModel

public void testValidCoreModel()
                        throws Exception

This test submits a valid wsml-core file to the validator and asserts that the validator recognizes the file as valid.

Throws:

Exception

testValidConceptModel

public void testValidConceptModel()
                           throws Exception

This test submits a valid wsml-core file to the validator and asserts that the validator recognizes the file as valid. This wsml-core test file only contains the conceptual part and no axioms.

Throws:

Exception

testInvalidConceptModel

public void testInvalidConceptModel()
                             throws Exception

This test submits an invalid wsml-core file to the validator. It gives out the received error messages and asserts that the validator recognizes the file as invalid. This wsml-core test file only contains the conceptual part and no axioms.

Throws:

Exception

testInvalidCoreModel

public void testInvalidCoreModel()
                          throws Exception

This test submits an invalid wsml-core file to the validator. It gives out the received error messages and asserts that the validator recognizes the file as invalid. The given wsml-core test file only contains errors in the axioms.

Throws:

Exception

testValidDLModel

public void testValidDLModel()
                      throws Exception

This test submits a valid wsml-dl file to the validator and asserts that the validator recognizes the file as valid.

Throws:

Exception

testFlightModel

public void testFlightModel()
                     throws Exception

This test submits a valid wsml-flight file to the validator and asserts that the validator recognizes the file as valid.

Throws:

Exception

testInvalidFlightModel

public void testInvalidFlightModel()
                            throws Exception

This test submits an invalid wsml-flight file to the validator. It gives out the received error messages and asserts that the validator recognizes the file as invalid. The given wsml-flight test file only contains errors in the axioms.

Throws:

Exception

testRuleModel

public void testRuleModel()
                   throws Exception

This test submits a valid wsml-rule file to the validator and asserts that the validator recognizes the file as valid.

Throws:

Exception

testInvalidRuleModel

public void testInvalidRuleModel()
                          throws Exception

This test submits an invalid wsml-rule file to the validator. It gives out the received error messages and asserts that the validator recognizes the file as invalid. The given wsml-rule test file only contains errors in the axioms.

Throws:

Exception