Testing for XSB Releases
We provide here our checklist for release testing of XSB in order to
help users understand whether an interim release may be suitable for
them to download. All of the tests below are run for each full
release (usually), and most are run for interim releases.
The main tests involved are
The sequential XSB test suite, which contains about 70,000+ lines of
code. This test suite tests tabling and non-tabling features of XSB's
core engine and code, along with libraries and packages. It can be
obtained through checking out the module xsbtests through anonymous
The multi-threaded XSB test suite, which tests thread-safety
and concurrency features for the core engine and libraries, along with
threading, mutex, and message queue predicates. It contains about
6000 lines of code, and can be obtained by checking out the
module mttests through anonymous CVS.
The garbage-collection test, in which the sequential test suite is run
with heap garbage collection invoked every 100 or so WAM instructions.
The Flora-2 test suite, developed as part of Flora-2, indirectly tests a number of features of XSB.
- The sequential test suite under the following configurations is
run on Mac OS X, Linux, Windows-Cygwin and Windows-MSVC
- 32-bit mode, single-threaded, local evaluation
- 32-bit mode, multi-threaded, local evaluation
- 32-bit mode, single-threaded, batched evaluation
- The multi-theaded test suite, configured for 32-bit mode local
evaluation, is run on Mac OS X, Linux, Windows-Cygwin and Windows-MSVC
- The sequential test suite is run under the following
configurations on Mac OS X and Linux
- 64-bit mode, single-threaded, local evaluation
- 64-bit mode, multi-threaded, local evaluation
- 64-bit mode, single-threaded, batched evaluation
- The multi-theaded test suite is run configured for 64-bit mode and
local evaluation is run under Mac OS X and Linux
- The garbage-collection test of local evaluation are also run on
Windows and a Unix platform for 32-bit mode, single-threaded, local
The Flora-2 test suite is run in 32-bit mode on the single-threaded and multi-threaded engines under local evaluation.
Last modified: $Id: testing.html,v 1.1 2009/03/08 15:15:37 tswift Exp $