MAC0474  Teste de Software Baseado em Modelo

Por | Em

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:  A disciplina não tem 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]