HOL-TestGen

Logiciel capture d'écran:
HOL-TestGen
Détails logiciels:
Version: 1.7.0
Date de transfert: 20 Feb 15
Licence: Gratuit
Popularité: 80

Rating: 4.0/5 (Total Votes: 1)

HOL-TestGen permet d'écrire les spécifications de test dans des logiques d'ordre supérieur (HOL). Il peut (semi-) partitionner automatiquement l'espace d'entrée, résultant dans les cas de tests abstraits, et sélectionnez automatiquement les données d'essai du béton.
La génération automatique des harnais de test (en SML) est pris en charge, et en utilisant une interface en langue étrangère, les implémentations dans les langues arbitraires (par exemple C) peuvent être testés.
HOL-OCL est un logiciel libre; vous pouvez le redistribuer et / ou le modifier selon les termes de la GPL. Projet HOL-TestGen est développé par Achim D. Brucker et Burkhart Wolff

Caractéristiques :.

  • spécifications de test d'écriture en-supérieur ordre logiques (HOL)
  • (semi-) partitionner automatiquement l'espace d'entrée, résultant dans les cas de tests abstraits
  • sélectionner automatiquement les données d'essai du béton
  • générer automatiquement des scripts de test (en SML)
  • en utilisant une interface en langue étrangère, les implémentations dans les langues arbitraires (par exemple C) peut être testé.

Quoi de neuf dans cette version:

  • Cette version a été porté à Isabelle / HOL 2011-1.
  • De nouveaux exemples ont été ajoutés.
  • L'interface utilisateur basée sur jEdit est maintenant utilisé par défaut.

Logiciel similaire

nose-bisect
nose-bisect

14 Apr 15

BDD4Django
BDD4Django

20 Feb 15

DTest
DTest

11 May 15

Commentaires à HOL-TestGen

Commentaires non trouvées
Ajouter un commentaire
Tourner sur les images!