Curso de Especialização em Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Engenharia Informática

O principal objectivo desta unidade curricular é apresentar aos alunos questões relacionadas com a qualidade do software, a terminologia utilizada na área de Verificação e Validação (VV) e explorar / praticar diferentes técnicas de Verificação e Validação necessárias para construir sistemas de software de alta qualidade. No final do semestre, espera-se que os alunos sejam capazes de projectar e executar um plano de Verificação e Validação num dado projecto de software. Mais especificamente, espera-se que os alunos sejam capazes de: - Planear uma estratégia de verificação e validação que inclua uma selecção de diferentes técnicas e ferramentas. - Projectar e desenvolver testes em diferentes níveis (por exemplo, unidade, integração, sistema) com recurso a ferramentas standard. - Derivar testes que lidam com casos excepcionais e extremos, bem como ser capazes de refletir sobre as suas limitações e quando não aplicá-los num determinado contexto. - Medir e refletir sobre a eficiência dos testes desenvolvidos com recurso a diferentes métricas (por exemplo, cobertura de linhas de código). - Escrever código de teste sustentável evitando problemas bem conhecidos (por exemplo, instabilidade, testes ilegíveis, lentos, dependentes, etc.) - Acompanhar a execução de um plano de Verificação e Validação, avaliar a eficácia das técnicas utilizadas e do próprio plano.