HOL-TestGen - Logiciel de téléchargement gratuit Pour Linux Dans L'assurance de la qualité et des logiciels de test

HOL-TestGen 1.7.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...