SourceForge has been redesigned. Learn more.
Close

Tree [c70811] master /
 History

HTTPS access


File Date Author Commit
 examples 2006-10-13 Jan Wielemaker Jan Wielemaker [b54ef1] * Better report of success that should have faled
 .gitignore 2010-12-15 Jan Wielemaker Jan Wielemaker [0eb8a5] Updated .gitignore
 .plrc 2006-08-24 Jan Wielemaker Jan Wielemaker [0cd444] * Ongoing work
 ChangeLog 2009-07-31 Jan Wielemaker Jan Wielemaker [f4d1c8] * Preparing 5.7.13
 Makefile.in 2014-02-13 Vítor Santos Costa Vítor Santos Costa [849746] big makefile cleanup
 Makefile.mak 2006-08-24 Jan Wielemaker Jan Wielemaker [40dbf7] * Windows Makefile
 README 2006-08-17 Jan Wielemaker Jan Wielemaker [495cd7] * Ongoing work
 configure.in 2010-01-31 Jan Wielemaker Jan Wielemaker [10c609] Share configure skeleton for PlUnit
 install-sh 2006-08-11 Jan Wielemaker Jan Wielemaker [6cfa1e] * Initial testing framework
 plunit.doc 2013-06-24 Jan Wielemaker Jan Wielemaker [9226cf] Avoid section id conflicts
 plunit.pl 2013-08-12 Jan Wielemaker Jan Wielemaker [0593a6] FIXED: Only share variables between options and...
 swi.pl 2014-09-13 Vítor Santos Costa Vítor Santos Costa [c70811] documentation updates
 test_cover.pl 2012-06-18 Vítor Santos Costa Vítor Santos Costa [2b4aa4] Merge branch 'master' of git://www.swi-prolog.o...
 test_wizard.pl 2012-08-01 Vítor Santos Costa Vítor Santos Costa [0bac35] Merge branch 'master' of git://www.swi-prolog.o...

Read Me

Prolog Unit Tests
=================


---++ TBD

	* Add options to test units
		- Condition, setup, cleanup, blocked [OK]
	* Run the tests on make, etc.  [OK]
	* Report generation options

---++ What to do with loaded tests?

	* Keep them around
	* Remove them
	* Flag module as `volatile', so it is not saved.

---++ Distinguish user/system/library tests

---++ Deal with seperate test-files:

	* load_test_files(+Options)

---++ Volatile modules?

---++ Conversion of system tests:

	- test.pl internals [OK]
	- scripts called from test.pl [OK]
	- tests for packages

---++ Run tests concurrently?

	+ Tests applications for concurrent execution
	+ Saves time, notably on tests doing networking, timeout, etc.
	- Might be more complicated to understand

---++ Test wizard

	* Write tests to .plt files
	* Merge with existing content of .plt files
		- Read with comments and write back?

---++ Coverage analysis

	* See cover.pl