Programa

Verificação e Validação de Software

Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Engenharia Informática

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.