About:
HOL-TestGen allows one to write test specifications in Higher-order logics (HOL). It can (semi-) automatically partition the input space, resulting in abstract test cases, and automatically select concrete test data. Automatic generation of test harnesses (in SML) is supported, and using a foreign language interface, implementations in arbitrary languages (e.g. C) can be tested.

Author:
Achim D. Brucker [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://www.brucker.ch/projects/hol-testgen/
Tar/GZ:
http://www.brucker.ch/[..]estgen/download/hol-testgen-1.4.0.tar.gz
Changelog:
http://www.brucker.ch/projects/hol-testgen/download/ChangeLog
Debian package:
http://www.brucker.ch/projects/hol-testgen/

Trove categories: [change]

[Intended Audience]		Developers
[License]		DFSG approved, OSI Approved :: BSD License (revised), OSI Approved :: GNU General Public License (GPL)
[Programming Language]		ML
[Topic]		Software Development :: Testing

Dependencies: [change]
Isabelle (Default branch) (required)
Proof General (Default branch) (recommended)
[download links]

 Branches

Branch	Version	Last release	License	URLs
Default	1.4.0	19-Jun-2008	BSD License (revised)