Sumários

TP8

16 Abril 2019, 15:00 João Pedro Guerreiro Neto

Junit QuickCheck exercises.


TP8

15 Abril 2019, 15:00 João Pedro Guerreiro Neto

Junit QuickCheck exercises.


T8

15 Abril 2019, 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. Introdução à biblioteca Mockito. Cf. Gerard Meszaros, chps. 1 to 5.

Property Based Testing. Properties, Random Tests. Junit QuickCheck: Type generators, Shrinking. Specifications as properties. Introduction to Mockito. Cf. Gerard Meszaros, chps. 1 to 5.


TP7

9 Abril 2019, 15:00 João Pedro Guerreiro Neto

Syntax-based test coverage exercises.


TP7

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

Syntax-based test coverage exercises.