testing

8 artículos

23 ago 2026

La ejecución simbólica encontró un integer overflow que mi cobertura de tests del 94% se perdió

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.

16 ago 2026

Las pruebas metamórficas encontraron 147 bugs en compilers y un defecto en un vehículo autónomo. Así funcionan.

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.

metamorphic-testing case-study production-bugs testing

14 ago 2026

La mayoría de las metamorphic relations son inútiles. Así es cómo elegir las buenas.

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.

metamorphic-testing metamorphic-relations testing oracle-problem

13 ago 2026

¿Cómo pruebo código cuando no conozco la respuesta correcta?

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.

metamorphic-testing oracle-problem testing ml

20 jul 2026

Dejé de copiar código en la documentación manteniendo tests, código y prosa en un solo archivo Markdown

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.

literate-programming documentation testing single-source-of-truth

7 jul 2026

Esperar a que aparezcan race conditions es una estrategia de pruebas terrible

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.

model-checking race-conditions concurrency testing

26 may 2026

Tus tests unitarios pasan, pero tus datos aún desaparecen

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.

deep-dives database testing persistence

25 may 2026

Probar Redux sin ahogarte en mocks de acciones

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.

deep-dives redux testing state-management