Você quer aprender como quantificar a qualidade de uma suíte de teste para um sistema, e também construir novos casos de teste de forma automatizada para completar a suíte? Esta é a disciplina para você. A disciplina apresenta fundamentos de teste e técnicas atuais de automação. Veja descrição de alguns dos conceitos vistos na disciplina neste "word cloud".
Objetivo
Compreender fundamentos de teste e principais técnicas de automação.
Metodologia
Aulas práticas e teóricas, seminários e projeto. Seminário corresponde a 20% da nota e projeto 80%.
Referências
Software Testing, Glenford Myers, Wiley, 2004 (2nd edition)
Software Testing and Analysis,
Mauro Pezze and Michal Young, Wiley, 2008
Aulas
-------------------------------
introducao
metodologia (00-metodologia-curso.ppt)
visao geral (01-o-que-eh-testes.ppt)
- prova de corretude ou busca de erros?
- conceitos basicos
- dados estatisticos
-------------------------------
fundamentos
escopo do teste
(02-escopo.ppt)
- teste de unidade, integracao, e sistema
execucao do teste
(03-drivers-stubs.ppt)
- drivers, stub demo junit
(eclipse-junit-demo.zip,
junit-README)
criterios de adequacao
(04+05-adequacao-tiposdeteste)
- forca de criterio (relacao de subsumption)
- minimizacao de suite
- tipos de teste:
- unidade, sistema e integracao
- funcional, estrutural, baseado em falhas
teste funcional
(06-funcional.ppt)
- particionamento
- construcao de entradas: combinatorial, pair-wise, t-wise
teste estrutural
(07-estrutural.ppt)
- cobertura (stmt, basic block, branch, MC/DC, etc.)
- caminhos inalcancaveis
teste baseado em falhas
(08-mutation.ppt)
- modelo de falhas
- terminologia: mutante morto, mutante sobrevivente, mutante equivalente
- score de mutacao
- custo: execucao, identificacao de equivalencia
teste de dataflow
(10-dataflow.ppt)
- definicao e uso
- par du e ud e caminhos du
- cobertura
- analise estatica: (intra|inter)procedural e encapsulamento
execucao simbolica
(12-exec-simbolica.pptx)