Fornecer uma visão geral da área de Verificação, Validação e Teste de Software - VV&T, com ênfase em estratégias, técnicas e critérios de teste de software e ferramentas associadas que podem ser aplicados na construção de software.
Qualidade de software e VV&T. Erros no ciclo de vida de desenvolvimento de software. 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. Planejamento de teste. Depuração, manutenção e teste de regressão. Teste e validação do aspecto comportamental de sistemas. Ferramentas de teste de software. Definição e condução de um experimento e estudo de casos.
Livro Texto:- 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.Bibliografia complementar:- 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.- R. S. PRESSMAN Software Engineering - A Practitioner's Approach. McGraw-Hill, 6th edition, 2005- R. S. PRESSMAN Engenharia de Software. São Paulo: 1ª edição. Makron Books, 1995.- KANER, C. et alli. Testing Computer Software, 2nd edition, Van Nostrand Reinhold , 1993.- ROPER, M. Software Testing, Mc Graw-Hill, 1994.- VON STA, A. Engenharia de Programas, Rio de Janeiro, Livros Técnicos e Científicos, 1983.- MYERS, G.J. The Art of Software Testing, Wiley, New York,1979.