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.
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.