Yet Another QuickCheck for Java 0.0.1
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/yaqc4j/files/0.0.1-Alpha2/yaqc4j-0.0.1-Alpha2-javadoc.jar/download
Tentang Yet Another QuickCheck for Java
Yaqc4j adalah kerangka pengujian berbasis spesifikasi, berdasarkan QuickCheck for Haskell oleh John Hughes. Ini membuat data pengujian secara otomatis melalui generator yang ditentukan pengguna dan bawaan. Proyek ini didukung oleh Universidad Nacional de Quilmes.
Program Terkait
-
ds-Lucas Gratis
Project ds-Lucas adalah skrip PHP sederhana yang meremehkan skrip PHP dan templat HTML Anda. Termasuk fungsi untuk output multi baris, penanganan dengan output file eksternal, output multi pengaturan.
-
HInput Gratis
HInput adalah lapisan abstraksi input yang dirancang untuk memisahkan kode game dari implementasi input. Sistem ini sepenuhnya digerakkan oleh data dan dapat dimodifikasi dan/atau dikonfigurasi pada waktu proses.
-
P3: The Portable Unix Programming System Gratis
PUPS/P3 memfasilitasi pengembangan komputasi multi-host multi-proses dengan menyediakan alat untuk meniru koloni organisme homeostatic. Ini memungkinkan komputasi terus-menerus, perlindungan sumber daya homeostatic, dan komun
-
Brainiac Artificial Intelligence Gratis
Brainiac, Adalah C / C + + Perpustakaan, Program, Dan Python, Dan Lua Scripts Untuk Jaringan Saraf Dan Pemrograman Genetik, Dalam Upaya Untuk Membuat A "Lem-It-All-Together" Proyek, Berjuang Menuju Kecerdasan Buatan
-
PeiAsm Gratis
Perakit/Emulator Multi-Prosesor PeiAsm untuk x86 Windows. -Kode oleh M. Keaton (Metode Polyester)
-
Proton Voltage Control Gratis
SILAKAN sebelum meninggalkan verifikasi bintang 1 bahwa Anda menjalankan kernel yang didukung pada Nexus S atau Nexus S 4G. Kami tersedia untuk perbaikan bug melalui tautan "Kunjungi Situs Web Pengembang" di bawah ini.Kon
-
syncSQL Gratis
syncSQL adalah skrip CVS sisi server perl, yang mengirim informasi komit ke database mySQL, sehingga komit dapat dilihat, dilacak, dan difilter melalui halaman web sederhana atau klien mySQL apa pun.
-
GLipKit Gratis
GLipKit (GL Image Processing Kit) adalah kumpulan pemrosesan gambar dan algoritma visi komputer yang dilakukan pada perangkat keras grafis 3D yang dapat diprogram saat ini untuk eksekusi yang lebih cepat. Fokus utama saat ini
-
RoboCup MSL refbox Gratis
RoboCup MSL Refbox digunakan untuk membantu wasit mengontrol permainan sepak bola robot (digunakan oleh liga RoboCup Midsize).
-
Dataflow processing parallelization-Cell Gratis
Ini adalah pustaka untuk mejajarkan komputasi data aliran pada pemroses Sel.