Sumários

TP8

22 Abril 2024, 15:00 • João Pedro Guerreiro Neto

Estudo do projeto relativo ao Mockito. Apoio à elaboração do primeiro projeto.

T8

22 Abril 2024, 13:00 • João Pedro Guerreiro Neto

Sistemas de gestão de bugs. Relatórios de bugs. O que reportar, técnicas de follow-up, motivação do bug, análise de falhas, erros não-reproduzíveis. Introdução à biblioteca Mockito.

Bug-tracking systems. Bugs report. What to report, follow-up techniques, motivating bugs, failure analysis, non-reproducible errors. Introduction to Mockito.

TP7

15 Abril 2024, 15:00 • João Pedro Guerreiro Neto

Exercícios com testes baseados em propriedades de programas. Definição de classes geradores de valores aleatórios dos tipos string e venda.

Exercises about Property Based Testing. Definition of generator classes, namely random string and random sale generators.

T7

15 Abril 2024, 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

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

Exercícios de testes baseados em mutação de programas.

Syntax-based test coverage exercises.