Guiado por la belleza de nuestra suite de pruebas: Una historia de Rust, Uxn y rigor de ingeniería

2025-01-21

El verano pasado, el autor lanzó Raven, una implementación independiente de la CPU Uxn y el orquestador Varavara. Recientemente, para mejorar la estabilidad y el rendimiento, el autor construyó una infraestructura de prueba robusta, que incluye CI de GitHub Actions, pruebas de instantáneas, prevención estática de pánico y fuzzing. Esta publicación detalla los desafíos y las soluciones encontradas durante la construcción de estas pruebas, como problemas con la confiabilidad de los ejecutores de Windows y ARM de GitHub Actions y las dificultades en la prueba estática de la ausencia de pánico y en el fuzzing. El autor mejoró con éxito el rendimiento y la confiabilidad de Raven, garantizando la portabilidad entre plataformas. El proceso destaca el poder de Rust, cargo-fuzz e incluso (suspiro) GitHub Actions en la creación de sistemas robustos y correctos.

Desarrollo Pruebas