⦁ Revisar o modelo construído: possui propriedades desejadas?
⦁ Gerar os casos de testes obtendo as entradas e saídas esperadas
⦁ Executar os testes gerados
⦁ Analisar os resultados:
– saída observada = saída esperada ?
– estado final correto ?
Exemplo de aplicação:
Bibliografia:
Técnicas de Modelagem de Teste – Pate 1 – Disponível em: http://pt.slideshare.net/FabricioFFC/tcnicas-de-modelagem-de-teste-parte-1
Testes baseados na especificação - modelos de estado Disponível em:
http://www.ic.unicamp.br/~eliane/Cursos/Transparencias/VVTestes/Aula14-testescxp2-FSM.pdf
