Home
/
Documentos
/
Ementário
/
Disciplinas Específicas
/
Linha de Pesquisa em Engenharia de Software
/
CAES002 - Testes, Verificação e Validação de Sistemas

CAES002 - Testes, Verificação e Validação de Sistemas

Publicado 1/23/2018, 3:42:37 PM, última modificação 1/23/2018, 3:42:41 PM

Carga horária: 45 horas-aula (3 créditos)

Ementa: Conceitos e Histórico da Engenharia de Testes. Testes durante o ciclo de vida de software. Plano de Testes. Projeto de Testes. Implementação de Testes. Execução de Testes. Gerenciamento de Testes. Ferramentas de Suporte a Testes. Documentação. Verificação e Validação de Sistemas. Sistemas da prova. Checagem de Modelos. Análise estática de código.

Bibliografia:

  • SPILLNER, A.; LINZ, T.; SCHAEFER, H. Software Testing Foundations. Sebastopol, CA: Rock Nook Inc., 2007.

  • BEIZER, B. Software Testing Techniques. New York, NY: Van Nostrand Reinhold Company, 1999.

  • FEWSTER, M.; GRAHAM, D. Software Test Automation: Effective use of test execution tools. Great Britain, UK: Addison Wesley, 1999.

  • PRESSMAN, R. S. Engenharia de Software. Makron Books do Brasil Editora Ltda., 2002.

  • SOMMERVILLE, I. Engenharia de Software. Addison Wesley, 2003.

  • BOOCH, G.; RUMBAUGH, J.; JACOBSON, I. UML: Guia do Usuário. Rio de Janeiro: Campus, 2006. 472 p.

  • DASSO, A.; FUNES, A. Verification, Validation and Testing in Software Engineering. Idea Group, 2006.

  • HAUG, M.; OLSEN, E.W.; CONSOLINI, L. Software Quality Approaches: Testing, Verification and Validation. Springer Verlag, 2001.