Sumários

Input space partitioning tests. Identifying input parameters. Modelling the input domain. Deriving test inputs. Characteristics and blocks. Coverage criteria. Test patterns.

9 Março 2026, 13:00 • Alcides Fonseca

Input space partitioning tests. Identifying input parameters. Modelling the input domain. Deriving test inputs. Characteristics and blocks. Coverage criteria. Test patterns.

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.

3 Março 2026, 10:30 • Alcides Fonseca

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.

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.

2 Março 2026, 15:00 • Alcides Fonseca

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.

2 Março 2026, 13:00 • Alcides Fonseca

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.

24 Fevereiro 2026, 10:30 • Alcides Fonseca

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.