HOL-TestGen

HOL-TestGen επιτρέπει σε κάποιον να γράψει προδιαγραφές δοκιμών σε λογικές υψηλός-διαταγής (HOL). Μπορεί (ημι) αυτόματη διαμέριση από το χώρο εισόδου, με αποτέλεσμα αφηρημένη περιπτώσεις δοκιμών, και επιλέγει αυτόματα συγκεκριμένα δεδομένα δοκιμών.
Αυτόματη δημιουργία των ιμάντων δοκιμής (σε ΟΕΙΜ) υποστηρίζεται, και με τη χρήση μιας ξένης γλώσσας περιβάλλοντος εργασίας, εφαρμογές σε αυθαίρετες γλώσσες (π.χ. C) μπορεί να ελεγχθεί.
HOL-OCL είναι ελεύθερο λογισμικό? Επιτρέπεται η αναδιανομή ή / και τροποποίησή του υπό τους όρους της GPL. Έργο HOL-TestGen έχει αναπτυχθεί από τον Achim Δ Brucker και Burkhart Wolff

Χαρακτηριστικά :.

• προδιαγραφές δοκιμών εγγραφής στην υπερκείμενη λογικές τάξης (HOL)
• (ημι) αυτόματη διαμέριση από το χώρο εισόδου, με αποτέλεσμα αφηρημένη περιπτώσεις δοκιμής
• επιλέγει αυτόματα συγκεκριμένα δεδομένα δοκιμών
• δημιουργεί αυτόματα σενάρια δοκιμών (σε ΟΕΙΜ)
• χρησιμοποιώντας μια διεπαφή ξένων γλωσσών, εφαρμογές σε αυθαίρετες γλώσσες (π.χ. C) μπορεί να ελεγχθεί.

Τι είναι καινούργιο σε αυτήν την έκδοση:

• Αυτή η έκδοση είχε μεταφερθεί στο Isabelle / HOL 2011-1.
• προστέθηκαν νέα παραδείγματα.
• Η jEdit-based user interface είναι τώρα χρησιμοποιείται από προεπιλογή.