Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. QuickCheck for Java
  5. Download

QuickCheck for Java 4j

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов

О QuickCheck for Java

«C4J» — это автоматизированная система тестирования на основе спецификаций, основанная на quickCheck для Haskell. Это упрощает тестирование референциально прозрачного кода, создавая тестовые данные автоматически через определяемые пользователем генераторы.

Похожие программы

  • Invisible Protector II Pro Бесплатный

    Невидимый защитник защитить ваши частные приложения с поддельной ошибкойЧто и #39 лучший протектор приложения? Надежный пароль? Конечно, нет. Лучший проэктор позволит prier не быть в курсе какой-либо защиты, и он также може

  • BDB Developer Edition Бесплатная пробная версия

    BDB — это полное программное обеспечение для разработки баз данных.Поддерживает Oracle, сервер S'L, MyS'L, Access, S'LAnywhere и Sybase.Кроме того, BDB также является отличным инструментом intellisense запроса S'L.Осн

  • Supermount removable media support Бесплатный

    Supermount — это псевдо-файловая система, которая управляет файловыми системами на съемных мультимедиа, таких как дискеты и CD-ДИСКИ. Он освобождает вас от необходимости вручную монтировать и отмахиваться от мультимедиа.

  • Smart Lock Lite(App Protector) Бесплатный

    Блокировка любого приложения на телефоне.Нет больше беспокоиться, когда показать свой телефон друзьям.Вам нужно немного конфиденциальности для вашего android устройства?Вы ненавидите кого-то играть с конфиденциальными с

  • Airpush Finder Бесплатная пробная версия

    Вас беспокоило уведомление Ad. Airpush Finder может помочь вам легко найти и удалить приложения с уведомлением Airpush.Скорость поиска Airpush Finder очень быстрая, нужно всего пару секунд. А Airpush Finder может обнаружи

  • Tamil Tools Бесплатный

    Цель проекта Tamil Tools заключается в консолидации основных программ с открытым исходным кодом, связанных с тамильским языком в одном месте. Ближайшей целью является разработка стандартного преобразователя кодирования между

  • Petri-LLD Бесплатный

    Petri-LLD — это графическая среда разработки для управления автоматизацией в режиме реального времени, которая написана на Java. Он основан на форме сети Петри и компилирует на ряд программируемых языков контроллера логики (P

  • Advanced Message Бесплатная пробная версия

    Расширенное сообщение является расширенным и передовым android сообщение приложение, вы можете отправить и получить смайлики и групповое сообщение с друзьями, вы можете настроить больше возможностей в этом приложении, прост

  • Hoepsch JSON Бесплатный

    Hoepsch JSON — это библиотека Java для создания и чтения объектов JSON. Библиотека фокусируется на простоте использования, простоте и согласованности. Создание объекта с помощью добавления/получить поддерживается, а также объ

  • mspgcc4 Бесплатный

    Это порт филиала GCC 4.x к микроконтроллеру Texas Instruments MSP430. Он основан на проекте MSPGCC, который застрял с GCC 3.2.3.