Resultados de la búsqueda a petición "quickcheck"
¿Cómo obtener Haskell QuickCheck 2.4 para aumentar # pruebas?
k, como aprendí a través de miPregunta anterio [https://stackoverflow.com/questions/8113751/haskell-quickcheck2-using-bytestring] , el libro RWH ya no está actualizado para QuickCheck. Y a pesar de todas las publicaciones que he leído que me ...
Estado de salida de QuickCheck en caso de fallas e integración de cabal
Estoy tratando de entender cómo integrar algunas pruebas de comprobación rápida con cabal. Estaesenci [https://gist.github.com/1343429] sugiere que laquickChecka función @ devuelve un estado distinto de cero en caso de falla, pero no obtengo ese ...
Controlar cómo se generan los datos de prueba en QuickCheck
Escribí un algoritmo para encontrar una solución al problema de suma de subconjuntos en Haskell. La firma es subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a]QuickCheck parece ser una buena opción para probar eso. Por ejemplo, aquí es una de ...
¿Cómo anula las instancias de clase de tipo Haskell proporcionadas por el código del paquete?
Tengo un código antiguo de Haskell que incluye casos de prueba QuickCheck. Las versiones más recientes de QuickCheck (que acabo de actualizar a 2.4.0.1) incluyen instancias de clase de tipo paraArbitrary Word8 y otros. Estos no existían en ...
Quickcheck, que define instancias arbitrarias utilizando una función cuyo resultado depende de sus argumentos
Tengo una funcionarbExample para generar un azarExample tipo de datos que depende de varias funciones. Estoy tratando de hacer algunas pruebas de propiedad haciendoquickCheck prop_example, el problema es que no sé cómo definir unArbitrary ...
Prueba de acciones de E / S con Monadic QuickCheck
¿Alguien puede darme un breve ejemplo de prueba de acciones de E / S usando Monadic QuickCheck?
¿Cómo podemos aplicar una función no vararg sobre una va_list?
Trasfond Estoy portando elComprobación rápid [https://github.com/mcandre/node-quickcheck#readme] marco de prueba de unidad a C (ver el código de trabajo en GitHub [https://github.com/mcandre/qc]). La sintaxis será: for_all(property, gen1, gen2, ...
¿Ha utilizado Quickcheck en un proyecto real [cerrado]
Comprobación rápid [http://www.cs.chalmers.se/~rjmh/QuickCheck/] y sus variantes (incluso hay una enJav [https://bitbucket.org/blob79/quickcheck]), parece ser interesante. Sin embargo, aparte del interés académico, ¿es realmente útil en una ...
¿Cuál es el caso general de la función de promoción de QuickCheck?
¿Cuál es el término general para un functor con una estructura similar a la de QuickCheck?promote función, es decir, una función de la forma: promote :: (a -> f b) -> f (a -> b)(esta es la inversa deflip $ fmap (flip ($)) :: f (a -> b) -> (a -> ...
¿Probando las propiedades de QuickCheck contra múltiples tipos?
Tengo una clase de tipos
Página 1 de 2