Programa

Verificação e Validação de Software

Curso de Especialização em Informática

Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança 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.