In this section we explain our test setup:
- Test Scope: In this
section we explain what we will test. The aim of our testing is
to show compliance with the ISO standard. Since the ISO standard
does not cover all parts of Prolog systems, we will also not
test all subsystems of our Prolog system. More...
- Test Method: We will
present our test method. It is based on creating a number of
test cases for each predicate in each theory. A test runner will
then execute the test cases and summarize the results. More...
- Test Sources: We will
give credit to the sources of our test cases. The Prolog ISO
standard movement consists of some documents that have already
been adopted by the ISO. Further there exists a working group
that is involved in the defini-tion of eventual supplements. More...
- Test Harness: The test harness is written in Prolog
itself. It consists of a test runner and a test result browser,
as well as a report generator. More...
- Test Cases: The test cases are written in Prolog
itself. They consist of positive and negative test cases
according to the sources.. More...