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

How to use SharedDictionary class of Microsoft.Coyote.Actors.SharedObjects package

Best Coyote code snippet using Microsoft.Coyote.Actors.SharedObjects.SharedDictionary

SharedDictionaryTests.cs

Source:SharedDictionaryTests.cs

...4using Xunit;5using Xunit.Abstractions;6namespace Microsoft.Coyote.Actors.SystematicTesting.Tests.SharedObjects7{8    public class SharedDictionaryTests : BaseActorSystematicTest9    {10        public SharedDictionaryTests(ITestOutputHelper output)11            : base(output)12        {13        }14        private class E1 : Event15        {16            public SharedDictionary<int, string> Counter;17            public E1(SharedDictionary<int, string> counter)18            {19                this.Counter = counter;20            }21        }22        private class E2 : Event23        {24            public SharedDictionary<int, string> Counter;25            public bool Flag;26            public E2(SharedDictionary<int, string> counter, bool flag)27            {28                this.Counter = counter;29                this.Flag = flag;30            }31        }32        private class M1 : StateMachine33        {34            [Start]35            [OnEntry(nameof(InitOnEntry))]36            private class Init : State37            {38            }39            private void InitOnEntry()40            {41                var counter = SharedDictionary.Create<int, string>(this.Id.Runtime);42                this.CreateActor(typeof(N1), new E1(counter));43                counter.TryAdd(1, "M");44                var v = counter[1];45                this.Assert(v == "M", "Reached test assertion.");46            }47        }48        private class N1 : StateMachine49        {50            [Start]51            [OnEntry(nameof(InitOnEntry))]52            private class Init : State53            {54            }55#pragma warning disable CA1822 // Mark members as static56            private void InitOnEntry(Event e)57#pragma warning restore CA1822 // Mark members as static58            {59                var counter = (e as E1).Counter;60                counter.TryUpdate(1, "N", "M");61            }62        }63        [Fact(Timeout = 5000)]64        public void TestSharedDictionary1()65        {66            this.TestWithError(r =>67            {68                r.CreateActor(typeof(M1));69            },70            configuration: Configuration.Create().WithTestingIterations(50),71            expectedError: "Reached test assertion.",72            replay: true);73        }74        private class M2 : StateMachine75        {76            [Start]77            [OnEntry(nameof(InitOnEntry))]78            private class Init : State79            {80            }81            private void InitOnEntry()82            {83                var counter = SharedDictionary.Create<int, string>(this.Id.Runtime);84                counter.TryAdd(1, "M");85                // Key not present; will throw an exception.86                _ = counter[2];87            }88        }89        [Fact(Timeout = 5000)]90        public void TestSharedDictionary2()91        {92            this.TestWithException<System.Collections.Generic.KeyNotFoundException>(r =>93            {94                r.CreateActor(typeof(M2));95            },96            configuration: Configuration.Create().WithTestingIterations(50),97            replay: true);98        }99        private class M3 : StateMachine100        {101            [Start]102            [OnEntry(nameof(InitOnEntry))]103            private class Init : State104            {105            }106            private void InitOnEntry()107            {108                var counter = SharedDictionary.Create<int, string>(this.Id.Runtime);109                this.CreateActor(typeof(N3), new E1(counter));110                counter.TryAdd(1, "M");111                _ = counter[1];112                var c = counter.Count;113                this.Assert(c is 1);114            }115        }116        private class N3 : StateMachine117        {118            [Start]119            [OnEntry(nameof(InitOnEntry))]120            private class Init : State121            {122            }123#pragma warning disable CA1822 // Mark members as static124            private void InitOnEntry(Event e)125#pragma warning restore CA1822 // Mark members as static126            {127                var counter = (e as E1).Counter;128                counter.TryUpdate(1, "N", "M");129            }130        }131        [Fact(Timeout = 5000)]132        public void TestSharedDictionary3()133        {134            this.Test(r =>135            {136                r.CreateActor(typeof(M3));137            },138            configuration: Configuration.Create().WithTestingIterations(50));139        }140        private class M4 : StateMachine141        {142            [Start]143            [OnEntry(nameof(InitOnEntry))]144            private class Init : State145            {146            }147            private void InitOnEntry()148            {149                var counter = SharedDictionary.Create<int, string>(this.Id.Runtime);150                this.CreateActor(typeof(N4), new E1(counter));151                counter.TryAdd(1, "M");152                var b = counter.TryRemove(1, out string v);153                this.Assert(b is false || v == "M");154                this.Assert(counter.Count is 0);155            }156        }157        private class N4 : StateMachine158        {159            [Start]160            [OnEntry(nameof(InitOnEntry))]161            private class Init : State162            {163            }164            private void InitOnEntry(Event e)165            {166                var counter = (e as E1).Counter;167                var b = counter.TryRemove(1, out string v);168                this.Assert(b is false || v == "M");169            }170        }171        [Fact(Timeout = 5000)]172        public void TestSharedDictionary4()173        {174            this.Test(r =>175            {176                r.CreateActor(typeof(M4));177            },178            configuration: Configuration.Create().WithTestingIterations(50));179        }180        private class M5 : StateMachine181        {182            [Start]183            [OnEntry(nameof(InitOnEntry))]184            private class Init : State185            {186            }187            private void InitOnEntry(Event e)188            {189                var counter = (e as E2).Counter;190                var flag = (e as E2).Flag;191                counter.TryAdd(1, "M");192                if (flag)193                {194                    this.CreateActor(typeof(N5), new E2(counter, false));195                }196                var b = counter.TryGetValue(2, out string v);197                if (!flag)198                {199                    this.Assert(!b);200                }201                if (b)202                {203                    this.Assert(v == "N");204                }205            }206        }207        private class N5 : StateMachine208        {209            [Start]210            [OnEntry(nameof(InitOnEntry))]211            private class Init : State212            {213            }214            private void InitOnEntry(Event e)215            {216                var counter = (e as E2).Counter;217                bool b = counter.TryGetValue(1, out string v);218                this.Assert(b);219                this.Assert(v == "M");220                counter.TryAdd(2, "N");221            }222        }223        [Fact(Timeout = 5000)]224        public void TestSharedDictionary5()225        {226            this.Test(r =>227            {228                var counter = SharedDictionary.Create<int, string>(r);229                r.CreateActor(typeof(M5), new E2(counter, true));230            },231            configuration: Configuration.Create().WithTestingIterations(50));232        }233        [Fact(Timeout = 5000)]234        public void TestSharedDictionary6()235        {236            this.Test(r =>237            {238                var counter = SharedDictionary.Create<int, string>(r);239                r.CreateActor(typeof(M5), new E2(counter, false));240            },241            configuration: Configuration.Create().WithTestingIterations(50));242        }243        private class M6 : StateMachine244        {245            [Start]246            [OnEntry(nameof(InitOnEntry))]247            private class Init : State248            {249            }250            private void InitOnEntry(Event e)251            {252                var counter = (e as E1).Counter;253                this.CreateActor(typeof(N6), new E1(counter));254                counter.TryAdd(1, "M");255                var b = counter.TryGetValue(2, out string _);256                this.Assert(!b, "Reached test assertion.");257            }258        }259        private class N6 : StateMachine260        {261            [Start]262            [OnEntry(nameof(InitOnEntry))]263            private class Init : State264            {265            }266#pragma warning disable CA1822 // Mark members as static267            private void InitOnEntry(Event e)268#pragma warning restore CA1822 // Mark members as static269            {270                var counter = (e as E1).Counter;271                counter.TryAdd(2, "N");272            }273        }274        [Fact(Timeout = 5000)]275        public void TestSharedDictionary7()276        {277            this.TestWithError(r =>278            {279                var counter = SharedDictionary.Create<int, string>(r);280                r.CreateActor(typeof(M6), new E1(counter));281            },282            configuration: Configuration.Create().WithTestingIterations(50),283            expectedError: "Reached test assertion.",284            replay: true);285        }286    }287}...

MixedSharedObjectsTests.cs

Source:MixedSharedObjectsTests.cs

...13        {14        }15        private class E : Event16        {17            public SharedDictionary<int, string> Dictionary;18            public SharedCounter Counter;19            public TaskCompletionSource<bool> Tcs;20            public E(SharedDictionary<int, string> dictionary, SharedCounter counter, TaskCompletionSource<bool> tcs)21            {22                this.Dictionary = dictionary;23                this.Counter = counter;24                this.Tcs = tcs;25            }26        }27        private class M : StateMachine28        {29            [Start]30            [OnEntry(nameof(InitOnEntry))]31            private class Init : State32            {33            }34            private void InitOnEntry(Event e)35            {36                var dictionary = (e as E).Dictionary;37                var counter = (e as E).Counter;38                var tcs = (e as E).Tcs;39                for (int i = 0; i < 100; i++)40                {41                    dictionary.TryAdd(i, i.ToString());42                }43                for (int i = 0; i < 100; i++)44                {45                    var b = dictionary.TryRemove(i, out string v);46                    this.Assert(b is false || v == i.ToString());47                    if (b)48                    {49                        counter.Increment();50                    }51                }52                var c = dictionary.Count;53                this.Assert(c is 0);54                tcs.TrySetResult(true);55            }56        }57        private class N : StateMachine58        {59            [Start]60            [OnEntry(nameof(InitOnEntry))]61            private class Init : State62            {63            }64            private void InitOnEntry(Event e)65            {66                var dictionary = (e as E).Dictionary;67                var counter = (e as E).Counter;68                var tcs = (e as E).Tcs;69                for (int i = 0; i < 100; i++)70                {71                    var b = dictionary.TryRemove(i, out string v);72                    this.Assert(b is false || v == i.ToString());73                    if (b)74                    {75                        counter.Increment();76                    }77                }78                tcs.TrySetResult(true);79            }80        }81        [Fact(Timeout = 5000)]82        public void TestProductionSharedObjects()83        {84            var runtime = RuntimeFactory.Create();85            var dictionary = SharedDictionary.Create<int, string>(runtime);86            var counter = SharedCounter.Create(runtime);87            var tcs1 = new TaskCompletionSource<bool>();88            var tcs2 = new TaskCompletionSource<bool>();89            var failed = false;90            runtime.OnFailure += (ex) =>91            {92                failed = true;93                tcs1.TrySetResult(true);94                tcs2.TrySetResult(true);95            };96            var m1 = runtime.CreateActor(typeof(M), new E(dictionary, counter, tcs1));97            var m2 = runtime.CreateActor(typeof(N), new E(dictionary, counter, tcs2));98            Task.WaitAll(tcs1.Task, tcs2.Task);99            Assert.False(failed);...

SharedDictionary

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Actors.SharedObjects;6using Microsoft.Coyote.SystematicTesting;7using Microsoft.Coyote.Tasks;8{9    {10        static void Main(string[] args)11        {12            Configuration configuration = Configuration.Create().WithTestingIterations(100);13            CoyoteRuntime runtime = RuntimeFactory.Create(configuration);14            runtime.RegisterMonitor(typeof(SharedDictionaryMonitor));15            runtime.CreateActor(typeof(SharedDictionaryActor));16            runtime.Run();17        }18    }19    {20        private SharedDictionary<int, int> SharedDictionary;21        protected override async Task OnInitializeAsync(Event initialEvent)22        {23            this.SharedDictionary = SharedDictionary.Create<int, int>(this.Id.Runtime, "SharedDictionary");24            this.SharedDictionary.AddOrUpdate(1, 1, (key, value) => value + 1);25            this.SharedDictionary.AddOrUpdate(2, 2, (key, value) => value + 1);26            this.SharedDictionary.AddOrUpdate(3, 3, (key, value) => value + 1);27            this.SharedDictionary.AddOrUpdate(4, 4, (key, value) => value + 1);28            this.SharedDictionary.AddOrUpdate(5, 5, (key, value) => value + 1);29            this.SharedDictionary.AddOrUpdate(6, 6, (key, value) => value + 1);30            this.SharedDictionary.AddOrUpdate(7, 7, (key, value) => value + 1);31            this.SharedDictionary.AddOrUpdate(8, 8, (key, value) => value + 1);32            this.SharedDictionary.AddOrUpdate(9, 9, (key, value) => value + 1);33            this.SharedDictionary.AddOrUpdate(10, 10, (key, value) => value + 1);34            this.SharedDictionary.AddOrUpdate(11, 11, (key, value) => value + 1);35            this.SharedDictionary.AddOrUpdate(12, 12, (key, value) => value + 1);36            this.SharedDictionary.AddOrUpdate(13, 13, (key,

SharedDictionary

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.Actors.SharedObjects;5{6    {7        public static void Main(string[] args)8        {9            var config = Configuration.Create();10            config.MaxSchedulingSteps = 1000;11            config.MaxFairSchedulingSteps = 1000;12            config.MaxStepsFromAnyThread = 1000;13            config.MaxFairStepsFromAnyThread = 1000;14            var runtime = RuntimeFactory.Create(config);15            runtime.CreateActor(typeof(Producer));16            runtime.CreateActor(typeof(Consumer));17            runtime.Run();18        }19    }20    {21        private SharedDictionary<int, string> sharedDictionary;22        private int count;23        private int key;24        protected override async Task OnInitializeAsync(Event initialEvent)25        {26            this.sharedDictionary = SharedDictionary.Create<int, string>(this.Id.Runtime, "dictionary");27            this.count = 0;28            this.key = 0;29            await this.SendEvent(this.Id, new Produce());30        }31        private async Task OnProduceAsync()32        {33            await this.sharedDictionary.AddOrUpdateAsync(this.key, this.count.ToString());34            this.count++;35            this.key++;36            if (this.count > 100)37            {38                this.RaiseHaltEvent();39            }40            {41                await this.SendEvent(this.Id, new Produce());42            }43        }44    }45    {46        private SharedDictionary<int, string> sharedDictionary;47        protected override async Task OnInitializeAsync(Event initialEvent)48        {49            this.sharedDictionary = SharedDictionary.Create<int, string>(this.Id.Runtime, "dictionary");50            await this.SendEvent(this.Id, new Consume());51        }52        private async Task OnConsumeAsync()53        {54            var value = await this.sharedDictionary.TryGetValueAsync(0);55            Console.WriteLine(value);56            await this.SendEvent(this.Id, new Consume());57        }58    }59    {60    }61    {62    }63}64using System;65using System.Threading.Tasks;66using Microsoft.Coyote.Actors;67using Microsoft.Coyote.Actors.SharedObjects;68{

SharedDictionary

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Actors.SharedObjects;6using Microsoft.Coyote.Specifications;7{8    {9        static void Main(string[] args)10        {11            var config = Configuration.Create().WithNumberOfIterations(5);12            var runtime = RuntimeFactory.Create(config);13            runtime.CreateActor(typeof(Machine1));14            runtime.CreateActor(typeof(Machine2));15            runtime.Run();16        }17    }18    {19        private SharedDictionary<int, int> sharedDictionary;20        protected override async Task OnInitializeAsync(Event initialEvent)21        {22            this.sharedDictionary = SharedDictionary.Create<int, int>(this.Runtime, 1);23            this.RaiseEvent(new E1());24        }25        private async Task OnE1(Event e)26        {27            this.sharedDictionary.Add(1, 1);28            this.RaiseEvent(new E2());29        }30        private async Task OnE2(Event e)31        {32            this.sharedDictionary.Add(2, 2);33            this.RaiseEvent(new E3());34        }35        private async Task OnE3(Event e)36        {37            this.sharedDictionary.Add(3, 3);38            this.RaiseEvent(new E4());39        }40        private async Task OnE4(Event e)41        {42            this.sharedDictionary.Add(4, 4);43            this.RaiseEvent(new E5());44        }45        private async Task OnE5(Event e)46        {47            this.sharedDictionary.Add(5, 5);48            this.RaiseEvent(new E6());49        }50        private async Task OnE6(Event e)51        {52            this.sharedDictionary.Add(6, 6);53            this.RaiseEvent(new E7());54        }55        private async Task OnE7(Event e)56        {57            this.sharedDictionary.Add(7, 7);58            this.RaiseEvent(new E8());59        }60        private async Task OnE8(Event e)61        {62            this.sharedDictionary.Add(8, 8);63            this.RaiseEvent(new E9());64        }65        private async Task OnE9(Event e)66        {67            this.sharedDictionary.Add(9, 9);68            this.RaiseEvent(new E10());69        }70        private async Task OnE10(Event e)71        {72            this.sharedDictionary.Add(10, 10);73            this.RaiseEvent(new E11

SharedDictionary

Using AI Code Generation

1{2    using Microsoft.Coyote.Actors.SharedObjects;3    using System;4    using System.Collections.Generic;5    using System.Linq;6    using System.Text;7    using System.Threading.Tasks;8    {9        static void Main(string[] args)10        {11            SharedDictionary<string, int> sd = new SharedDictionary<string, int>();12            sd["A"] = 1;13            sd["B"] = 2;14            sd["C"] = 3;15            Console.WriteLine(sd["A"]);16            Console.WriteLine(sd["B"]);17            Console.WriteLine(sd["C"]);18            Console.ReadLine();19        }20    }21}

SharedDictionary

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using System;3{4    {5        static void Main(string[] args)6        {7            Console.WriteLine("Hello World!");8        }9    }10}11Error	CS0246	The type or namespace name 'SharedObjects' could not be found (are you missing a using directive or an assembly reference?)	CoyoteTest	C:\Users\user\source\repos\CoyoteTest\CoyoteTest\1.cs	4	Active

SharedDictionary

Using AI Code Generation

1public static async Task Main(string[] args)2{3    var config = Configuration.Create().WithVerbosityEnabled();4    using (var runtime = RuntimeFactory.Create(config))5    {6        await runtime.CreateActor(typeof(Actor1));7    }8}9public static async Task Main(string[] args)10{11    var config = Configuration.Create().WithVerbosityEnabled();12    using (var runtime = RuntimeFactory.Create(config))13    {14        await runtime.CreateActor(typeof(Actor2));15    }16}17public static async Task Main(string[] args)18{19    var config = Configuration.Create().WithVerbosityEnabled();20    using (var runtime = RuntimeFactory.Create(config))21    {22        await runtime.CreateActor(typeof(Actor3));23    }24}25public static async Task Main(string[] args)26{27    var config = Configuration.Create().WithVerbosityEnabled();28    using (var runtime = RuntimeFactory.Create(config))29    {30        await runtime.CreateActor(typeof(Actor4));31    }32}33public static async Task Main(string[] args)34{35    var config = Configuration.Create().WithVerbosityEnabled();36    using (var runtime = RuntimeFactory.Create(config))37    {38        await runtime.CreateActor(typeof(Actor5));39    }40}41public static async Task Main(string[] args)42{43    var config = Configuration.Create().WithVerbosityEnabled();44    using (var runtime = RuntimeFactory.Create(config))45    {46        await runtime.CreateActor(typeof(Actor6));47    }48}49public static async Task Main(string[] args)50{51    var config = Configuration.Create().WithVerbosityEnabled();52    using (var runtime = RuntimeFactory.Create(config))53    {54        await runtime.CreateActor(typeof(Actor7));55    }56}

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.