T7

7 Abril 2025, 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

31 Março 2025, 15:00 • João Pedro Guerreiro Neto

Uso da ferramenta PIT.

Tool for mutation testing: PIT.

---

T6

31 Março 2025, 13:00 • João Pedro Guerreiro Neto

Testes baseados em mutação de programas. Operadores de mutação. Relação com modelo RIP.

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model.

---

TP5

24 Março 2025, 15:00 • João Pedro Guerreiro Neto

Exercícios com testes baseados em lógica.

Exercises based on Logic-based test coverage.

---

T5

24 Março 2025, 13:00 • João Pedro Guerreiro Neto

Testes baseados em lógica. Critérios de cobertura. Cobertura lógica de código fonte. Cobertura lógica de especificações.

Logic-based test coverage. Coverage criteria. Structural logic coverage of source code. Logic coverage of specifications.

---