HOL-TestGen is a software tool that generates test cases to help conduct unit testing based on specification.
If you're looking for a software that allows you to write test specifications in Higher-order logics (HOL), HOL-TestGen may be the perfect tool for you. This software can automatically partition the input space, resulting in abstract test cases, and then automatically select concrete test data. One of the best things about HOL-TestGen is the automatic generation of test harnesses (in SML) that it supports, which can save you a lot of time and effort.
This tool also has a foreign language interface that allows you to test implementations in arbitrary languages (e.g. C), making it a versatile option for developers. There are several key features of HOL-TestGen, including writing test specifications in HOL, semi-automatic partitioning of the input space, automatic selection of concrete test data, automatic generation of test scripts (in SML), and compatibility with arbitrary languages via a foreign language interface.
It's worth mentioning that HOL-TestGen is free software that can be redistributed and modified under the terms of the GPL. Developed by Achim D. Brucker and Burkhart Wolff, HOL-TestGen has recently undergone some updates, with the latest version using Isabelle 2008 as the underlying HOL system. Furthermore, it now provides support for a benchmarking framework and includes HOL-TestGen/FW, which is a domain specific test case generator for specification-based firewall conformance testing.
Overall, if you're in search of a software that can simplify your testing process and provide you with more accurate results, HOL-TestGen may be an excellent choice to explore.
This tool also has a foreign language interface that allows you to test implementations in arbitrary languages (e.g. C), making it a versatile option for developers. There are several key features of HOL-TestGen, including writing test specifications in HOL, semi-automatic partitioning of the input space, automatic selection of concrete test data, automatic generation of test scripts (in SML), and compatibility with arbitrary languages via a foreign language interface.
It's worth mentioning that HOL-TestGen is free software that can be redistributed and modified under the terms of the GPL. Developed by Achim D. Brucker and Burkhart Wolff, HOL-TestGen has recently undergone some updates, with the latest version using Isabelle 2008 as the underlying HOL system. Furthermore, it now provides support for a benchmarking framework and includes HOL-TestGen/FW, which is a domain specific test case generator for specification-based firewall conformance testing.
Overall, if you're in search of a software that can simplify your testing process and provide you with more accurate results, HOL-TestGen may be an excellent choice to explore.
What's New
Version 1.4.0: N/A