quickcheck

14El calor

2Respuesta

¿Cómo puedo probar una función de orden superior con QuickCheck?

Tengo una función de orden superior que quiero probar, y una de las propiedades que quiero probar es qué hace con las funciones que se pasan. A modo de ejemplo, aquí hay un ejemplo artificial: gen ::

haskell quickcheck 2012-03-13

---

17El calor

1Respuesta

Controlar cómo se generan los datos de prueba en QuickCheck

Escribí un algoritmo para encontrar una solución al problema de la suma de subconjuntos en Haskell. La firma es subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a] QuickCheck parece ser una buena o

haskell quickcheck 2012-04-02

---

16El calor

2Respuesta

"libro de cocina" para la conversión de QuickCheck1 a QuickCheck2?

¿Hay un libro de cocina disponible para la conversión de QuickCheck1 a QuickCheck2? Como en algunos ejemplos, defaultConfig (replaced by Args) y trivial se eliminaron y se introdujeron CoArbitrary. Le

haskell quickcheck 2012-05-23

---

7El calor

1Respuesta

Cómo utilizar modificadores con QUICKCHECK (positiva en mi caso)

He una función, rev, que devuelve un valor de un tipo que se encuentra en tres clases de tipos: rev :: (Integral a, Show a, Read a) => a -> a rev = read . reverse . show me gustaría probar algunos

haskell quickcheck 2012-09-17

---

7El calor

1Respuesta

Prueba de analizadores Parsec generando entradas con QuickCheck

Me gustaría escribir pruebas para un conjunto de analizadores Parsec. Aquí está un ejemplo simple de un analizador quiero probar con QuickCheck: identifier = do c <- letter cs <- many (alpha

testing haskell parsec quickcheck 2012-06-12

---

8El calor

2Respuesta

recopilar automáticamente todos quickChecks

ser un fan de QUICKCHECK, que tienen una gran cantidad de prop_something_something = ... lo largo de mi programa. Para mayor comodidad, para ejecutar fácilmente todos ellos, defino runchecks = do

haskell quickcheck 2012-04-26

---

6El calor

1Respuesta

Comprobación rápida para pruebas no booleanas

Estoy usando QuickCheck para probar mi código para algunos cálculos numéricos. Básicamente tengo una función exacta y varias aproximaciones que son mucho más eficientes. Actualmente estoy poniendo en

haskell quickcheck 2012-08-13

---

9El calor

2Respuesta

¿Existe una versión monádica de Arbitrary para usar con QuickCheck?

Cuando quiero probar el código puro usando QuickCheck, a menudo tengo que escribir una instancia de Arbitrary. Para probar el código monádico, puedo usar Test.QuickCheck.Monadic como se describe en es

testing haskell functional-programming monads quickcheck 2012-03-25

---

16El calor

3Respuesta

¿Cómo decirle a QuickCheck que genere solo índices de listas válidos para un parámetro?

Digamos que quiero escribir algunas pruebas de unidad para la función (!!). my_prop xs n = ... que desea restringir n a sólo índices válidos y sé que podría hacer algo como my_prop xs n = (not.null)

haskell quickcheck 2012-10-10

---

16El calor

7Respuesta

¿Existe una alternativa de Java a la autofixtura de Ploeh para .Net?

Estoy buscando una herramienta Java que crearía anonymous variables (variables cuyo valor no me importa) en mis pruebas, similar a AutoFixture en .Net. Aquí hay un enlace al AutoFixture's readme, que

java unit-testing mocking quickcheck autofixture 2012-07-06

---