Objetivos
- Perceber o conceito de Teste de Software: black-box , white-box e gray box testing
- Compreender o conceito de adequação dos casos de teste e sua cobertura.
- Compreender o conceito de geração automática de casos de teste.
- Compreeder o conceito de teste de propriedade.
- Compreedender o conceito de análise de teste baseado em mutações
- Compreender o conceito localização de falhas.
- Compreender o conceito de reparação automática de programas
- Utilizar ferramentas para testar software.
Programa
- Teste Caixa Preta, Branca e Cinzenta.
- Níveis de Teste,
- Testes Unitários, Integração, Regressão, Beta e Aceitação.
- Cobertura e Adequação dos Testes,
- Cobertura de Caminhos, Isntruções e Condições.
- Geração Automática de Casos de Teste.
- Teste de Propriedades.
- Teste Baseado em Modelos.
- Teste Baseado em Mutações,
- Teste de Software como um jogo.
- Teste para aplicações Mobile e Web.
- Localização de Falhas,
- Localização de falhas baseada na cobertura.
- Reparação Automática de Programas.
Bibliografia
- Introduction to Software Testing, J. Offutt and P. Amman. Cambridge University Press, 2008. (ISBN: 978-0521880381)
- Foundations of Software Testing, Aditya P. Mathur. Addison-Wesley 2008. (ISBN: 978-8131794760)
- Practical Model-Based Testing: A Tools Approach, M. Utting and B. Legeard. Morgan Kaufmann, 2006. (ISBN: 978-0123725011)
- Automated Program Repair, Claire Le Goues, Michael Pradel, Abhik Roychoudhury.Communications of the ACM, Vol. 62, No. 12, Pages 56-65, December 2019.