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}."); }