Menu

Tree [r2] /
 History

HTTPS access


File Date Author Commit
 README.txt 2009-11-12 osallou [r2] Set 2 unix format, modify predicate calls in as...
 out.xml 2009-11-09 osallou [r1] Src import
 plunittest.pro 2009-11-12 osallou [r2] Set 2 unix format, modify predicate calls in as...
 sampleUnit.pro 2009-11-12 osallou [r2] Set 2 unix format, modify predicate calls in as...

Read Me

/*****************************

	PROLOGUNIT
	
	License: CECILL v2
	
	Author: Olivier Sallou - IRISA

	Version: 1.0.1


******************************/

PLUNITTEST is a simple unit test framework for Prolog.
It has been tested with Sicstus prolog but should work without issue (or easy modifications) with other Prolog implementations.
The goal is to give a framework facility to implement automated unit testing of prolog programs via continuous integration tools. It generates an XML file compliant with Junit MXL output (though not such complete).
It implements a few test functions to be used in a Prolog test file.
It supports:
assertTrue, assertFalse, assertEqual.

The file sampleUnit.pro is a sample prolog program that loads the framework and executes some basic tests.
It takes as input the path to the framework library and path to the output file:
execute with: sicstus -l sampleUnit.pro -a ./out.xml ./plunittest.pro

It has been successfuly integrated with Hudson via an ant build file execuing the command line and generating the XML result file.