- Αρχική σελίδα
- Linux
- HOL-TestGen
- Λήψη ...
HOL-TestGen 1.7.0
HOL-TestGen επιτρέπει σε κάποιον να γράψει προδιαγραφές δοκιμών σε λογικές υψηλός-διαταγής (HOL). Μπορεί (ημι) αυτόματη διαμέριση από το χώρο εισόδου, με αποτέλεσμα αφηρημένη περιπτώσεις δοκιμών, και επιλέγει αυτόματα συγκεκριμένα δεδομένα...