Sumários

T2

24 Fevereiro 2025, 13:00 João Pedro Guerreiro Neto

Due to the professor being sick student used the online material to study: Input space partitioning tests. Identifying input parameters. Modelling the input domain. Deriving test inputs. Characteristics and blocks. Coverage criteria. Test patterns.


T1

17 Fevereiro 2025, 15:00 João Pedro Guerreiro Neto

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, EclEmma, and SpotBugs.


TP1

17 Fevereiro 2025, 13:00 João Pedro Guerreiro Neto

Exercises with JUnit and Eclemma