Disciplina Curricular

Verificação e Validação de Software VVSof

Mestrado Bolonha em Segurança Informática - 3_MSI 2020/21

Contextos

Grupo: 3_MSI 2020/21 > 2º Ciclo > Parte Escolar > Optativas > 789 - Mestrado em Segurança Informática - Grupo OG > 2º semestre

Período:

Grupo: 3_MSI 2020/21 > 2º Ciclo > Parte Escolar > Optativas > 842 - Mestrado em Segurança Informática - Grupo 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 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.

Disciplinas Execução

2023/2024 - 2 Semestre

2022/2023 - 2 Semestre

2021/2022 - 2 Semestre

2020/2021 - 2º semestre