Hegel: pruebas avanzadas llegan a más lenguajes

Antithesis ha lanzado Hegel, una nueva familia de bibliotecas de pruebas basadas en propiedades, disponibles inicialmente para Rust y con planes de expansión a Go, C++, OCaml y TypeScript. Hegel busca replicar la calidad de las pruebas basadas en propiedades de Hypothesis en múltiples lenguajes, integrándose con Antithesis para mejorar la detección de errores. Las pruebas basadas en propiedades definen un rango de valores para verificar si una propiedad se cumple, en lugar de proporcionar casos de prueba concretos. Un ejemplo inicial en Rust reveló un error en la biblioteca fraction donde from_str("0/0") provocaba un pánico en lugar de retornar un error. Hegel también ha ayudado a identificar errores en otras bibliotecas, incluyendo heck y rust_decimal, demostrando su utilidad para encontrar errores relacionados con el manejo de ceros, errores en tipos de datos y violaciones de invariantes estructurales complejas. El equipo de Antithesis considera que este tipo de pruebas son valiosas para encontrar errores comunes y para validar invariantes complejas en el software.