Test strategy

The test strategy used in ArgKit is a combination of unit tests and acceptance tests. Both sets of tests are implemented with JUnit. This section discusses the origin of the acceptance tests.


Dungine uses a set of tests defined by Gerard Vreeswijk when implementing his argument game algorithms in Ruby and PHP. The tests were generated by colleagues of Gerard's trying to break his algorithms. They provide a necessary test for the correctness of the algorithms. But no guarantee of sufficiency is implied - these tests are not exhaustive or fully representative of all argument constellations.

Defeasible Knowledge Base

Subsets of the ISO prolog tests can be used to test the correctness of the Defeasible Knowledge Base unification algorithms, and any built in predicates that are provided.