Sumários

Teórico-Prática 11

29 Novembro 2023, 14:30 • Alcides Fonseca

QuickCheck.

Exercícios 1ab, 4, 6abefg da ficha 10.

Teórica 19

27 Novembro 2023, 15:00 • Diogo Miguel Ferreira Poças

Testes de funções com o módulo QuickCheck.

Geração de dados de teste.

Teórico-Prática 10

24 Novembro 2023, 13:30 • Alcides Fonseca

Entrada e saída.

Exercícios 1, 2, 5, 8, 9 da ficha 9.

Teórico-Prática 10

23 Novembro 2023, 17:00 • Diogo Miguel Ferreira Poças

Entrada e saída.

Exercícios 1, 2, 5, 8, 9 da ficha 9.

Teórica 18

23 Novembro 2023, 16:00 • Diogo Miguel Ferreira Poças

Testes de funções com o módulo QuickCheck.

Definição de propriedades, teste de encontro a um modelo, propriedades condicionais, monitorização de dados de teste.