Logic-based test coverage. Coverage criteria. Structural logic coverage of source code. Logic coverage of specifications.

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

Logic-based test coverage. Coverage criteria. Structural logic coverage of source code. Logic coverage of specifications.

---

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

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

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

---

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, 15:00 • Alcides Fonseca

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

---

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.

---