Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel HOL-TestGen


HOL-TestGen - Générateur de tests à partir de spécifications HOL
Date de dernière version : 19 novembre 2012

Responsable : WOLFF Burkhart


Avec HOL-TestGen, on peut:
  • écrire des spécifications de test en logique de l\'ordre supérieur (HOL),
  • partitionner l\'espace des valeurs d\'entrée de manière (semi) automatique
  • sélectionner des valeurs de données concrètes
  • générer des programmes (en SML) réalisant le test.


Pour en savoir plus: http://www.brucker.ch/projects/hol-testgen/index.en.html

Logiciel - Licence : BSD License



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
  Test formel basé sur les modèles

Membres
  WOLFF Burkhart
  WENZEL Markus

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Logiciels et brevets
ZVTM
Zoomable Visual Transformation Machine

ZGRVIEWER
A GraphViz/DOT Viewer

PINT
Static analyzer for dynamics of Automata Networks