Rust Property Testing: Input Spaces, Edge Cases, and Regression Shrinking

Une session pratique de deux heures sur les tests de propriétés (Property Testing) en Rust, axée sur les espaces d'entrée, les cas limites et la réduction de régression (Regression Shrinking). Rust est utilisé comme contexte d'implémentation, tandis que la leçon principale reste centrée sur les fondamentaux de l'ingénierie logicielle, la fiabilité, les tests et la clarté opérationnelle.

Public : développeurs débutants et intermédiaires souhaitant une session d'ingénierie pratique, et non une présentation du langage.

Objectifs :

• Expliquer les limites pratiques des tests de propriétés en Rust
• Appliquer les espaces d'entrée dans un petit exemple concret
• Appliquer les cas limites dans un petit exemple concret
• Appliquer la réduction de régression dans un petit exemple concret

Format : deux heures comprenant une courte présentation, un exemple concret, une discussion sur les compromis et une liste de contrôle finale pour la mise en pratique.