Curso de Especialização em Informática

Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança Informática

Mestrado Bolonha em Segurança 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.