HOL-TestGen

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

Rating: nan/5 (Total Votes: 0)

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

testosterone
testosterone

14 Apr 15

EXQUIRES
EXQUIRES

20 Feb 15

RESTClient
RESTClient

28 Sep 15

Commentaires à HOL-TestGen

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