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