Sumários
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.
Semana 7
3 Abril 2023, 13: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.
Semana 6
27 Março 2023, 15:00 • Diogo Miguel Ferreira Poças
Testes baseados em mutação de programas. Operadores de mutação. Relação com modelo RIP. Uso da ferramenta PIT.
Semana 6
27 Março 2023, 13:00 • Diogo Miguel Ferreira Poças
Testes baseados em mutação de programas. Operadores de mutação. Relação com modelo RIP. Uso da ferramenta PIT.
Semana 5
20 Março 2023, 15:00 • Diogo Miguel Ferreira Poças
Testes baseados em lógica. Critérios de cobertura. Cobertura lógica de código fonte. Cobertura lógica de especificações.