Sumários
T3
11 Março 2019, 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
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. Cf. Ammann & Offutt, chp.2
TP2
26 Fevereiro 2019, 15:00 • João Pedro Guerreiro Neto
Due to sickness, there were no classes this week.
TP2
25 Fevereiro 2019, 15:00 • João Pedro Guerreiro Neto
Due to sickness, there were no classes this week.