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 ...
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 ...
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 ...
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 ...
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 ...
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 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 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 ...
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 ...