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);
}
protected override void Check()
{
GenerateStateSpace(new C());
StateCount.ShouldBe(51);
TransitionCount.ShouldBe(52);
}
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);
}
protected override void Check()
{
GenerateStateSpace(new C());
StateCount.ShouldBe(6);
TransitionCount.ShouldBe(26);
ComputedTransitionCount.ShouldBe(31);
}