| Ementa/Descrição: |
Apresentar ao aluno a concepção e a realização de atividades voltadas à verificação de software. Objetivos: Ao final da disciplina o aluno deve conhecer e aplicar métodos de verificação de software.
Tópicos:
Processo de teste;
Tipos de teste (unitário, componente);
Integração (sw-sw, hw-sw, sys-sw);
Testes funcionais (Requirements Based Tests - RBT; cobertura de requisitos);
Testes caixa-preta e caixa-branca;
Teste de máquinas de estado;
Testes baseados em modelos;
Análises estáticas e dinâmicas (stack analysis; cobertura estrutural);
Automação de testes;
Ambientes de execução (MIL, SIL, HIL);
Processo de revisão (checklists, peer review, review meetings, etc).
Teste de mutação (mutation testing)
Teste de regressão (regression testing) |
