HOL-TestGen - Free software download Pentru Linux în De asigurare a calității și de testare software

HOL-TestGen 1.7.0

HOL-TestGen permite să scrie specificațiile de testare în logica de ordin superior (HOL). Se poate (semi-) se împarte în mod automat spațiul de intrare, care rezultă în cazuri abstracte de testare, iar selecta automat datele de testare concrete.Generarea...