Sumários

T04

21 Março 2022, 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.

TP3

14 Março 2022, 15:00 • João Pedro Guerreiro Neto

Exercícios sobre critérios de cobertura baseados em grafos

T03

14 Março 2022, 13:00 • João Pedro Guerreiro Neto

Cobertura estrutural de grafos de chamadas ("call graphs") e de abstrações de software por máquinas de estado finitas ("finite state machines"). Cobertura de grafos por fluxo de dados: definições e usos, caminhos definição-uso, critérios de cobertura ("All Defs", "All Uses", "All Du paths"). Aplicação de cobertura de grafos por fluxo de dados a grafos de controlo de fluxo em código fonte e acoplamentos "lastdef"/"firstuse" a chamadas de métodos.

TP2

7 Março 2022, 15:00 • João Pedro Guerreiro Neto

Exercícios sobre critérios de cobertura baseados em grafos

T02

7 Março 2022, 13:00 • João Pedro Guerreiro Neto

Introdução a critérios de cobertura baseados em grafos. Construção de grafos de controlo de fluxo ("control flow graphs"). Critérios de cobertura estrutural com grafos: nós ("node coverage"); arestas ("edge coverage"); pares de arestas ("edge pair coverage"); todos os caminhos ("complete path coverage"); caminhos primos ("prime path coverage"). Cf. Ammann & Offutt, chp.2