A equipe de teste criou uma primeira versão de um modelo MBT para testar um sistema de navegação automotiva:
Agora, um novo requisito apareceu. Deve ser possível alterar o destino ou abortar a navegação. A equipe de teste decidiu adicionar uma nova decisão “userInterrupt?” mais um novo estado “Navegação interrompida” para o modelo MBT existente e conectá-los por uma transição com a proteção “True”. Portanto, a equipe de teste criou uma segunda versão do modelo MBT:
Considere as seguintes adaptações deste segundo modelo de MBT:
i. Adicione uma transição “abortNavigation” entre a decisão “userInterrupt” e o estado “Navigation inactive”.
ii. Adicione uma guarda “False” à transição entre a decisão “userInterrupt?” e a decisão “destination reached?”.
iii. Adicione uma transição com o gatilho “abortNavigation” entre o novo estado “Navegação interrompida” e o estado existente “Navegação inativa”.
iv. Adicione uma transição com o trigger “changeDestination” entre o novo estado “Navegação interrompida” e o estado existente “Navegação ativa”.
v. Adicionar uma guarda “False” à transição entre o estado “Navegação ativa” e a decisão “userInterrupt”.
Qual das seguintes combinações de adaptações está correta para cobrir o novo requisito do modelo MBT?
Select one of the following: