Disciplina Curricular
Verificação e Validação de Software VVSof
Mestrado Bolonha em Engenharia Informática - 3_MEI 2012/13
Contextos
Grupo: 3_MEI 2012/13 > 2º Ciclo > Parte Escolar > Ramos > Arquitetura, Sistemas e Redes de Computadores > Optativas > 748_1º Ano do Mestrado em Eng. Inf. - GO (ASRC) > 2º Semestre
Período:
Grupo: 3_MEI 2012/13 > 2º Ciclo > Parte Escolar > Ramos > Engenharia de Software > Optativas > 889_1º Ano do Mestrado em Eng. Inf. - AE (ES) > 2º Semestre
Período:
Grupo: 3_MEI 2012/13 > 2º Ciclo > Parte Escolar > Ramos > Sistemas de Informação > Optativas > 751_1º Ano do Mestrado em Eng. Inf. - GO (SI) > 2º Semestre
Período:
Grupo: 3_MEI 2012/13 > 2º Ciclo > Parte Escolar > Ramos > Interação e Conhecimento > Optativas > 750_1º Ano do Mestrado em Eng. Inf. - GO (IC) > 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.