Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
[connexion sécurisée]
HOL-TestGen


HOL-TestGen - A generator of test-data from HOL specifications
03 June 2011

Person in charge : WOLFF Burkhart


HOL-TestGen allows one to:
  • 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-TestGen is free software; you can redistribute it and/or modify it under the terms of a BSD-style licence. It is developed by Achim D. Brucker and Burkhart Wolff.
HOL-TestGen has been deposited in the Agency for the protection of programs (APP) IDDN.FR.001.220032.000.S.A.2011.000.10000 (Signed Paris, 3.6. 2011)

More information: http://www.brucker.ch/projects/hol-testgen/index.en.html

- Licence : BSD License

Escrow Agency : APP

Research activities
  Formalisation of (Specification and Programming) Languages in Proof Assistants
  Formal Model-Based Testing

Members
  WOLFF Burkhart
  WENZEL Markus

Group
  Verification of Algorithms, Languages and Systems
Software & patents
GENEVALORIZATION
Gene List significance at-a-glance

TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

BSP++
The C++ Bulk Synchronous Parallelism Library