001: /*
002: * Copyright (C) 1999-2004 <A href="http://www-ist.massey.ac.nz/JBDietrich" target="_top">Jens Dietrich</a>
003: *
004: * This library is free software; you can redistribute it and/or
005: * modify it under the terms of the GNU Lesser General Public
006: * License as published by the Free Software Foundation; either
007: * version 2 of the License, or (at your option) any later version.
008: *
009: * This library is distributed in the hope that it will be useful,
010: * but WITHOUT ANY WARRANTY; without even the implied warranty of
011: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
012: * Lesser General Public License for more details.
013: *
014: * You should have received a copy of the GNU Lesser General Public
015: * License along with this library; if not, write to the Free Software
016: * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
017: */
018: package test.org.mandarax.reference;
019:
020: import junit.framework.Test;
021: import junit.framework.TestSuite;
022:
023: import org.apache.log4j.BasicConfigurator;
024: import org.mandarax.reference.AdvancedKnowledgeBase;
025: import org.mandarax.reference.ResolutionInferenceEngine3;
026: import org.mandarax.reference.ResolutionInferenceEngine4;
027:
028: /**
029: * Runs the tests for NAF.
030: * @author <A href="http://www-ist.massey.ac.nz/JBDietrich" target="_top">Jens Dietrich</A>
031: * @version 3.4 <7 March 05>
032: * @since 2.0
033: */
034: public class NAFTests {
035:
036: /**
037: * Launch the test suite. See TestRunner for interpretation
038: * of command line parameters.
039: * @see test.org.mandarax.testsupport.TestRunner
040: * @param args parameters
041: */
042: public static void main(String[] args) {
043: // first init log4j
044: BasicConfigurator.configure();
045: test.org.mandarax.testsupport.TestRunner.run(NAFTests.class,
046: args);
047: }
048:
049: /**
050: * Get the test suite.
051: * @return the test suite
052: */
053: public static Test suite() {
054: TestSuite suite = new TestSuite(
055: "Test cases for the mandarax reference implementation(s) of a resolution inference engine");
056:
057: suite.addTest(new TestInferenceEngineNAF1(
058: new AdvancedKnowledgeBase(),
059: new ResolutionInferenceEngine3()));
060: suite.addTest(new TestInferenceEngineNAF2(
061: new AdvancedKnowledgeBase(),
062: new ResolutionInferenceEngine3()));
063: suite.addTest(new TestInferenceEngineNAF3(
064: new AdvancedKnowledgeBase(),
065: new ResolutionInferenceEngine3()));
066: suite.addTest(new TestInferenceEngineNAF4(
067: new AdvancedKnowledgeBase(),
068: new ResolutionInferenceEngine3()));
069: suite.addTest(new TestInferenceEngineNAF5(
070: new AdvancedKnowledgeBase(),
071: new ResolutionInferenceEngine3()));
072: suite.addTest(new TestInferenceEngineNAF6(
073: new AdvancedKnowledgeBase(),
074: new ResolutionInferenceEngine3()));
075: suite.addTest(new TestInferenceEngineNAF7(
076: new AdvancedKnowledgeBase(),
077: new ResolutionInferenceEngine3()));
078: suite.addTest(new TestInferenceEngineNAF8(
079: new AdvancedKnowledgeBase(),
080: new ResolutionInferenceEngine3()));
081:
082: suite.addTest(new TestInferenceEngineNAF1(
083: new AdvancedKnowledgeBase(),
084: new ResolutionInferenceEngine4()));
085: suite.addTest(new TestInferenceEngineNAF2(
086: new AdvancedKnowledgeBase(),
087: new ResolutionInferenceEngine4()));
088: suite.addTest(new TestInferenceEngineNAF3(
089: new AdvancedKnowledgeBase(),
090: new ResolutionInferenceEngine4()));
091: suite.addTest(new TestInferenceEngineNAF4(
092: new AdvancedKnowledgeBase(),
093: new ResolutionInferenceEngine4()));
094: suite.addTest(new TestInferenceEngineNAF5(
095: new AdvancedKnowledgeBase(),
096: new ResolutionInferenceEngine4()));
097: suite.addTest(new TestInferenceEngineNAF6(
098: new AdvancedKnowledgeBase(),
099: new ResolutionInferenceEngine4()));
100: suite.addTest(new TestInferenceEngineNAF7(
101: new AdvancedKnowledgeBase(),
102: new ResolutionInferenceEngine4()));
103: suite.addTest(new TestInferenceEngineNAF8(
104: new AdvancedKnowledgeBase(),
105: new ResolutionInferenceEngine4()));
106:
107: return suite;
108: }
109:
110: }
|