Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. QuickCheck for Java

QuickCheck for Java 4j

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

QC4J é uma estrutura de teste automatizada baseada em especificações, baseada no QuickCheck para Haskell. Facilita o teste de código referencialmente transparente, criando automaticamente dados de teste através de geradores definidos pelo utilizador.

história da versão

  • Versão qc4j-core-0.1 postado em 2007-09-19
    Várias correções e atualizações
  • Versão qc4j-core-0.1 postado em 2007-09-19

Detalhes do programa

Programas Relacionados

  • Invisible Protector II Pro Grátis

    Protetor Invisível proteja as suas aplicações privadas com erro falsoQual é o melhor protetor de aplicações da #39? Senha forte? Claro que não. O melhor proector deixaria prier não estar ciente de qualquer proteção e também

  • BDB Developer Edition Julgamento Gratuito

    BDB é um software de design de base de dados completo.Suporta Oracle, SQL Server, MySQL, Access, SQLAnywhere e Sybase.Além disso, o BDB é também uma grande ferramenta sql query Intellisense.Principais características

  • Supermount removable media support Grátis

    Supermount é um pseudo-sistema de ficheiros que gere sistemas de ficheiros em suportes amovíveis como discos floppy e CD-ROMs. Liberta-o da necessidade de montar manualmente e desmontar os meios de comunicação.

  • Smart Lock Lite(App Protector) Grátis

    Bloqueie qualquer aplicação no seu telefone.Não se preocupe mais quando mostrar o telefone aos amigos.Precisa de um pouco de privacidade para o seu dispositivo android?Odeia alguém para brincar com mensagens sensíveis,

  • Airpush Finder Julgamento Gratuito

    Foi incomodado com a notificação do anúncio? O Airpush Finder pode ajudá-lo a encontrar e remover facilmente as aplicações com notificação Airpush.A velocidade de busca de Airpush Finder é muito rápida, só precisa de algu

  • Tamil Tools Grátis

    O objetivo do projeto Tamil Tools é consolidar os principais softwares de código aberto relacionados com a língua Tamil num só local. O objetivo imediato é desenvolver um conversor de codificação padrão entre tSCII, TAB e Un

  • Petri-LLD Grátis

    Petri-LLD é um ambiente de desenvolvimento gráfico para o controlo da automatização em tempo real e está escrito em Java. Baseia-se numa forma de rede Petri, e compila-se a uma série de linguagens programáveis de controlador

  • Advanced Message Julgamento Gratuito

    Advanced Message é uma aplicação de mensagens android melhorada e avançada, pode enviar e receber emojis e mensagem de grupo com amigos, pode personalizar mais funcionalidades nesta aplicação, basta ver a funcionalidade seg

  • Hoepsch JSON Grátis

    Hoepsch JSON é uma biblioteca java para criar e ler Objetos JSON. A biblioteca centra-se na facilidade de utilização, simplicidade e consistência. A criação de objetos através do add/get é suportada, bem como a triagem de obj

  • mspgcc4 Grátis

    Este é um porto do ramo GCC 4.x para o núcleo de microcontrolador MSP430 da Texas Instruments. Baseia-se no projeto MSPGCC que está preso ao GCC 3.2.3.