Ementa:
Verificação e Validação (V&V) de software. Técnicas de Verificação Estática: Revisões e Inspeção. Análise Estática de Código. Análise de Segurança. Técnicas de Verificação Dinâmica: Execução simbólica. Testes.Testes de Software: Conceitos. Técnicas caixa branca, caixa preta e baseadas em defeitos. Testes Baseados em Modelos. Testes de requisitos não funcionais. Escopo de testes (Unidades, Integração, Sistemas, Regressão, Aceitação). Testes ágeis.Automatização dos testes. Gerenciamento de testes.
Bibliografia:
1. Mauro Pezzè, Michal Young. Teste e Análise de Software: processos, princípios e técnicas. Tradução: Bernardo Copstein e Flávio Moreira de Oliveira. Bookman, 2008.
2. Marcio Delamaro, José Carlos Maldonado e Mário Jino. Introdução ao Teste de Software. Editora Elsevier-Campus, 2ª edição, 2016.
3. John Smart. BDD In Action. Behavior Driven Development for the whole software lifecycle. Manning, 2013.
Ano de Catálogo: 2021
Créditos: 4
Número mínimo de alunos: 5
Número de alunos matriculados: 17
Idioma de oferecimento: Português
Tipo Oferecimento: Regular
Local Oferecimento:
Horários/Salas:
Docentes:
Reservas:
Hora | Segunda | Terça | Quarta | Quinta | Sexta | Sábado |
---|---|---|---|---|---|---|
07:00 | ||||||
08:00 | ||||||
09:00 | ||||||
10:00 | ||||||
11:00 | ||||||
12:00 | ||||||
13:00 | ||||||
14:00 | ||||||
15:00 | ||||||
16:00 | A - CC52 | A - CC52 | ||||
17:00 | A - CC52 | A - CC52 | ||||
18:00 | ||||||
19:00 | ||||||
20:00 | ||||||
21:00 | ||||||
22:00 | ||||||
23:00 |