Explorando desarrollo AI-first, guardrails de código y la arquitectura de la descartabilidad.
Los large language models son socios de lluvia de ideas decentes para descubrir test oracles, pero alucinan propiedades y omiten restricciones de dominio. Así es cómo usarlos sin desplegar pruebas falsas.
Necesitas probar una función donde la salida correcta es imposible de conocer de antemano. Un optimizador de rutas. Un clasificador de sentimiento. 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…
Cómo usar phantom types y parámetros `this` para convertir transiciones de protocol ilegales en errores de compilación en lugar de bugs en tiempo de ejecución.
Cada cliente de API tiene una state machine escondida dentro. Primero el handshake. Segundo, autenticar. Tercero, enviar datos. Por último, cerrar. Rompe ese…
Las especificaciones OpenAPI describen los esquemas de petición y respuesta, pero no especifican las secuencias de mensajes válidas. Así es como extraer lo que puedes y dónde aún necesitas llenar los vacíos.
Las especificaciones OpenAPI te dicen cómo se ve una petición válida y cómo se ve una respuesta válida. No te dicen si puedes llamar a antes de , o qué ocurre…
Los tipos de sesión codifican protocols de comunicación en el sistema de tipos, convirtiendo errores de protocol en tiempo de ejecución en fallos en tiempo de compilación. Aquí está por qué pasaron treinta años en artículos de investigación antes de que el código de producción pudiera usarlos.
Los tipos de sesión se inventaron en 1993. Treinta años después, la mayoría de los servicios en red siguen validando el estado del protocol con comprobaciones…
Los tipos de sesión codifican protocols de comunicación en tu sistema de tipos, convirtiendo los desajustes de paso de mensajes en errores del compiler antes de que tu código se ejecute.
Los deadlocks se supone que son un problema de tiempo de ejecución. Eso es lo que los hace tan molestos. Tu código compila limpio, tus pruebas pasan, y luego…
Cómo ejecutar análisis estático formal en tu pipeline de CI usando Infer, con configuraciones funcionales y trade-offs realistas.
La interpretación abstracta es el tipo de término que hace que los ingenieros cierren la pestaña. Suena como algo que necesitas un semestre de teoría de…
Los large language models pueden ayudar a triagear falsos positivos del análisis estático, pero no entienden la semántica del programa como lo hace la interpretación abstracta. Así es como combinar ambos.
Tu analizador estático acaba de emitir 847 advertencias en una tarde de viernes. Sabes, estadísticamente, que entre el 5% y el 15% de ellas son bugs reales. El…
Cómo Facebook usó interpretación abstracta y unsoundness intencional para encontrar condiciones de carrera a escala en millones de líneas de código Android.
La aplicación de Android de Facebook tenía un problema de rendimiento. El hilo de la interfaz se estaba ahogando en trabajo, pero mover código a hilos de fondo…