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

Uma sessão prática de duas horas sobre Testes de Propriedade em Rust, focada em Espaços de Entrada, Casos de Borda e Redução de Regressão (Regression Shrinking). Rust é usado como contexto de implementação, enquanto a lição principal permanece nos fundamentos de engenharia de software, confiabilidade, testes e clareza operacional.

Público-alvo: desenvolvedores de nível iniciante e intermediário que desejam uma sessão de engenharia prática, não um tour pela linguagem.

Resultados:

• Explicar os limites práticos dos Testes de Propriedade em Rust
• Aplicar Espaços de Entrada em um pequeno exemplo prático
• Aplicar Casos de Borda em um pequeno exemplo prático
• Aplicar Redução de Regressão em um pequeno exemplo prático

Formato: duas horas com uma breve explicação introdutória, um exemplo concreto, discussão de prós e contras e uma lista de verificação final para prática.