Sumários

TP5

23 Março 2020, 15:00 • João Pedro Guerreiro Neto

Logic-based test coverage exercises.

T5

23 Março 2020, 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. Cf. Ammann & Offutt, chp.3

Logic-based test coverage. Coverage criteria. Structural logic coverage of source code. Logic coverage of specifications. Cf. Ammann & Offutt, chp.3

TP4

17 Março 2020, 15:00 • João Pedro Guerreiro Neto

Input space partitioning tests exercises.

TP4

16 Março 2020, 15:00 • João Pedro Guerreiro Neto

Input space partitioning tests exercises.

T4

16 Março 2020, 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. Cf. Ammann & Offutt, chp.4

Input space partitioning tests. Identifying input parameters. Modelling the input domain. Deriving test inputs. Characteristics and blocks. Coverage criteria. Cf. Ammann & Offutt, chp.4