Projects / HOL-TestGen

HOL-TestGen

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.

Tags
Implementation

RSS Recent releases

  •  19 Nov 2012 23:13

    Release Notes: This release fixes a few minor errors in the manual.

    •  18 Oct 2012 11:38

      Release Notes: This release was ported to Isabelle/HOL 2011-1. New examples were added. The jEdit-based user interface is now used by default.

      •  18 Oct 2012 11:38

        Release Notes: This release was ported to Isabelle 2011.

        •  18 Oct 2012 11:38

          Release Notes: This release was ported to Isabelle 2009.

          •  19 Jun 2008 20:30

          Release Notes: 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.

          Screenshot

          Project Spotlight

          webon

          A Web content management system.

          Screenshot

          Project Spotlight

          Aspose.Slides for Java

          A Java component for manipulating PowerPoint presentations.