Disciplina Curricular
Verificação e Validação de Software VVSof
Mestrado Bolonha em Informática - 3_MI 2020/21
Contextos
Grupo: 3_MI 2020/21 > 2º Ciclo > Parte Escolar > Optativas > 892 - Mestrado em Informática - Geral > 2º semestre
Período:
Grupo: 3_MI 2020/21 > 2º Ciclo > Parte Escolar > Optativas > 787 - Mestrado em Informática - CTP
Período:
Peso
6.0 (para cálculo da média)
Objectivos
Saber conceber, analisar, e executar planos de verificação e validação (VV) de um projeto de software, o planeamento de uma estratégia de VV que inclua uma seleção de diferentes técnicas, o acompanhamento do progresso da atividade de VV, a avaliação da eficácia das técnicas utilizadas e do plano de VV em geral.
Programa
Introdução aos testes de software. Testes unitários. Critérios de cobertura de testes baseado em grafos. Testes de particionamento do espaço de entrada. Padrões de código de teste e refatoração. Critérios de cobertura de testes baseada em lógica. Testes baseados em mutações de sintaxe. Testes baseados em propriedades. Sistemas de rastreamento de bugs. Testes de integração e de sistema. Introdução ao Mocking. Uso de ferramentas de software para desenho, codificação e automação de testes de forma estruturada. Testes de integração para aplicações web e bases de dados.
Métodos de ensino e avaliação
Avaliação via dois projetos práticos individuais de 10 valores cada.