Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Yet Another QuickCheck for Java
  5. Download

Yet Another QuickCheck for Java 0.0.1

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O Yet Another QuickCheck for Java

Yaqc4j to oparta na specyfikacji struktura testowania, oparta na QuickCheck for Haskell autorstwa Johna Hughesa. Automatycznie tworzy dane testowe za pośrednictwem generatorów zdefiniowanych przez użytkownika i wbudowanych. Projekt ten jest wspierany przez Universidad Nacional de Quilmes.

Programy pokrewne

  • ds-Lucas Wolna

    Projekt ds-Lucas to prosty skrypt PHP, który separetes skryptów PHP i szablonów HTML. W tym funkcje do wyjścia wielowierszowego, obsługa z wyjściami plików zewnętrznych, wyjścia wielokrotne.

  • HInput Wolna

    HInput to warstwa abstrakcji danych wejściowych przeznaczona do oddzielenia kodu gry od implementacji wejściowych. System jest całkowicie oparty na danych i może być modyfikowany i/lub konfigurowany w czasie wykonywania.

  • P3: The Portable Unix Programming System Wolna

    PUPS/P3 ułatwia rozwój wieloprocesowych obliczeń wielowierszowych poprzez dostarczanie narzędzi do emulowania kolonii organizmów homeostatycznych. Umożliwia trwałe obliczenia, ochronę zasobów homeostatycznych i asychronityczn

  • Brainiac Artificial Intelligence Wolna

    Brainiac, jest C / C ++ Biblioteki, Programy, I Python, i Lua Skrypty do sieci neuronowych i programowania genetycznego, w próbie utworzenia "Glue-It-All-Together" Projekt, Dążenie do ogólnej sztucznej inteligencji

  • PeiAsm Wolna

    PeiAsm Multi-Processor Assembler / Emulator dla x86 Windows. -Kodowane przez M. Keaton (Metoda poliestrowa)

  • Proton Voltage Control Wolna

    PROSZĘ przed opuszczeniem 1-gwiazdkowego sprawdzenia, czy korzystasz z obsługiwanego jądra na Nexusie S lub Nexusie S 4G. Jesteśmy dostępni do poprawek błędów za pośrednictwem linku "Odwiedź stronę programisty" poniżej.Pr

  • syncSQL Wolna

    syncSQL to skrypt CVS po stronie serwera perl, który wysyła informacje o zatwierdzeniu do bazy danych mySQL, dzięki czemu zatwierdzenia mogą być przeglądane, śledzone i filtrowane przez prostą stronę internetową lub dowolnego

  • GLipKit Wolna

    GLipKit (GL Image Processing Kit) to zbiór algorytmów przetwarzania obrazu i widzenia komputerowego wykonywanych na obecnym programowalnym sprzęcie graficznym 3D dla szybszego wykonania. Głównym celem jest obecnie obliczeniow

  • RoboCup MSL refbox Wolna

    RoboCup MSL Refbox służy do pomocy sędziego do kontrolowania roboty gry w piłkę nożną (używany przez RoboCup Midsize ligi).

  • Dataflow processing parallelization-Cell Wolna

    Jest to biblioteka do równoległego obliczeń danych przepływu na procesorach komórek.