/// <summary>
        /// Generate a Finite State Machine for use on method validation
        /// </summary>
        public Coc.Modeling.FiniteStateMachine.FiniteStateMachine GenerateTestMachine1()
        {
            //Initialize Test FSM
            Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = new Coc.Modeling.FiniteStateMachine.FiniteStateMachine();

            State a = new State("A");
            State b = new State("B");
            State c = new State("C");
            State d = new State("D");
            State e = new State("E");
            State f = new State("F");

            fsm.AddState(a);
            fsm.AddState(b);
            fsm.AddState(c);
            fsm.AddState(d);
            fsm.AddState(e);
            fsm.AddState(f);

            fsm.AddTransition(new Transition(a, b, "a", "1"));
            fsm.AddTransition(new Transition(a, e, "x", "8"));
            fsm.AddTransition(new Transition(b, b, "y", "11"));
            fsm.AddTransition(new Transition(b, c, "b", "2"));
            fsm.AddTransition(new Transition(b, d, "c", "3"));
            fsm.AddTransition(new Transition(c, f, "s", "9"));
            fsm.AddTransition(new Transition(d, e, "z", "12"));
            fsm.AddTransition(new Transition(d, f, "d", "4"));
            fsm.AddTransition(new Transition(e, f, "f", "0"));

            fsm.InitialState = a;
            return(fsm);
        }
        /// <summary>
        /// Generate a Finite State Machine for use on method validation
        /// </summary>
        public Coc.Modeling.FiniteStateMachine.FiniteStateMachine GenerateTestMachine2()
        {
            //Initialize Test FSM
            Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = new Coc.Modeling.FiniteStateMachine.FiniteStateMachine();

            State _1 = new State("1");
            State _2 = new State("2");
            State _3 = new State("3");
            State _4 = new State("4");

            fsm.AddState(_1);
            fsm.AddState(_2);
            fsm.AddState(_3);
            fsm.AddState(_4);

            fsm.AddTransition(new Transition(_1, _2, "a", "1"));
            fsm.AddTransition(new Transition(_1, _3, "b", "0"));
            fsm.AddTransition(new Transition(_2, _3, "a", "1"));

            fsm.AddTransition(new Transition(_2, _4, "b", "0"));
            fsm.AddTransition(new Transition(_3, _4, "a", "0"));
            fsm.AddTransition(new Transition(_4, _1, "b", "0"));

            fsm.InitialState = _1;
            return(fsm);
        }
        public void GenerateTestCasesTest()
        {
            //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

            target.GenerateTestCases();
            Assert.Inconclusive("A method that does not return a value cannot be verified.");
        }
        public void GetHsiSetTest()
        {
            //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[][][] actual;
            actual = target.GetHsiSet();
        }
        public void GetFailnessTableTest()
        {
            //Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine1();
            Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine2();

            HsiMethod target = new HsiMethod(fsm);

            List <HsiMethod.FailnessRecord> actual = target.GetFailnessTable();
            //Assert.AreEqual(true, actual);
        }
        public void GetHiSetTest()
        {
            //Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine1();
            Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = this.GenerateTestMachine2();

            HsiMethod target = new HsiMethod(fsm);

            String[][] result = target.GetHiSet();

            Assert.AreEqual(true, true);
        }
        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}.");
        }
        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");
        }
示例#10
0
        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.");
        }