T7

6 Abril 2020, 13:00 • João Pedro Guerreiro Neto

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

Property Based Testing. Properties, Random Tests. Junit QuickCheck: Type generators, Shrinking. Specifications as properties.