Sumários
TP4
17 Março 2025, 15:00 • João Pedro Guerreiro Neto
Exercícios de cobertura baseados em grafos.
Exercises about Graph-based test coverage.
T4
17 Março 2025, 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.
Graph-based test coverage:
call graphs and finite state machines. Data flow graph coverage:
definitions, coverage criteria: All-Defs, All-Uses, All-Du-Paths
coverage. Coupling du-paths and coverage criteria, "lastdef"/"firstuse"
in method calls.
TP3
10 Março 2025, 15:00 • João Pedro Guerreiro Neto
Exercícios de cobertura baseados em grafos.
Exercises about Graph-based test coverage.
T3
10 Março 2025, 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").
Introduction to Graph-based test coverage. Control flow graphs construction. Structural graph coverage criteria: node coverage, edge coverage, edge pair coverage, complete path coverage, prime path coverage.
TP2
24 Fevereiro 2025, 15:00 • João Pedro Guerreiro Neto
Due to the professor being sick student used the online material to study: Input space partitioning tests. Identifying input parameters. Modelling the input domain. Deriving test inputs. Characteristics and blocks. Coverage criteria. Test patterns.