Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Yet Another QuickCheck for Java
  5. Download

Yet Another QuickCheck for Java 0.0.1

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa Yet Another QuickCheck for Java

Yaqc4j è un framework di test basato su specifiche, basato su QuickCheck for Haskell di John Hughes. Crea automaticamente i dati di test tramite generatori definiti dall'utente e integrati. Questo progetto è sostenuto dall'Universidad Nacional de Quilmes.

Programmi correlati

  • ds-Lucas Gratuito

    Project ds-Lucas è un semplice script PHP che separe i tuoi script PHP e modelli HTML. Comprese le funzioni per l'output di più righe, la gestione con output di file esterni, uscite multi-impostazione.

  • HInput Gratuito

    HInput è un livello di astrazione di input progettato per separare il codice di gioco dalle implementazioni di input. Il sistema è completamente basato sui dati e può essere modificato e/o configurato in fase di esecuzione.

  • P3: The Portable Unix Programming System Gratuito

    PUPS/P3 facilita lo sviluppo di calcoli multi-host multi-processo fornendo strumenti per emulare colonie di organismi omeostatici. Consente il calcolo persistente, la protezione delle risorse omeostatiche e la comunicazione i

  • Brainiac Artificial Intelligence Gratuito

    Brainiac, è librerie, programmi e script Python e Lua C/C++ per il networking neurale e la programmazione genetica, nel tentativo di creare un progetto "glue-it-all-together", che mira all&intelligenza artificia

  • PeiAsm Gratuito

    Assemblatore/emulatore multiprocessore PeiAsm per Windows x86. -Codificato da M. Keaton (The Polyester Method)

  • Proton Voltage Control Gratuito

    SI PREGA di prima di lasciare 1 stella verificare che si sta eseguendo un kernel supportato su un Nexus S o Nexus S 4G. Siamo disponibili per le correzioni di bug tramite il link "Visita il sito Web degli sviluppatori" di s

  • syncSQL Gratuito

    syncSQL è uno script CVS lato server perl, che invia informazioni di commit a un database mySQL, in modo che i commit possano essere visualizzati, monitorati e filtrati attraverso una semplice pagina Web o qualsiasi client my

  • GLipKit Gratuito

    GLipKit (GL Image Processing Kit) è una raccolta di algoritmi di elaborazione delle immagini e visione artificiale eseguiti su hardware grafico 3D programmabile corrente per un'esecuzione più rapida. L'obiettivo principale è

  • RoboCup MSL refbox Gratuito

    Il RoboCup MSL Refbox è usato per aiutare l'arbitro a controllare una partita di calcio robotica (utilizzata dalla RoboCup Midsize league).

  • Dataflow processing parallelization-Cell Gratuito

    Questa è una libreria per la parallelizzazione dei calcoli dei dati di flusso sui processori cell.