Unit Testing DefeasibleKB

raouf2ouf / DEFT

DEFT is an opensource Java tool for Defeasible Datalog+/- reasoning.

https://hamhec.github.io/DEFT/

GNU General Public License v3.0

6 stars 1 forks source link

Open raouf2ouf opened 8 years ago

raouf2ouf commented 8 years ago

For any change to be made to the existing code for restructuring, some essential unit test must be put in place, namely:

[ ] Defeasible Atom Parsing.
[ ] Defeasible Rule Parsing.
[ ] DefeasibleKB File vs Explicit instantiation (test strict/defeasible rules/atoms).
[ ] DefeasibleKB File vs Explicit Instantiation (test GAD and ArgumentationFramework behaviour).
[ ] Make sure that order of rules and atoms does not affect entailement.

raouf2ouf commented 8 years ago

Implemented Unit Test:

[x] Defeasible Atom Parsing. (Always failing at the moment),
[x] Defeasible Rule Parsing.
[x] DefeasibleKB File vs Explicit instantiation (test strict/defeasible rules/atoms).
[ ] DefeasibleKB File vs Explicit Instantiation (test GAD and ArgumentationFramework behaviour).
[ ] Make sure that order of rules and atoms does not affect entailment.

raouf2ouf commented 8 years ago

Implemented Unit Test:

[x] Defeasible Atom Parsing. (Always failing at the moment),
[x] Defeasible Rule Parsing.
[x] DefeasibleKB File vs Explicit instantiation (test strict/defeasible rules/atoms).
[x] DefeasibleKB File vs Explicit Instantiation (test GAD and ArgumentationFramework behaviour).
[x] Thorough Entailment tests.
[x] Make sure atoms order in NegativeConstaint has no effect.
[ ] Make sure that order of rules and atoms does not affect entailment.
[ ] Test preferences.

raouf2ouf commented 8 years ago

Implemented Unit Test:

[x] Defeasible Atom Parsing. (Always failing at the moment),
[x] Defeasible Rule Parsing.
[x] DefeasibleKB File vs Explicit instantiation (test strict/defeasible rules/atoms).
[x] DefeasibleKB File vs Explicit Instantiation (test GAD and ArgumentationFramework behaviour).
[x] Thorough Entailment tests.
[x] Make sure atoms order in NegativeConstaint has no effect.
[x] Make sure that order of rules and atoms does not affect entailment.
[ ] Test preferences.
[ ] Test GAD derivation loss.