Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. QuickCheck for Java

QuickCheck for Java 4j

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

QC4J adalah kerangka kerja pengujian otomatis berbasis spesifikasi, berdasarkan QuickCheck for Haskell. Ini membuatnya mudah untuk menguji kode transparan secara referensional, dengan membuat data pengujian secara otomatis melalui generator yang ditentukan pengguna.

Riwayat versi

  • Versi qc4j-core-0.1 diposting di 2007-09-19
    Beberapa perbaikan dan pembaruan
  • Versi qc4j-core-0.1 diposting di 2007-09-19

Detil Program

Program Terkait

  • Invisible Protector II Pro Gratis

    Pelindung Tak Terlihat melindungi aplikasi pribadi Anda dengan kesalahan palsuApa&#39 Anda adalah pelindung aplikasi terbaik? Kata sandi yang kuat? Tentu saja TIDAK. Proector terbaik akan membiarkan prier tidak menyadar

  • BDB Developer Edition Uji Coba Gratis

    BDB adalah perangkat lunak desain database berfisti lengkap.Ini mendukung Oracle, SQL Server, MySQL, Access, SQLAnywhere dan Sybase.Selain itu, BDB juga merupakan Alat Intellisense SQL Query yang hebat.Fitur BDB utama

  • Supermount removable media support Gratis

    Supermount adalah pseudo-filesystem yang mengelola sistem berkas pada media yang dapat dilepas seperti disket dan CD-ROM. Ini membebaskan Anda dari kebutuhan untuk memasang dan melepas kait media secara manual.

  • Smart Lock Lite(App Protector) Gratis

    Kunci aplikasi apa pun di ponsel Anda.Tidak perlu lagi khawatir ketika menunjukkan ponsel Anda kepada teman-teman.Apakah Anda memerlukan sedikit privasi untuk perangkat android Anda?Apakah Anda benci seseorang untuk ber

  • Airpush Finder Uji Coba Gratis

    Apakah Anda telah terganggu oleh notifikasi Iklan? Airpush Finder dapat membantu Anda menemukan dan menghapus aplikasi dengan pemberitahuan Airpush dengan mudah.Kecepatan pencarian Airpush Finder sangat cepat, hanya perlu

  • Tamil Tools Gratis

    Tujuan dari proyek Tamil Tools adalah untuk mengkonsolidasikan perangkat lunak sumber terbuka utama yang terkait dengan bahasa Tamil di satu tempat. Tujuan langsung adalah untuk mengembangkan konvertor pengkodean standar ant

  • Petri-LLD Gratis

    Petri-LLD adalah lingkungan pengembangan grafis untuk kontrol otomatisasi real-time dan ditulis di Jawa. Hal ini didasarkan pada bentuk petri net, dan menyusun ke sejumlah bahasa pengontrol logika yang dapat diprogram (PLC) s

  • Advanced Message Uji Coba Gratis

    Advanced Message adalah aplikasi pesan android yang disempurnakan dan canggih, Anda dapat mengirim dan menerima emoji dan pesan grup dengan teman, Anda dapat menyesuaikan lebih banyak fitur di aplikasi ini, cukup lihat fitu

  • Hoepsch JSON Gratis

    Hoepsch JSON adalah perpustakaan Java untuk membuat dan membaca JSON Objects. Perpustakaan berfokus pada kemudahan penggunaan, kesederhanaan, dan konsistensi. Pembuatan objek melalui add/get didukung serta object marshalling.

  • mspgcc4 Gratis

    Ini adalah pelabuhan cabang GCC 4.x ke inti mikrokontroler Texas Instruments MSP430. Hal ini didasarkan pada proyek MSPGCC yang terjebak dengan GCC 3.2.3.