HOL-TestGen 1.7.0

A test case generator for specification based unit testing
HOL-TestGen
  1 Screenshot
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.

Main features:

  • write test specifications in Higher-order logics (HOL)
  • (semi-) automatically partition the input space, resulting in abstract test cases
  • automatically select concrete test data
  • automatically generate test scripts (in SML)
  • using a foreign language interface, implementations in arbitrary languages (e.g. C) can be tested.

last updated on:
October 19th, 2012, 14:16 GMT
price:
FREE!
homepage:
www.brucker.ch
license type:
GPL (GNU General Public License) 
developed by:
Achim D. Brucker and Burkhart Wolff
category:
ROOT \ Programming \ Quality Assurance and Testing
HOL-TestGen
Download Button

In a hurry? Add it to your Download Basket!

user rating 16

3.5/5
 

0/5

Rate it!
What's New in This Release:
  • This version was ported to Isabelle/HOL 2011-1.
  • New examples were added.
  • The jEdit-based user interface is now used by default.
read full changelog

Add your review!

SUBMIT