T1

26 Fevereiro 2024, 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.

Course introduction. Software tests. Terminology: fault, error, failure, RIP model, test case, test requirements, coverage criteria, criteria subsumption. Line, instruction and branch coverage.