4 posts
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…
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…