Software Details:
Version: 1.7.0
Upload Date: 20 Feb 15
Distribution Type: Freeware
Downloads: 15
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.
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.
What is 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.
Comments not found