Software screenshot:
Rincian Software:
Versi: 1.7.0
Tanggal Upload: 20 Feb 15
Pengembang: Achim D. Brucker and Burkhart Wolff
Lisensi: Gratis
Popularitas: 15
HOL-TestGen memungkinkan seseorang untuk menulis spesifikasi uji Tinggi-order logika (HOL). Hal ini dapat (semi-) otomatis partisi ruang input, sehingga kasus uji abstrak, dan secara otomatis memilih data uji beton.
Otomatis generasi memanfaatkan tes (di SML) didukung, dan menggunakan antarmuka bahasa asing, implementasi dalam bahasa sewenang-wenang (misalnya C) dapat diuji.
HOL-OCl adalah perangkat lunak bebas; Anda diizinkan untuk mendistribusikan dan / atau memodifikasinya di bawah ketentuan GPL. Proyek HOL-TestGen dikembangkan oleh Achim D. Brucker dan Burkhart Wolff
Fitur :.
- spesifikasi menulis tes di tinggi- Agar logika (HOL)
- (semi-) otomatis partisi ruang input, sehingga kasus uji abstrak
- otomatis memilih data uji beton
- otomatis menghasilkan script tes (di SML)
- menggunakan antarmuka bahasa asing, implementasi dalam bahasa sewenang-wenang (misalnya C) dapat diuji.
Apa yang baru dalam rilis ini:
- Versi ini adalah porting ke Isabelle / HOL 2011-1.
- contoh baru ditambahkan.
- User interface jEdit berbasis sekarang digunakan secara default.
Komentar tidak ditemukan