Package tuffy.test

This package includes testing codes for tuffy.

See:
          Description

Class Summary
AtomTest Testing class for Atom object.
ClauseTest Testing Class for Clause object.
ConfigTest Testing class for loading configuration file.
GAtomTest Testing class for GAtom object.
GClauseTest Testing class for GClause object.
GroundingTest Testing class for grounding.
InferenceTest Testing class for Inference.
LearnerTest Testing class for Learner.
LiteralTest Testing class for Literal class.
ParsingLoadingTest Testing class for parsing and loading.
PredicateTest Testing class for Predicate object.
TermTest Testing class for Term class.
TupleTest Testing class for Tuple object.
TypeTest Testing class of Type object.
 

Package tuffy.test Description

This package includes testing codes for tuffy. These tests are grouped into two categories.

Unit Testing

Testings in this group intend to test the basic data structure of Tuffy. In Tuffy, the whole system is built upon classes referring to logic or mathematical objects, e.g., Predicate, Atom, etc. All these objects are associated with several operations, e.g., a Clause object can ``absorb'' another Clause object with the same pattern. Testings in this category try to make sure such functionality works consistently with their definition and designing goals. Following classes belong to this category:

System Testing

Testings in this group intend to test the functionality of the whole Tuffy system. While Unit Testing tested the blocks of building Tuffy, testings in this group make them together. Two functions of Tuffy are tested here: Following classes belong to this category: