Sumários

TP3

11 Março 2024, 15:00 João Pedro Guerreiro Neto


Exercises about data flow graph coverage.

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 JUnitEclEmma, e SpotBugs.

Introduction to JUnitEclEmma, and SpotBugs.