Guidé par la beauté de notre suite de tests : une histoire de Rust, Uxn et de rigueur d’ingénierie

L’été dernier, l’auteur a publié Raven, une implémentation indépendante du processeur Uxn et de l’ordonnateur Varavara. Récemment, pour améliorer la stabilité et les performances, l’auteur a mis en place une infrastructure de test robuste, incluant l’intégration continue GitHub Actions, les tests d’instantanés, la prévention statique des pannes et le fuzzing. Cet article détaille les défis et les solutions rencontrés lors de la création de ces tests, tels que les problèmes de fiabilité des exécuteurs Windows et ARM de GitHub Actions, et les pièges liés à la preuve statique de l’absence de pannes et au fuzzing. L’auteur a réussi à améliorer les performances et la fiabilité de Raven, en garantissant la portabilité multiplateforme. Le processus met en évidence la puissance de Rust, cargo-fuzz et même (soupir) GitHub Actions pour créer des systèmes robustos et corrects.