public void GetPreambleTest()
{
Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine1();
HsiMethod target = new HsiMethod(fsm);
string[] actual;
actual = target.GetPreamble(fsm.GetStateByName("D"));
Assert.IsTrue(actual != null, "O retorno do método não deve ser nulo, nunca.");
Assert.IsTrue(actual.Length == 2, "O tamanho do preâmbulo do estado D é 2.");
Assert.IsTrue(actual[0] == "a" && actual[1] == "c", "A menor sequencia de entradas para se alcançar o estado E é composta somente da entrada {x}");
}
public void GetAllowedInputsTest()
{
Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine1();
HsiMethod target = new HsiMethod(fsm);
string[] actual;
actual = target.GetAllowedInputs(fsm.GetStateByName("D"));
Assert.IsTrue(actual != null, "O retorno do método não deve ser nulo, nunca.");
Assert.IsTrue(actual.Length == 2, "O número de entradas aceitas pelo estado D é 2.");
Assert.IsTrue(actual[0] == "z" && actual[1] == "d", "As entradas aceitas pelo estado D são {z} e {d}.");
}
