FM-4.1.1 (K2) – Explicar a diferença entre casos de teste abstratos e concretos no contexto MBT
Depois da geração da suíte de teste o próximo passo é a execução dos casos de testes, que pode ser feito de forma manual ou automática. Em ambos os casos deve haver uma ligação entre os modelos MBT e os artefatos de execução dos testes.

A geração do teste MBT pode produzir casos de teste abstratos ou concretos, para diferentes propósitos, conforme ilustrado na tabela abaixo:
Para mover dos casos de teste abstrato para o concreto é necessário complementar os casos de testes abstratos com todos os passos de testes definidos, definir os valores de dados de entrada, valores esperados como resultado da execução do caso de teste.
Essa definição pode ser feita no próprio modelo MBT, ou fora dele, por exemplo usando uma tabela de dados para mapear dados abstratos em dados concretos.
