Testes, Verificação e Validação de Sistemas
(Nova página: * http://www2.dainf.ct.utfpr.edu.br/ppgca/disciplinas/ementarios-das-disciplinas#CAES002 * Testes, Verificação e Validação de Sistemas (CAES-002) * Conceitos e Histórico da Enge...) |
|||
| Linha 24: | Linha 24: | ||
HAUG, M.; OLSEN, E.W.; CONSOLINI, L. Software Quality Approaches: Testing, Verification and Validation. Springer Verlag, 2001. | HAUG, M.; OLSEN, E.W.; CONSOLINI, L. Software Quality Approaches: Testing, Verification and Validation. Springer Verlag, 2001. | ||
| + | |||
| + | == Links == | ||
| + | |||
| + | * http://tap.ethz.ch/2009/index.html | ||
| + | * TAP 2010: http://www.springerlink.com/content/978-3-642-13976-5 | ||
Edição atual tal como 19h18min de 12 de julho de 2010
- Testes, Verificação e Validação de Sistemas (CAES-002)
- 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.
- Créditos: 3
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.
