4 posts
Los 100 ejemplos por defecto en property-based testing son un compromiso social, no una estrategia estadística. Aquí te explicamos cómo elegir un número de ejecuciones que se ajuste a tus necesidades de confianza y tu presupuesto de CI.
Si ejecutas property-based tests con los 100 ejemplos por defecto, te estás llevando lo peor de ambos mundos. Tu CI es más lenta de lo necesario, y aún así no…
El example-based testing solo cubre los inputs que se te ocurrieron. El property-based testing genera datos aleatorios, verifica invariantes y reduce los fallos a contraejemplos mínimos mediante shrinking.
Escribiste una función . La probaste con y . Pasa. La envías a producción. Un usuario le pasa un slice de un solo elemento. Tu función lo descarta. Abren un…
Si quieres que el código generado con AI sobreviva en producción, code review no basta. Necesitas una pila por capas desde type constraints hasta mutation testing y runtime containment.
Lo peligroso del código generado con AI no es que siempre esté mal. Lo peligroso es que a menudo parece lo bastante correcto como para hacer merge. Ahí está el…
Design by contract, property-based testing, mutation testing y model checking no eran malas ideas. Exigían demasiada experiencia especializada para sostenerlas. La AI cambia esa ecuación.
La ingeniería de software está llena de ideas que parecen obviamente correctas en cuanto las lees. Claro que los contracts deberían definir qué puede aceptar y…