Disciplina: Verificação, Validação e Testes de Software (301914)
Professor: André Luiz Peron Martins Lanna
Semestre:
Horário: Sábados, 8:00 às 12:30 horas.
Fundamentos dos processos de verificação, validação e testes; técnicas de verificação e validação de qualidade (inspeção, revisão em pares, auditorias); testes e análise estática da qualidade; níveis de testes (unitário, integração, sistema e aceitação); técnicas de testes (baseadas em especificações, baseadas em código, baseadas em modelos de falhas, etc.); modelos de qualidade e características; normas de qualidade e maturidade em software (MPS.BR, ISO 9126, CMMI); garantia de qualidade de software; qualidade dos artefatos de testes.
Despertar nos alunos a consciência sobre a importância da Verificação e Validação para a qualidade do software, sua influência na redução do retrabalho e consequentemente nos custos do processo de desenvolvimento do software, quando aplicada desde o início do processo de desenvolvimento do software. Ao final da disciplina espera-se que o aluno tenha adquirido conhecimento sobre as principais técnicas e tipos de testes, podendo aplicá-los em suas atividades profissionais.
Unidade 1: Conceitos Básicos e Visão Geral da Verificação e Validação
Unidade 2: Técnicas e Critérios de Teste
Unidade 3: Revisões
Unidade 4: Estudos Teóricos e Experimentais
Unidade 5: Confiabilidade de Software
| Aula # | Data | Conteúdo | Material |
|---|---|---|---|
| 1 | 7/1/22 | Apresentação da disciplina, introdução a VVTS | |
| 2 | 14/1/22 | Verificação de Software, testes de software | |
| 3 | 21/1/22 | Validação de Software | |
| 4 | 28/1/22 | Introdução a verificação de modelos (Model Checking), criação dos modelos | |
| 5 | 4/2/22 | Atividade extra-classe (não haverá aula presencial) | |
| 6 | 11/2/22 | Verificação de propriedades LTL | |
| 7 | 18/2/22 | Computation Tree Logic | |
| 8 | Extra | Sistemas probabilísticos |
A avaliação da disciplina consiste na elaboração de um artigo, a ser elaborado em duplas, sobre um dos tópicos relacionados abaixo. A dupla deverá apresentar claramente, dentro do contexto da empresa ou órgão de um dos alunos:
- um problema em que o tópico de VVTS escolhido se enquadra como uma possível solução;
- a definição dos conceitos básicos sobre o tópico de VVTS escolhido, de modo a embasar o entendimento do restante do texto;
- uma revisão bibliográfica sobre trabalhos relacionados ao tema escolhido
- a definição (projeto) detalhada de uma proposta de solução;
- a definição de um modo de avaliação da solução proposta e, por fim,
- conclusão.
O artigo deverá utilizar o template de artigos da Sociedade Brasileira de Computação (SBC) e deverá ter no máximo 6 páginas, incluindo referências. Recomenda-se o uso de resumo estruturado.
Como sugestão, utilizem como base o guia para escrita de artigos
Ecarnot, F., Seronde, M.-F., Chopard, R., Schiele, F. and Meneveau, N. (dec 2015). Writing a scientific article: A step-by-step guide for beginners. European Geriatric Medicine, v. 6, n. 6, p. 573–579. [link]
Data de entrega: 18/02/2023, via e-mail.
- Baier, C. (2008). Principles of model checking. Cambridge, Mass: The MIT Press. (Disponível gratuitamente na internet)