Sumários
2 Março 2020, 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
18 Fevereiro 2020, 15:00
•
João Pedro Guerreiro Neto
Exercises dealing with JUnit and Eclemma
17 Fevereiro 2020, 15:00
•
João Pedro Guerreiro Neto
Exercises dealing with JUnit and Eclemma
17 Fevereiro 2020, 13:00
•
João Pedro Guerreiro Neto
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 e EclEmma. Cf.
Ammann & Offutt, chp.1
Course introduction. Software tests. Terminology: fault, error, failure, RIP model, test case, test requirements, coverage criteria, criteria subsumption. Line, instruction and branch coverage. Introduction to JUnit and Eclmma. Cf. Ammann & Offutt, chp.1