Exemplos de ComputedTransitionCount em C# (CSharp)

Exemplo n.º 1

Arquivo: initial state.cs Projeto: cubeme/ssharp

        protected override void Check()
        {
            GenerateStateSpace(new C1());

            StateCount.ShouldBe(3);
            TransitionCount.ShouldBe(6);
            ComputedTransitionCount.ShouldBe(6);

            GenerateStateSpace(new C2());

            StateCount.ShouldBe(1);
            TransitionCount.ShouldBe(2);
            ComputedTransitionCount.ShouldBe(2);

            GenerateStateSpace(new C3());

            StateCount.ShouldBe(1);
            TransitionCount.ShouldBe(2);
            ComputedTransitionCount.ShouldBe(3);

            GenerateStateSpace(new C4());

            StateCount.ShouldBe(2);
            TransitionCount.ShouldBe(4);
            ComputedTransitionCount.ShouldBe(5);
        }

Exemplo n.º 2

Arquivo: initial state.cs Projeto: pascalpfeil/ssharp

        protected override void Check()
        {
            AllowFaultsOnInitialTransitions = true;

            GenerateStateSpace(new C1());

            StateCount.ShouldBe(3);
            TransitionCount.ShouldBe(6);
            ComputedTransitionCount.ShouldBe(6);

            GenerateStateSpace(new C2());

            StateCount.ShouldBe(1);
            TransitionCount.ShouldBe(2);
            ComputedTransitionCount.ShouldBe(2);

            GenerateStateSpace(new C3());

            StateCount.ShouldBe(1);
            TransitionCount.ShouldBe(2);
            ComputedTransitionCount.ShouldBe(3);

            GenerateStateSpace(new C4());

            StateCount.ShouldBe(2);
            TransitionCount.ShouldBe(4);
            ComputedTransitionCount.ShouldBe(5);
        }

Exemplo n.º 3

        protected override void Check()
        {
            GenerateStateSpace(new C());

            StateCount.ShouldBe(6);
            TransitionCount.ShouldBe(26);
            ComputedTransitionCount.ShouldBe(31);
        }