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.

T5

25 Março 2024, 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.

TP4

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

---

Exercícios de partição do espaço de entrada.

Exercises about input space partitioning tests.

T4

18 Março 2024, 13:00 • João Pedro Guerreiro Neto

---

Testes baseados em partição do espaço de entrada. Identificação de parametros de input. Modelação do domínio. Derivação de testes de input. Noção de característica e bloco; critérios de cobertura. Padrões de testes.

Input space partitioning tests. Identifying input parameters. Modelling the input domain. Deriving test inputs. Characteristics and blocks. Coverage criteria. Test patterns.