T07
11 Abril 2022, 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.
11 Abril 2022, 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.