C# (CSharp) TransitionCount.ShouldBeの例

コード例 #1

ファイル: initial state.cs プロジェクト: 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);
        }

コード例 #2

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

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

コード例 #3

ファイル: initial state.cs プロジェクト: 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);
        }

コード例 #4

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

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