Logiciel capture d'écran:
Détails logiciels:
Version: 1.7.0
Date de transfert: 20 Feb 15
Développeur: Achim D. Brucker and Burkhart Wolff
Licence: Gratuit
Popularité: 80
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.
Commentaires non trouvées