Semana 7

3 Abril 2023, 15:00 • Diogo Miguel Ferreira Poças

Testes baseados em propriedades de programas. Propriedades, testes aleatórios. Uso da biblioteca Junit QuickCheck: geradores de tipos, contração. Especificações como propriedades.