Disciplina Curricular
Verificação e Validação de Software VVSof
Mestrado Bolonha em Segurança Informática - 4_MSI 2025/26
Contextos
Grupo: 4_MSI 2025/26 > 2º Ciclo > Parte Escolar > Opções > 2012 - MSI - Opção Grupo Opcional Geral (OG) > 2º semestre
Período:
Grupo: 4_MSI 2025/26 > 2º Ciclo > Parte Escolar > Opções > 2011 - MSI - Opção Grupo Área Específica (AE) > 2º semestre
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.