MAC0474 Teste de Software Baseado em Modelo
OBJETIVOS: Este curso tem como objetivo discutir o estado da arte do teste de software baseado em modelos. Neste curso serão abordados os fundamentos de modelos formais para a especificação do comportamento do software e testes baseados em modelos, assim como o processo de desenvolvimento e planejamento dos testes dentro do ciclo de vida do software.
PROGRAMA RESUMIDO: Conceitos fundamentais de teste de software; representações do comportamento dos sistemas baseado em transições; geração de casos de teste baseados no comportamento do sistema; relações de conformidade entre a especificação dos requisitos e a implementação do sistema; e uso prático das técnicas de teste baseado em modelo
PROGRAMA: O planejamento e processo do teste baseado em modelos dentro da perspectiva de desenvolvimento de software. Conceitos fundamentais sobre teste de software: estatégias, critérios e níveis de aplicação de testes. Representação do comportamento dos sistemas baseado em sistemas de transição. Fundamentos sobre a geração de casos de teste baseados no comportamento do sistema. Relações de conformidade entre a especificação dos requisitos e a implementação do sistema. Uso prático das técnicas de teste baseado em modelos: desenvolvimento de modelos de comportamento, geração automática dos casos de teste e observação da conformidade entre requisitos do sistema e sua implementação.
RESPONSÁVEL: Ana Cristina Vieira de Melo.
PRÉ-REQUISITOS:
CARGA HORÁRIA SEMANAL E NÚMERO DE CRÉDITOS: 6 horas, 4 créditos-aula e 2 créditos-trabalho.
CRITÉRIO DE AVALIAÇÃO DA APRENDIZAGEM:
Método: trabalhos práticos e provas
Critério: média ponderadas dos trabalhos e provas
Norma de recuperação: Média ponderada da nota final e de provas e/ou trabalhos de recuperação.
BIBLIOGRAFIA BÁSICA:
- P. Ammann, J. Offutt, Introduction to Software Testing, Cambridge, 2008.
- A. Bertolino, Software testing research: achievement, challenges, dreams, In FOSE'07, pp. 85-103, 2007. IEEE Computer Society
- M. Utting, B. Legeard, Practical Model-Based Testing, Elsevier - Morgan Kaufmann Publishers, 2007.
- M. Broy, B. Jonsson, J.P. Katoen, M. Leucker, A. Pretschner eds., Modelbased testing of reactive systems: advanced lectures, (LNCS Vol. 3472), 2005, Springer.
- J. Tretmans, Model based testing with labelled transition systems, Formal methods and testing, Springer Berlin Heidelberg, 2008. 1-38.
- M. Shafique, Y. Labiche, A systematic review of state-based test tools, Int. Journal on Software Tools for Technology Transfer. V. 17, Issue 1, 2015, pp 59-76
- F. Wagner, R. Schmuki, T. Wagner, P. Wolstenholm, Modeling Software with Finite State Machines: A Practical Approach, Auerbach Publications, 2006. ISBN:978-0849380860
- M. Utting, B. Legeard, Practical model-based testing: a tools approach Morgan Kaufmann, 2010.
OBSERVAÇÃO: Disciplina optativa eletiva nos currículos do BCC.
[Veja dados da disciplina no JúpiterWeb]