HOL-TestGen - Software download gratuito Para Linux Em Garantia de qualidade e teste de software

HOL-TestGen 1.7.0

HOL-TestGen permite escrever especificações de teste em lógicas de ordem superior (HOL). Ele pode (semi-) particionar automaticamente o espaço de entrada, resultando em casos de teste abstratas e selecionar automaticamente os dados de teste de concreto.A...