CAES002 - Testes, Verificação e Validação de Sistemas
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.