Resultados da pesquisa a pedido "quickcheck"
Verificação rápida, definindo instâncias arbitrárias usando uma função cujo resultado depende de seus argumentos
Eu tenho uma funçãoarbExample para gerar um aleatórioExample tipo de dados que depende de várias funções. Estou tentando fazer alguns testes de propriedade fazendoquickCheck prop_example, o problema é que não sei definir umArbitrary instância ...
Haskell quickcheck - como gerar apenas strings imprimíveis
Eu tenho um conjunto de programas de demonstração simples que codificam / decodificam seqüências de caracteres e desejam gerar algunschecagem rápida testes para eles, mas para limitar os testes apenas a sequências imprimíveis. O uso de uma ...
Qual é o caso geral da função de promoção do QuickCheck?
Qual é o termo geral para um functor com uma estrutura semelhante à do QuickCheckpromote função, ou seja, uma função da forma: promote :: (a -> f b) -> f (a -> b)(este é o inverso deflip $ fmap (flip ($)) :: f (a -> b) -> (a -> f b)) Existe ...
Você usou o Quickcheck em um projeto real [fechado]
Verificação rápid [http://www.cs.chalmers.se/~rjmh/QuickCheck/] e suas variantes (até existe uma emJav [https://bitbucket.org/blob79/quickcheck]), parece ser interessante. No entanto, além do interesse acadêmico, é realmente útil em um teste real ...
Como podemos aplicar uma função não-vararg em uma va_lis
História de fundo Estou portando oVerificação rápid [https://github.com/mcandre/node-quickcheck#readme] estrutura de teste de unidade para C (consulte o código de trabalho em GitHub [https://github.com/mcandre/qc]). A sintaxe ...
Como obter o Haskell QuickCheck 2.4 para aumentar # testes?
Ok, como eu aprendi através do meuprevious question [https://stackoverflow.com/questions/8113751/haskell-quickcheck2-using-bytestring] , o livro RWH já está desatualizado para o QuickCheck. E, apesar de todas as postagens que li que me dizem ...
Como você substitui as instâncias de classe de tipo Haskell fornecidas pelo código do pacot
Tenho algum código Haskell antigo que inclui casos de teste do QuickCheck. As versões mais recentes do QuickCheck (que acabei de atualizar para 2.4.0.1) incluem instâncias de classe de tipo paraArbitrary Word8 e outros. Eles não existiam nas ...
QuickCheck status de saída em falhas e integração cabal
Estou tentando entender como integrar alguns testes de verificação rápida com cabal. Esteessênci [https://gist.github.com/1343429] sugere que oquickCheck função @ retorna um status diferente de zero em caso de falha, mas não estou recebendo esse ...
Controlando como os dados de teste são gerados no QuickCheck
Eu escrevi um algoritmo para encontrar uma solução para o problema de soma de subconjuntos em Haskell. A assinatura é subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a] @QuickCheck parece ser um bom ajuste para testar isso. Por exemplo, aqui ...