Sumários
TP2
27 Fevereiro 2018, 15:00 • João Pedro Guerreiro Neto
Exercícios usando critérios de cobertura baseados em grafos
TP2
26 Fevereiro 2018, 15:00 • João Pedro Guerreiro Neto
Exercícios usando critérios de cobertura baseados em grafos
critérios de cobertura baseados em grafos
26 Fevereiro 2018, 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").