Programa

Teste e Validação de Software

Mestrado Bolonha em Matemática e Aplicações e Computação

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark

Programa

Motivação para testes e validação de software. Testes de caixa branca baseados em análise de código: análise baseada em fluxo de dados e fluxo de controlo. Testar código orientado a objetos: a aproximação baseada no model/testes de caixa preta: teste dos valores fronteira, teste de classes de equivalência, teste baseado em tabela de decisão, teste de código recursivo, teste de máquinas de estado finitas; testes ao nível de método e de classe. Gestão do processo de teste: testes unitários, testes de sub-sistema, testes de integração, testes de sistema e testes de regressão. Ferramentas para testes automáticos. Testes não-funcionais: Carga, desempenho e segurança, Análise estática de código. Geração automática de testes: testes de mutação, testes concólicos, execução simbólica, verificação do modelo. Tópicos adicionais: “delta debugging”, instrumentalização de código e identificação de invariantes.