Programa

Verificação e Validação de Software

Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança Informática

Mestrado Bolonha em Engenharia Informática

Programa

Introdução aos testes de software. Testes unitários. Critérios de cobertura de testes baseado em grafos. Testes de particionamento do espaço de entrada. Padrões de código de teste e refatoração. Critérios de cobertura de testes baseada em lógica. Testes baseados em mutações de sintaxe. Testes baseados em propriedades. Sistemas de rastreamento de bugs. Testes de integração e de sistema. Introdução ao Mocking. Uso de ferramentas de software para desenho, codificação e automação de testes de forma estruturada. Testes de integração para aplicações web e bases de dados.