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.

23 Fevereiro 2026, 15: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.

---

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.

23 Fevereiro 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.

---