La generación automática de pruebas para el código Rust es un avance crucial en el ámbito de la programación, especialmente cuando se considera la escasez de pruebas escritas manualmente. El marco Self-Evolving Automated prooF gEneration (SAFE) ofrece una solución innovadora a este desafío mediante un ciclo auto-evolutivo que combina la síntesis de datos y el ajuste fino, utilizando un verificador simbólico que asegura la precisión del proceso.

SAFE permite la generación automática de pruebas para el lenguaje de programación Rust, inicialmente limitado por la falta de herramientas de verificación formales. Para abordar esta limitación, se tradujeron miles de programas de Python y Rust a características compatibles con Verus, un avanzado verificador para el código Rust. Esto se complementó con la generación automática de especificaciones formales utilizando un proceso auto-evolutivo que se alimenta de modelos lingüísticos ajustados finamente.

Uno de los hitos importantes es la mejora en la precisión de la generación de pruebas. El marco SAFE adopta un sistema de auto-depuración que reutiliza las pruebas incorrectas generadas, lo que fortalece los modelos para reparar dichas pruebas basándose en el feedback del verificador. Esta innovación ha llevado a un incremento notable en la capacidad de los modelos de código abierto, aumentando la tasa de precisión en un notable 70.50% frente al 24.46% alcanzado por el modelo GPT-4o.

Mediante la implementación de SAFE, se muestra un incremento significativo en la precisión y eficiencia de modelos previamente no familiarizados con la verificación formal, consolidándose como una herramienta poderosa para la automatización en la generación de pruebas para el código Rust.