Ejemplos de StateCount.ShouldBe en C# (CSharp)

Ejemplo n.º 1

Archivo: initial state.cs Proyecto: 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);
        }

Ejemplo n.º 2

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

            StateCount.ShouldBe(51);
            TransitionCount.ShouldBe(52);
        }

Ejemplo n.º 3

Archivo: initial state.cs Proyecto: 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);
        }

Ejemplo n.º 4

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

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