HOL-TestGen 1.7.0

HOL-TestGen επιτρέπει σε κάποιον να γράψει προδιαγραφές δοκιμών σε λογικές υψηλός-διαταγής (HOL). Μπορεί (ημι) αυτόματη διαμέριση από το χώρο εισόδου, με αποτέλεσμα αφηρημένη περιπτώσεις δοκιμών, και επιλέγει αυτόματα συγκεκριμένα δεδομένα...
Κατεβάστε το δωρεάν HOL-TESTGEN για LINUX (tar.gz)

Συνιστώμενο λογισμικό για Linux

  • TAU
    TAU 20 Feb 15