A nossa sociedade está construída sob software. Este gere as nossas informações privadas, controla os nossos carros e até regula os nossos corpos. Assim, é de extrema importância que construamos sistemas de software robustos e operacionais. A chave para fornecer software robusto é através de um processo completo de verificação e validação (V&V). Este curso explora o processo de V&V e examina uma variedade de métodos para verificar e validar um sistema de software, provar a sua correção e fornecer índicios de que o software que construímos é confiável e seguro para uso. No final deste curso, os participantes deverão ser capazes de: - Planear uma estratégia de V&V que inclua uma seleção de diferentes técnicas e ferramentas; - Derivar testes, em diferentes níveis, que lidam com casos excepcionais / pontuais por realizar várias técnicas diferentes (por exemplo, análise de limites), bem como ser capaz de refletir sobre suas limitações; - Medir a eficiência dos testes desenvolvidos por meio de diferentes métricas de adequação de teste (por exemplo, cobertura MC / DC); - Escrever código de teste que pode ser mantido, evitando problemas de teste bem conhecidos (por exemplo, testes de instabilidade, ilegíveis, lentos, dependentes, gordos); - Deve estar pronto para fazer o exame de base do ISTQB.