T2

25 Fevereiro 2019, 13:00 • João Pedro Guerreiro Neto

Due to sickness, there were no classes this week.

TP1

19 Fevereiro 2019, 15:00 • João Pedro Guerreiro Neto

Exercises dealing with JUnit and Eclemma

TP1

18 Fevereiro 2019, 15:00 • João Pedro Guerreiro Neto

Exercises dealing with JUnit and Eclemma

T1

18 Fevereiro 2019, 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