Sumários
T3
11 Março 2024, 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.
TP2
4 Março 2024, 15:00 • João Pedro Guerreiro Neto
Exercicíos sobre critérios de cobertura baseados em grafos
Exercises about Graph-based test coverage.
T2
4 Março 2024, 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.
TP1
26 Fevereiro 2024, 15:00 • João Pedro Guerreiro Neto
Introdução ao JUnit, EclEmma, e SpotBugs.
Introduction to JUnit, EclEmma, and SpotBugs.