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

Breve introdução a Verificação e Validação de Software e a software defects, seguida de uma discussão aprofundada dos seguintes conceitos: - Test/Análise estática: revisões manuais e ferramentas para automatizar a análise estática. - Test/Análise dinâmica. - Testes de caixa negra. - Testes de caixa branca. - Qualidade dos testes de software. - Testes de regressão. - Tipos de testes: integração, sistema e aceitação. - Planeamento e documentação de testes.