public void GetStatePairGroupTest()
{
//Initialize Test FSM
Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine1();
HsiMethod target = new HsiMethod(fsm); // TODO: Initialize to an appropriate value
HsiMethod.StatePair[] actual;
actual = target.GetStatePairGroup();
//Assert.AreEqual(actual, );
//Assert.Inconclusive("Verify the correctness of this test method.");
}
public void GetIdentifierStateTest()
{
//Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine1();
Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine2();
HsiMethod target = new HsiMethod(fsm); // TODO: Initialize to an appropriate value
string[] transitionCover = new String[] { "a", "a", "a" };
State actual = target.GetIdentifierState(transitionCover);
Assert.AreEqual(actual.Name, "4");
}
public void GetTransitionCoverTest()
{
//Initialize Test FSM
Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine1();
string[][] actual;
HsiMethod target = new HsiMethod(fsm);
actual = target.GetTransitionCover(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}.");
}
