Disciplina Curricular
Verificação e Validação de Software VVSof
Mestrado Bolonha em Segurança Informática - 2_MSI 2013/14
Contextos
Grupo: 2_MSI 2013/14 > 2º Ciclo > Parte Escolar > - > Optativas > 789_1º Ano do Mest.Segurança Informática - Grupo OG > 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 projecto de software, incluindo o exame das condicionantes do projecto, o planeamento de uma estratégia de VV que inclua uma selecção de diferentes técnicas, o acompanhamento do progresso da actividade de VV, a avaliação da eficácia das técnicas utilizadas e do plano de VV em geral.
Programa
Fundamentos de testes de software. Defeitos de software, testes e cobertura de testes. Engenharia de testes e sua integração no processo de desenvolvimento de software. - Metodologias: testes baseados em cobertura por grafos, lógica, partição do espaço de input, orientados à sintaxe, e baseado em propriedades. - Aplicação a artefactos de software. Testes unitários, de integração, e de regressão. Uso de ferramentas de software para desenho, codificação e execução de testes.
Métodos de ensino e avaliação
Aulas teóricas de exposição da matéria, aulas teórico-práticas de resolução de exercícios, projectos de software a executar pelos alunos. Avaliação via dois projetos práticos individuais de 10 valores cada.