8 posts
Tus unit tests comprueban entradas específicas. La ejecución simbólica comprueba cada entrada posible. Así es como funciona, qué cuesta y por dónde empezar.
Tu test suite tiene un 94% de cobertura y cero fallos. Un motor de ejecución simbólica encuentra un crash en tu código en menos de tres segundos. El test no…
Las pruebas metamórficas han descubierto bugs reales en GCC, LLVM, compilers de shaders Vulkan y simuladores de ADAS. Esta publicación explica la técnica con código funcional y muestra dónde encaja en tu suite de pruebas.
Las pruebas metamórficas han encontrado 147 bugs confirmados en GCC y LLVM, defectos en simuladores comerciales de ADAS usados por OEMs automotrices, y una…
No todas las metamorphic relations atrapan bugs. Las relaciones débiles dan una falsa confianza mientras que las fuertes encuentran fallas reales. Así es cómo distinguir la diferencia y construir un conjunto de relaciones que realmente funcione.
Escribiste doce metamorphic relations para tu motor de precios. Cada prueba pasa. Te sientes bien con tu cobertura. Luego un cliente reporta que los descuentos…
El metamorphic testing te permite verificar la corrección del código sin conocer la salida esperada exacta. Así es como funciona, cuándo falla y cómo empezar a usarlo.
Despliegas un modelo de aprendizaje automático que tag tickets de soporte. Tu suite de pruebas está en verde. Cada prueba pasó. Ninguna de esas pruebas…
La programación literaria mantiene la documentación, los tests y la implementación sincronizados al convertir un archivo Markdown en la única fuente de verdad. Así es como implementarlo en treinta líneas de Python.
Tus docs, tests y código son tres archivos contando la misma historia mal. Actualizas la firma de la función en el source. Olvidas el ejemplo del README. Una…
Por qué el model checking supera a días de ejecución en producción para encontrar bugs de concurrencia, y cómo aplicarlo a tu propio código.
Esperar a que las race conditions surjan en producción no es testing. Es esperanza disfrazada de diligencia. Puedes ejecutar tu app durante semanas, vigilar…
Los tests de base de datos con mocks verifican tu sintaxis SQL, no si las filas sobreviven a caídas, escrituras concurrentes o desajustes de esquema. Así es como se prueba la persistencia de verdad.
Si usas mocks de base de datos en los tests, estás probando que tu capa de repository llama a los métodos correctos. No estás probando que los datos sobrevivan…
Mockear cada acción de Redux convierte tus pruebas en un validador de changelog. Así es como probar tu store con transiciones de estado reales.
Si alguna vez escribiste una prueba que verifica que se llamó a con la forma exacta del payload, escribiste una prueba que se rompe cada vez que alguien…