Sumários

T7

6 Abril 2020, 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 2020, 15:00 • João Pedro Guerreiro Neto

Syntax-based test coverage exercises.

TP6

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

Syntax-based test coverage exercises.

T6

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

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT. Cf. Ammann & Offutt, chp.5

TP5

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

Logic-based test coverage exercises.