HOL-TestGen 1.2.0 review

HOL-TestGen allows one to write test specifications in Higher-order logics (HOL)

License: GPL (GNU General Public License) File size: 482K Developer: Achim D. Brucker and Burkhart Wolff

0

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.

Here are some key features of "HOL TestGen":
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.

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.

What's New in This Release:
This release adds examples showing how HOL-TestGen can be used for sequence generation.
This is done using a newly-developed theory for firewalls, and thus also gives some insights about testing firewall configurations.