TP7

15 Abril 2024, 15:00 • João Pedro Guerreiro Neto

---

Exercícios com testes baseados em propriedades de programas. Definição de classes geradores de valores aleatórios dos tipos string e venda.

Exercises about Property Based Testing. Definition of generator classes, namely random string and random sale generators.

T7

15 Abril 2024, 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.

TP6

8 Abril 2024, 15:00 • João Pedro Guerreiro Neto

---

Exercícios de testes baseados em mutação de programas.

Syntax-based test coverage exercises.

T6

8 Abril 2024, 13:00 • João Pedro Guerreiro Neto

---

Testes baseados em mutação de programas. Operadores de mutação. Relação com modelo RIP. Uso da ferramenta PIT.

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT.

TP5

25 Março 2024, 15:00 • João Pedro Guerreiro Neto

---

Exercícios com testes baseados em lógica.

Exercises about Logic-based test coverage.