resolutioninferenceenginetests.java

Mandarax是一个规则引擎的纯Java实现。它支持多类型的事实和基于反映的规则

/*
 * Copyright (C) 1999-2004 <A href="http://www-ist.massey.ac.nz/JBDietrich" target="_top">Jens Dietrich</a>
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */
package test.org.mandarax.reference;

import junit.framework.Test;
import junit.framework.TestSuite;

import org.apache.log4j.BasicConfigurator;


/**
 * Defines a test suite for all tests testing the resolution inference engine.
 * The engine is tested together with both knowledge bases, KnowledgeBase and
 * AdvancedKnowledgeBase.
 * @see org.mandarax.reference.ResolutionInferenceEngine
 * @see org.mandarax.reference.KnowledgeBase
 * @see org.mandarax.reference.AdvancedKnowledgeBase
 * @author <A href="http://www-ist.massey.ac.nz/JBDietrich" target="_top">Jens Dietrich</A>
 * @version 3.4 <7 March 05>
 * @since 1.2
 */
public class ResolutionInferenceEngineTests {

	/**
	 * Launch the test suite. See TestRunner for interpretation
	 * of command line parameters.
	 * @see test.org.mandarax.testsupport.TestRunner
	 * @param args parameters
	 */
	public static void main(String[] args) {
		// first init log4j
		BasicConfigurator.configure();
		test.org.mandarax.testsupport.TestRunner.run(ResolutionInferenceEngineTests.class, args);
	}

	/**
	 * Get the test suite.
	 * @return the test suite
	 */
	public static Test suite() {
		TestSuite suite = new TestSuite("Test cases for the mandarax reference implementation(s) of a resolution inference engine");

		// testing all inference engine / knowledge base combinations
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE);
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_ADVANCED_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE);
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE2);
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_ADVANCED_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE2);		
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE3);
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_ADVANCED_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE3);	
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE4);
		addIETests4OneResult(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_ADVANCED_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE4);	
		
		addIETests4MultipleResults(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE2);		
		addIETests4MultipleResults(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_ADVANCED_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE2);		
		addIETests4MultipleResults(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE3);		
		addIETests4MultipleResults(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_ADVANCED_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE3);
		addIETests4MultipleResults(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE4);		
		addIETests4MultipleResults(suite,KnowledgeBaseFactory.ORG_MANDARAX_REFERENCE_ADVANCED_KNOWLEDGE_BASE,InferenceEngineFactory.ORG_MANDARAX_REFERENCE_RESOLUTION_INFERENCE_ENGINE4);
		
		return suite;
	}
	/** 
	 * Add tests for the combination knowledge base/ inference engine to a test suite.
	 * @param suite a test suite
	 * @param kbFact a knowledge base factory
	 * @param ieFact an inference engine factory
	 */ 
	private static void addIETests4OneResult(TestSuite suite,KnowledgeBaseFactory kbFact,InferenceEngineFactory ieFact) {
		suite.addTest(new TestInferenceEngine1(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine2(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine3(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine4(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine5(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine6(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine7(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine8(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine9(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine10(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine11(kbFact.createKB(),ieFact.createIE()));	
		suite.addTest(new TestInferenceEngine12(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine13(kbFact.createKB(),ieFact.createIE()));		
		suite.addTest(new TestInferenceEngine14(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine15(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine16(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine17(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestResultSet1(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestResultSet2(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestResultSet3(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestResultSet4(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestResultSet5(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestResultSet6(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestResultSet7(kbFact.createKB(),ieFact.createIE()));	
		
		// new in 3.3
		suite.addTest(new TestRecursion1("test1",kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestRecursion1("test2",kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestRecursion1("test3",kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestRecursion1("test4",kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestRecursion1("test5",kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestRecursion1("test6",kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestRecursion1("test7",kbFact.createKB(),ieFact.createIE()));
		
		// new in 3.3.1
		// suite.addTest(new TestComplexTerm("testComplexTerm1",kbFact.createKB(),ieFact.createIE())); WARNING: this is not supported by current IE implementations (Jens, March 05) !!	
		suite.addTest(new TestComplexTerm("testComplexTerm2",kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestComplexTerm("testComplexTerm3",kbFact.createKB(),ieFact.createIE()));
		
	}
	/** 
	 * Add tests for the combination knowledge base/ inference engine to a test suite.
	 * @param suite a test suite
	 * @param kbFact a knowledge base factory
	 * @param ieFact an inference engine factory
	 */ 
	private static void addIETests4MultipleResults(TestSuite suite,KnowledgeBaseFactory kbFact,InferenceEngineFactory ieFact) {
		suite.addTest(new TestInferenceEngine4MultipleResults1(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine4MultipleResults2(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine4MultipleResults3(kbFact.createKB(),ieFact.createIE()));
		suite.addTest(new TestInferenceEngine4MultipleResults4(kbFact.createKB(),ieFact.createIE()));		
		
	}
	
	
}