HOL-TestGen

HOL-TestGen is a is a test case generator for specification based unit testing.
Download

HOL-TestGen Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Price:
  • FREE
  • Publisher Name:
  • Achim D. Brucker and Burkhart Wolff
  • Publisher web site:
  • http://www.brucker.ch/projects/hol-ocl/

HOL-TestGen Tags


HOL-TestGen Description

HOL-TestGen is a is a test case generator for specification based unit testing. 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 uses Isabelle 2008 as the underlying HOL system, provides support for a benchmarking framework, and provides HOL-TestGen/FW.· HOL-TestGen/FW is a domain specific test case generator for specification-based firewall conformance testing.


HOL-TestGen Related Software

About SoftwareSea