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.
Ano de Catálogo: 2022
Créditos: 4
Número mínimo de alunos: 5
Número de alunos matriculados: 9
Idioma de oferecimento: Português
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 | A - CC52 | A - CC52 | ||||
| 15:00 | A - CC52 | A - CC52 | ||||
| 16:00 | ||||||
| 17:00 | ||||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |