HOL-TestGen - Gratuito il download del software Per Linux In Garanzia di qualità e test del software

HOL-TestGen 1.7.0

HOL-TestGen permette di scrivere le specifiche di test a logiche di ordine superiore (HOL). Può (semi-) partizionare automaticamente lo spazio di ingresso, con conseguente casi di test astratte, e selezionare automaticamente i dati di prova...