Rust Property Testing: Input Spaces, Edge Cases, and Regression Shrinking

Una sesión práctica de dos horas sobre pruebas de propiedades (Property Testing) en Rust, centrada en espacios de entrada, casos límite y reducción de regresión (regression shrinking). Se utiliza Rust como contexto de implementación, mientras que la lección principal se mantiene en los fundamentos de la ingeniería de software, la fiabilidad, las pruebas y la claridad operativa.

Audiencia: desarrolladores de nivel inicial e intermedio que buscan una sesión de ingeniería práctica, no un recorrido por el lenguaje.

Resultados:

• Explicar los límites prácticos de las pruebas de propiedades en Rust
• Aplicar espacios de entrada en un pequeño ejemplo práctico
• Aplicar casos límite en un pequeño ejemplo práctico
• Aplicar la reducción de regresión en un pequeño ejemplo práctico

Formato: dos horas con un breve recorrido de encuadre, un ejemplo concreto, discusión de ventajas y desventajas, y una lista de verificación final para la práctica.