Teste de Software
Ementa: Estratégias de V&V: análise estática - inspeções, walkthroughs e ferramentas para análise estática - análise dinâmica e verificação formal. Terminologia e conceitos básicos de teste. Teste no ciclo de vida: fases de teste. Técnicas de teste de software: teste funcional, estrutural e baseado em erros. Estratégias de teste de software. Ferramentas de teste de software.
Código: PPGCC12
Carga-horária: 60 horas
Obrigatória? Não
Créditos: 4
Bibliografia:
-
BEIZER, B. Software Testing Techniques. Van Nostrand Reinhold Company, New York, 2nd edition, 1990.
-
G. J. MYERS, COREY SANDLER, TOM BADGETT, AND TODD M. THOMAS. The Art of Software Testing. John Wiley & Sons, 2nd edition, 2004.
-
M. E. DELAMARO, J. C. MALDONADO, E M. JINO. Introdução ao Teste de Software. Elsevier, 1a. edição, 2007.
-
BEIZER, B. Software System Testing and Quality Assurance, Van Nostrand Reinhold, New York, 1983.
-
L. COPELAND. A Practitioner's Guide to Software Test Design. Artech House, 2004.
-
KANER, C. et al. Testing Computer Software, 2nd edition, Van Nostrand Reinhold , 1993.
-
ROPER, M. Software Testing, Mc Graw-Hill, 1994.
-
MATHUR, A. P. Foundations of Software Testing. 2º edição. EUA: Addison-Wesley Professional, 728p, 2014. ISBN: 978-8131794760.
-
AMMANN, P; OFFUTT, J. Introduction to Software Testing. 2ª edição. EUA: Cambridge University, 364p, 2016. ISBN: 978-1107172012.