Sumários
Semana 2
27 Fevereiro 2023, 15:00 • Diogo Miguel Ferreira Poças
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").
Semana 2
27 Fevereiro 2023, 13:00 • Diogo Miguel Ferreira Poças
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").
Semana 1
13 Fevereiro 2023, 15:00 • Diogo Miguel Ferreira Poças
Apresentação da cadeira. Introdução a testes de software. Terminologia base de testes de software: falta/erro/falha, modelo RIP, caso de teste, requisito de teste,critério de cobertura, subsunção entre critérios. Cobertura de linhas, instruções e saltos em código fonte. Introdução ao JUnit, EclEmma e SpotBugs.
Semana 1
13 Fevereiro 2023, 13:00 • Diogo Miguel Ferreira Poças
Apresentação da cadeira. Introdução a testes de software. Terminologia base de testes de software: falta/erro/falha, modelo RIP, caso de teste, requisito de teste,critério de cobertura, subsunção entre critérios. Cobertura de linhas, instruções e saltos em código fonte. Introdução ao JUnit, EclEmma e SpotBugs.