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: 2020
Créditos: 4
Número mínimo de alunos: 5
Número de alunos matriculados: 14
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 | A - CC51 | |||||
| 11:00 | A - CC51 | |||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | ||||||
| 15:00 | ||||||
| 16:00 | A - CC51 | |||||
| 17:00 | A - CC51 | |||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |