CCT-UFCA/Ciência da Computação/Verificação e Validação de Software
Programa do Componente Curricular
[editar | editar código]| Código: | CC0040 | ||||||||
| Componente Curricular: | Verificação e Validação de Software | ||||||||
| Semestre de Oferta: | - | Tipo: | Disciplina | Caráter: | Optativa | ||||
| Unidade Acadêmica Responsável: | Centro de Ciências e Tecnologia - CCT | ||||||||
| Área: | Sistemas de Informação | ||||||||
| Créditos: | 4 | Carga horária: | 64 | Teórica: | 48 | Prática: | 16 | Extensão: | - |
| Pré-requisito: | CC0025 - Banco de dados e CC0030 - Engenharia de Software | ||||||||
| Co-requisito: | - | ||||||||
| Equivalência: | - | ||||||||
Objetivos
[editar | editar código]Conhecer conceitos e técnicas que permitam identificar se um produto de software é construído corretamente e se atende às expectativas das partes interessadas. Conhecer terminologias e fundamentações relacionadas à verificação e à validação de software; Compreender questões relacionadas aos tipos de avaliações de um sistema de software; Conhecer diferentes tipos de técnicas de verificação e de validação, bem como a etapa adequada à sua aplicação durante o ciclo de vida de um sistema de software; Planejar testes e inspeções; Realizar testes e inspeções; Analisar problemas e elaborar relatórios
Ementa
[editar | editar código]Conceitos e técnicas de validação e verificação. Inspeções de software. Testes de software. Aplicação de técnicas de verificação e de validação de software.
Conteúdo
[editar | editar código]Metodologia
[editar | editar código]Avaliação
[editar | editar código]Bibliografia Básica
[editar | editar código]- ELAMARO, M. E.; MALDONADO, J. C.; JINO, M. Introdução ao Teste de Software. Rio de Janeiro, RJ: Elsevier, 2007.
- MACENAS, I.; OLIVEIRA, V. Qualidade em Software: uma metodologia para homologação de sistemas. Rio de Janeiro, RJ: Alta Books, 2005.
- KOSCIANSKI, A.; SOARES, M. S. Qualidade de Software: aprenda as metodologias e técnicas mais modernas para o desenvolvimento de software. 2.ed. São Paulo, SP: Novatec, 2006.
Bibliografia Complementar
[editar | editar código]- PRESSMAN, R. S. Engenharia de Software. 6.ed. São Paulo, SP: McGraw-Hill, 2010.
- FISHER, M. S. Software Verification and Validation: an engineering and scientific approach. New York, NY: Springer, 2010.
- MOLINARI, L. Gerência de configuração: técnicas e práticas no desenvolvimento do software. Florianópolis, SC: Visual Books, 2007.
- BARTIE, A. Garantia da qualidade de software. Rio de Janeiro, RJ: Elsevier, 2002.
- WIEGERS, K. E. Peer Reviews in Software: a practical guide. Upper Saddle River, NJ: Person Addison-Wesley, 2002 A.2.2 Redes de Computadores.