mbunit - unit - ¿Qué es un Marco de Prueba de Unidad Generativa?
unit test android (1)
En stackoverflow me encontré con mbunit. En su página se afirma que mbunit es un marco de prueba de unidades generadoras, pero no puedo encontrar en ninguna parte que describa qué es un marco de prueba de unidad generativa.
Esperaba obtener:
- Una definicion
- Enlaces a artículos sobre lo que es y no es un marco de Prueba de Unidad Generativa.
Un marco de prueba generativo es aquel en el que el código genera casos de prueba .
Normalmente, escribe código para generar casos de prueba de acuerdo con una o más suposiciones que le gustaría probar.
No soy fabiliar con mbunit en sí mismo, pero por ejemplo usando el test de marco de pruebas generativas Clojure.generative puedes escribir pruebas como:
(defspec integers-closed-over-addition
(fn [a b] (+'' a b)) ;; input fn
[^long a ^long b] ;; input spec
(assert (integer? %))) ;; 0 or more validator forms
Esta prueba especifica directamente la suposición que desea probar (es decir, que la adición de dos largos siempre da como resultado un número entero).
El punto importante es que no tiene que especificar valles long particulares para las pruebas: el marco generará combinaciones arbitrarias de entradas y comprobará que sus afirmaciones sean verdaderas en todos los casos.