HOL-TestGen

1.7.0 GPL (GNU General Public License)    
3.5/5 16

description

download

specs

changelog

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.

HOL-OCL is free software; you can redistribute it and/or modify it under the terms of the GPL. HOL-TestGen project is developed by Achim D. Brucker and Burkhart Wolff.
read more   
Last updated on October 19th, 2012
HOL-TestGen

0 User reviews so far.

SUBMIT
A test case generator for specification based unit testing

  1,327 downloads

#test case generator #test generator #HOL-TestGen #test #case #generator