TestMu Conference is Back! Future of Testing + AI LambdaTest G2 Announcement

How to use TraceableStateMachine class of Microsoft.Coyote.Tests.Common.Actors package

Best Coyote code snippet using Microsoft.Coyote.Tests.Common.Actors.TraceableStateMachine

ClassHandlerTests.cs

Source:ClassHandlerTests.cs

...24        private class E3 : Event25        {26        }27        [OnEventDoAction(typeof(E1), nameof(HandleE1))]28        private class M1 : TraceableStateMachine29        {30            [Start]31            private class Init : State32            {33            }34            private void HandleE1()35            {36                this.Trace("HandleE1");37                this.OnFinalEvent();38            }39        }40        [OnEventDoAction(typeof(E1), nameof(HandleE1))]41        private class M2 : TraceableStateMachine42        {43            [Start]44            [OnEventDoAction(typeof(E1), nameof(HandleInitE1))]45            private class Init : State46            {47            }48            private void HandleE1()49            {50                this.Trace("HandleE1");51                this.OnFinalEvent();52            }53            private void HandleInitE1()54            {55                this.Trace("HandleInitE1");56                this.OnFinalEvent();57            }58        }59        [OnEventDoAction(typeof(E1), nameof(HandleE1))]60        private class M3 : TraceableStateMachine61        {62            [Start]63            [OnEntry(nameof(OnInitEntry))]64            [DeferEvents(typeof(E1))]65            private class Init : State66            {67            }68            private void OnInitEntry()69            {70                this.Trace("OnInitEntry");71                this.RaiseGotoStateEvent<Active>();72            }73            [OnEventDoAction(typeof(E1), nameof(HandleActiveE1))]74            private class Active : State75            {76            }77            private void HandleE1()78            {79                this.Trace("HandleE1");80                this.OnFinalEvent();81            }82            private void HandleActiveE1()83            {84                this.Trace("HandleActiveE1");85                this.OnFinalEvent();86            }87        }88        [OnEventDoAction(typeof(E1), nameof(HandleE1))]89        private class M4 : TraceableStateMachine90        {91            [Start]92            [OnEventDoAction(typeof(WildCardEvent), nameof(HandleWildCard))]93            private class Init : State94            {95            }96            private void HandleE1()97            {98                this.Trace("HandleE1");99                this.OnFinalEvent();100            }101            private void HandleWildCard()102            {103                this.Trace("HandleWildCard");...

GotoStateTransitionTests.cs

Source:GotoStateTransitionTests.cs

...13        }14        private class Message : Event15        {16        }17        private class M1 : TraceableStateMachine18        {19            [Start]20            [OnEntry(nameof(InitOnEntry))]21            private class Init : State22            {23            }24            private void InitOnEntry()25            {26                this.Trace("InitOnEntry");27                this.RaiseGotoStateEvent<Final>();28            }29            [OnEntry(nameof(FinalOnEntry))]30            private class Final : State31            {32            }33            private void FinalOnEntry()34            {35                this.Trace("FinalOnEntry");36                this.OnFinalEvent();37            }38        }39        private class M2 : TraceableStateMachine40        {41            [Start]42            [OnEntry(nameof(InitOnEntry))]43            [OnEventGotoState(typeof(Message), typeof(Final))]44            private class Init : State45            {46            }47            private void InitOnEntry()48            {49                this.Trace("InitOnEntry");50            }51            [OnEntry(nameof(FinalOnEntry))]52            private class Final : State53            {54            }55            private void FinalOnEntry()56            {57                this.Trace("FinalOnEntry");58                this.OnFinalEvent();59            }60        }61        private class M3 : TraceableStateMachine62        {63            [Start]64            [OnEntry(nameof(InitOnEntry))]65            [OnEventGotoState(typeof(Message), typeof(Final))]66            private class Init : State67            {68            }69            private void InitOnEntry()70            {71                this.Trace("InitOnEntry");72                this.RaiseEvent(new Message());73            }74            [OnEntry(nameof(FinalOnEntry))]75            private class Final : State...

HandleEventTests.cs

Source:HandleEventTests.cs

...19        }20        private class E3 : Event21        {22        }23        private class M1 : TraceableStateMachine24        {25            [Start]26            [OnEntry(nameof(InitOnEntry))]27            [OnEventDoAction(typeof(E1), nameof(HandleE1))]28            private class Init : State29            {30            }31            private void InitOnEntry()32            {33                this.Trace("InitOnEntry");34            }35            private void HandleE1()36            {37                this.Trace("HandleE1");38                this.OnFinalEvent();39            }40        }41        private class M2 : TraceableStateMachine42        {43            [Start]44            [OnEntry(nameof(InitOnEntry))]45            [OnEventDoAction(typeof(E1), nameof(HandleE1))]46            [OnEventDoAction(typeof(E2), nameof(HandleE2))]47            [OnEventDoAction(typeof(E3), nameof(HandleE3))]48            private class Init : State49            {50            }51            private void InitOnEntry()52            {53                this.Trace("InitOnEntry");54            }55            private void HandleE1()...

TraceableStateMachine

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Actors.Timers;6using Microsoft.Coyote.Tests.Common.Actors;7using Microsoft.Coyote.Tests.Common.Actors.StateMachines;8{9    {10        public static void Main(string[] args)11        {12            var runtime = RuntimeFactory.Create();13            runtime.CreateActor(typeof(Machine1));14            runtime.Wait();15        }16    }17    {18        private int x;19        private int y;20        [OnEntry(nameof(InitOnEntry))]21        [OnEventGotoState(typeof(UnitEvent), typeof(One))]22        private class Init : MachineState { }23        private void InitOnEntry()24        {25            x = 0;26            y = 0;27            this.RaiseEvent(new UnitEvent());28        }29        [OnEntry(nameof(OneOnEntry))]30        [OnEventGotoState(typeof(UnitEvent), typeof(Two))]31        private class One : MachineState { }32        private void OneOnEntry()33        {34            x = 1;35            this.RaiseEvent(new UnitEvent());36        }37        [OnEntry(nameof(TwoOnEntry))]38        [OnEventGotoState(typeof(UnitEvent), typeof(Three))]39        private class Two : MachineState { }40        private void TwoOnEntry()41        {42            x = 2;43            this.RaiseEvent(new UnitEvent());44        }45        [OnEntry(nameof(ThreeOnEntry))]46        [OnEventGotoState(typeof(UnitEvent), typeof(Four))]47        private class Three : MachineState { }48        private void ThreeOnEntry()49        {50            x = 3;51            this.RaiseEvent(new UnitEvent());52        }53        [OnEntry(nameof(FourOnEntry))]54        [OnEventGotoState(typeof(UnitEvent), typeof(Five))]55        private class Four : MachineState { }56        private void FourOnEntry()57        {58            x = 4;59            this.RaiseEvent(new UnitEvent());60        }61        [OnEntry(nameof(FiveOnEntry))]62        [OnEventGotoState(typeof(UnitEvent), typeof(One))]63        private class Five : MachineState { }64        private void FiveOnEntry()65        {66            x = 5;67            this.RaiseEvent(new UnitEvent());68        }69    }70}

TraceableStateMachine

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Tests.Common.Actors;6using Microsoft.Coyote.Tests.Common.Actors.Automata;7using Microsoft.Coyote.Tests.Common.Runtime;8using Microsoft.Coyote.Tests.Common;9{10    {11        protected void Assert(bool condition) => this.Assert(condition, string.Empty);12        protected void Assert(bool condition, string message)13        {14            if (!condition)15            {16                throw new AssertionFailureException(message);17            }18        }19        protected void Assert(bool condition, string format, params object[] args)20        {21            if (!condition)22            {23                throw new AssertionFailureException(string.Format(format, args));24            }25        }26    }27}28using System;29using System.Threading.Tasks;30using Microsoft.Coyote;31using Microsoft.Coyote.Actors;32using Microsoft.Coyote.Tests.Common.Actors;33using Microsoft.Coyote.Tests.Common.Actors.Automata;34using Microsoft.Coyote.Tests.Common.Runtime;35using Microsoft.Coyote.Tests.Common;36{37    {38        protected void Assert(bool condition) => this.Assert(condition, string.Empty);39        protected void Assert(bool condition, string message)40        {41            if (!condition)42            {43                throw new AssertionFailureException(message);44            }45        }46        protected void Assert(bool condition, string format, params object[] args)47        {48            if (!condition)49            {50                throw new AssertionFailureException(string.Format(format, args));51            }52        }53    }54}55using System;56using System.Threading.Tasks;57using Microsoft.Coyote;58using Microsoft.Coyote.Actors;59using Microsoft.Coyote.Tests.Common.Actors;60using Microsoft.Coyote.Tests.Common.Actors.Automata;61using Microsoft.Coyote.Tests.Common.Runtime;62using Microsoft.Coyote.Tests.Common;63{

TraceableStateMachine

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.SystematicTesting;6using Microsoft.Coyote.Tests.Common.Actors;7{8    {9        public static void Main()10        {11            var configuration = Configuration.Create();12            configuration.TestingIterations = 100;13            configuration.SchedulingIterations = 100;14            configuration.SchedulingStrategy = SchedulingStrategy.FairPCT;15            configuration.Verbose = 2;16            var result = TestingEngine.TestAsync(configuration, Test).Result;17            if (result is SystematicTestingError)18            {19                Console.WriteLine(result);20            }21        }22        private static async Task Test(TaskCompletionSource<bool> tcs)23        {24            var runtime = TestingEngine.Runtime;25            runtime.RegisterMonitor(typeof(Monitor1));26            runtime.CreateActor(typeof(Actor1));27            await tcs.Task;28        }29    }30    {31        [OnEventDoAction(typeof(E1), nameof(A))]32        private class Init : State { }33        private void A()34        {35            this.RaiseEvent(new E2());36        }37        [OnEventGotoState(typeof(E2), typeof(State2))]38        private class State1 : State { }39        [OnEventDoAction(typeof(E3), nameof(B))]40        private class State2 : State { }41        private void B()42        {43            this.RaiseEvent(new E4());44        }45        [OnEventGotoState(typeof(E4), typeof(State1))]46        private class State3 : State { }47    }48    {49        [OnEventGotoState(typeof(E1), typeof(State1))]50        private class Init : State { }51        [OnEventGotoState(typeof(E2), typeof(State2))]52        private class State1 : State { }53        [OnEventGotoState(typeof(E3), typeof(State3))]54        private class State2 : State { }55        [OnEventGotoState(typeof(E4), typeof(State1))]56        private class State3 : State { }57    }58    public class E1 : Event { }59    public class E2 : Event { }60    public class E3 : Event { }61    public class E4 : Event { }62}

TraceableStateMachine

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.SystematicTesting;6using Microsoft.Coyote.Tests.Common.Actors;7{8    {9        public static void Main()10        {11            var configuration = Configuration.Create();12            configuration.TestingIterations = 100;13            configuration.SchedulingIterations = 100;14            configuration.SchedulingStrategy = SchedulingStrategy.FairPCT;15            configuration.Verbose = 2;16            var result = TestingEngine.TestAsync(configuration, Test).Result;17            if (result is SystematicTestingError)18            {19                Console.WriteLine(result);20            }21        }22        private static async Task Test(TaskCompletionSource<bool> tcs)23        {24            var runtime = TestingEngine.Runtime;25            runtime.RegisterMonitor(typeof(Monitor1));26            runtime.CreateActor(typeof(Actor1));27            await tcs.Task;28        }29    }30    {31        [OnEventDoAction(typeof(E1), nameof(A))]32        private class Init : State { }33        private void A()34        {35            this.RaiseEvent(new E2());36        }37        [OnEventGotoState(typeof(E2), typeof(State2))]38        private class State1 : State { }39        [OnEventDoAction(typeof(E3), nameof(B))]40        private class State2 : State { }41        private void B()42        {43            this.RaiseEvent(new E4());44        }45        [OnEventGotoState(typeof(E4), typeof(State1))]46        private class State3 : State { }47    }48    {49        [OnEventGotoState(typeof(E1), typeof(State1))]50        private class Init : State { }51        [OnEventGotoState(typeof(E2), typeof(State2))]52        private class State1 : State { }53        [OnEventGotoState(typeof(E3), typeof(State3))]54        private class State2 : State { }55        [OnEventGotoState(typeof(E4), typeof(State1))]56        private class State3 : State { }57    }58    public class E1 : Event { }59    public class E2 : Event { }60    public class E3 : Event { }61    public class E4 : Event { }62} Version=

TraceableStateMachine

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.Timers;3using Microsoft.Coyote.Specifications;4using Microsoft.Coyote.Tasks;5using System;6using System.Threading.Tasks;7using static Microsoft.Coyote.Actors.Automata.Automaton;8{9    {10        static void Main(string[] args)11        {12            var cfiguration  Configuration.Create();13            configuration.TraceLevel = TraceLevel.Verbose;14            using (var runtime = RuntimeFactory.Create(configuration))15            {16                runtime.CreateActor(typeof(AutomatonActor));17                runtime.Wait();18            }19        }20    }21    {22        Automaton automaton;23        protected override Task OnInitializeAsync(Event initialEvent)24        {25            this.automaton = new Automaton();26            this.automaton.Define(27                new State("B"),28                new State("C"));29            this.automaton.AddTransition("A", "B", "e1");30            this.automaton.AddTransition("B", "C", "e2");31            this.automaton.AddTransition("C", "A", "e3");32            this.automaton.OnTransition += (sender, e) =>33                this.SendEvent(this.Id, new AutomatonTransitionEvent(e.State, e.Event, e.TargetState));34            this.RegisterMonitor<AutomatonMonitor>(new

TraceableStateMachine

Using AI Code Generation

1using System;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Tests.Common.Actors;4{5    {6        private static void Main(string[] args)7        {8            using (var runtime = RuntimeFactory.Create())9            {10                var actor = runtime.CreateActor(typeof(HelloWorld));11                runtime.SendEvent(actor, new Start());12            }13        }14    }15    {16    }17    {18        [OnEventDoAction(typeof(Start), nameof(OnStart))]19        {20        }21        private void OnStart(Event e)22        {23            Console.WriteLine("Hello World!");24        }25    }26}27using System;28using Microsoft.Coyote.Actors;29using Microsoft.Coyote.Tests.Common.Actors;30{31    {32        private static void Main(string[] args)33        {34            using (var runtime = RuntimeFactory.Create())35            {36                var actor = runtime.CreateActor(typeof(HelloWorld));37                runtime.SendEvent(actor, new Start());38            }39        }40    }41    {42    }43    {44        [OnEventDoAction(typeof(Start), nameof(OnStart))]45        {46        }47        private void OnStart(Event e)48        {49            Console.WriteLine("Hello World!");50        }51    }52}53using System;54using Microsoft.Coyote.Actors;55using Microsoft.Coyote.Tests.Common.Actors;56{57    {58        private static void Main(string[] args

TraceableStateMachine

Using AI Code Generation

1using System;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Tests.Common.Actors;4{5    {6        private static void Main(string[] args)7        {8            using (var runtime = RuntimeFactory.Create())9            {10                var actor = runtime.CreateActor(typeof(HelloWorld));11                runtime.SendEvent(actor, new Start());12            }13        }14    }15    {16    }17    {18        [OnEventDoAction(typeof(Start), nameof(OnStart))]19        {20        }21        private void OnStart(Event e)22        {23            Console.WriteLine("Hello World!");24        }25    }26}27using System;28using Microsoft.Coyote.Actors;29using Microsoft.Coyote.Tests.Common.Actors;30{31    {32        private static void Main(string[] args)33        {34            using (var runtime = RuntimeFactory.Create())35            {36                var actor = runtime.CreateActor(typeof(HelloWorld));37                runtime.SendEvent(actor, new Start());38            }39        }40    }41    {42    }43    {44        [OnEventDoAction(typeof(Start), nameof(OnStart))]45        {46        }47        private void OnStart(Event e)48        {49            Console.WriteLine("Hello World!");50        }51    }52}53using System;54using Microsoft.Coyote.Actors;55using Microsoft.Coyote.Tests.Common.Actors;56{57    {58        private static void Main(string[] args

TraceableStateMachine

Using AI Code Generation

1using System;2using System.Collections.Generic;3using System.Linq;4using System.Text;5using System.Threading.Tasks;6using Microsoft.Coyote.Actors;7using Microsoft.Coyote.Tests.Common.Actors;8{9    {10        static void Main(string[] args)11        {12            var runtime = RuntimeFactory.Create();13            runtime.CreateActor(typeof(Actor1));14            runtime.Wait();15        }16    }17    {18        [OnEntry(nameof(InitOnEntry))]19        {20        }21        void InitOnEntry()22        {23            this.RaiseEvent(new Halt());24        }25    }26}27Error	CS0246	The type or namespace name 'TraceableStateMachine' could not be found (are you missing a using directive or an assembly reference?)	ConsoleApplication1	C:\Users\user\Documents\Visual Studio 2017\Projects\ConsoleApplication1\ConsoleApplication1\Program.cs	26	Active

TraceableStateMachine

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Tests.Common.Actors;3using System;4using System.Threading.Tasks;5{6    {7        static void Main(string[] args)8        {9            var config = Configuration.Create();10            var runtime = RuntimeFactory.Create(config);11            runtime.CreateActor(typeof(Machine1));12            runtime.Wait();13        }14    }15    {16        [OnEventDoAction(typeof(UnitEvent), nameof(DoWork))]17        class Init : MachineState { }18        void DoWork()19        {20            Console.WriteLine("Hello World!");21        }22    }23}

TraceableStateMachine

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.Timers;3using Microsoft.Coyote.Specifications;4using Microsoft.Coyote.Tasks;5using System;6using System.Threading.Tasks;7using static Microsoft.Coyote.Actors.Automata.Automaton;8{9    {10        static void Main(string[] args)11        {12            var configuration = Configuration.Create();13            configuration.TraceLevel = TraceLevel.Verbose;14            using (var runtime = RuntimeFactory.Create(configuration))15            {16                runtime.CreateActor(typeof(AutomatonActor));17                runtime.Wait();18            }19        }20    }21    {22        Automaton automaton;23        protected override Task OnInitializeAsync(Event initialEvent)24        {25            this.automaton = new Automaton();26            this.automaton.Define(27                new State("B"),28                new State("C"));29            this.automaton.AddTransition("A", "B", "e1");30            this.automaton.AddTransition("B", "C", "e2");31            this.automaton.AddTransition("C", "A", "e3");32            this.automaton.OnTransition += (sender, e) =>33                this.SendEvent(this.Id, new AutomatonTransitionEvent(e.State, e.Event, e.TargetState));34            this.RegisterMonitor<AutomatonMonitor>(new

TraceableStateMachine

Using AI Code Generation

1using Microsoft.Coyote;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Testing;4using Microsoft.Coyote.Tests.Common.Actors;5using System;6using System.Collections.Generic;7using System.Linq;8using System.Text;9using System.Threading.Tasks;10{11    {12        static void Main(string[] args)13        {14            var configuration = Configuration.Create().WithTestingIterations(100);15            var test = new TestRuntime(configuration);16            test.CreateActor(typeof(Actor1));17            test.Wait();18        }19    }20    {21        int i = 0;22        protected override Task OnInitializeAsync(Event initialEvent)23        {24            this.SendEvent(this.Id, new E1());25            return Task.CompletedTask;26        }27        [OnEventDoAction(typeof(E1), nameof(DoSomething))]28        [OnEventDoAction(typeof(E2), nameof(DoSomethingElse))]29        [OnEventGotoState(typeof(E3), typeof(S2))]30        class S1 : State { }31        void DoSomething()32        {33            this.SendEvent(this.Id, new E2());34        }35        void DoSomethingElse()36        {37            i++;38            if (i == 10)39            {40                this.SendEvent(this.Id, new E3());41            }42            {43                this.SendEvent(this.Id, new E1());44            }45        }46        [OnEntry(nameof(EntryAction))]47        [OnEventDoAction(typeof(E4), nameof(DoAction))]48        class S2 : State { }49        void EntryAction()50        {51            this.SendEvent(this.Id, new E4());52        }53        void DoAction()54        {55            this.SendEvent(this.Id, new Halt());56        }57    }58    public class E1 : Event { }59    public class E2 : Event { }60    public class E3 : Event { }61    public class E4 : Event { }62}

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.