Disciplina Curricular

Teste e Validação de Software TVS

Mestrado Bolonha em Matemática e Aplicações - MMA 2006

Contextos

Grupo: MMA 2006 > 2º Ciclo > Perfis > Matematica da Computação > Metodologia e Tecnologia da Programação > Opções - Mtp

Período:

Peso

7.5 (para cálculo da média)

Objectivos

O tamanho e a complexidade de programas de software tem vindo a crescer, sendo por isso cada vez mais importante conseguir validar a correção dos programas. Um dos custos principais no desenvolvimento de software é a sua validação. Existem várias técnicas de validação, sendo a técnica de teste de software uma das técnicas mais utilizadas. A UC de Teste e Validação de Software (TVS) oferece formação avançada nas técnicas de teste de software, incluindo técnicas manuais, semi-automáticas e automáticas. A UC de TVS oferece também formação sobre técnicas adicionais de validação de software, incluindo a análise estática e a verificação de modelos. A UC proporciona também contacto com ferramentas académicas e industriais de validação de software.

Programa

Introdução à qualidade de software. Limitações de testar software. Testes de Software aplicado a código com objetos Testes de Caixa Branca: Grafo de controlo de fluxo; Modelos de cobertura Testes de Caixa Preta: Testes baseado num modelo do código; Testes ao nível de método: Testes aos valores fronteira; Testes por classes de equivalência; Testes baseados numa tabela decisão; testes a recursão Testes ao nível de classe: Testes a classes modais e não modais e impacto de herança nos testes; Testes ao nível de subsistema; Testes de integração: Big Bang, Top-Down, Bottom-Up, Por camadas, Sistemas Distribuídos Testes de regressão: Definição de técnica de seleção de casos de teste. Diferentes técnicas de seleção Testes ao nível de sistema. Testes a requisitos funcionais; Testes a requisitos não- funcionais: Testes de carga, Testes de desempenho. Geração Automática de Testes: Teste por mutação; Teste concólico; Execução simbólica Análise Estática de Software: Técnicas de análise estática; Apresentar algumas ferramentas existentes; Verificação de Modelos de Software: Fundamentos: lógica temporal, restrições, etc. Algoritmos para verificação de modelos Tópicos Adicionais: Depuração delta; Instrumentação de código; Identificação de invariantes

Metodologia de avaliação

Exame (60%) + Projecto (40%)

Disciplinas Execução

2017/2018 - 2ºSemestre

2016/2017 - 2ºSemestre