Introdução ao model-based testing para sistemas com estado complexo
O Model-Based Testing (MBT) é uma abordagem de teste de software onde casos de teste são gerados automaticamente a partir de modelos formais que descrevem o comportamento esperado do sistema. Diferente dos testes tradicionais — onde o testador manualmente escreve scripts baseados em requisitos — no MBT o foco está na criação e manutenção de um modelo comportamental.