Unlock 30% off on Manual Testing Annual Plans this Holiday Season.

Copied to Clipboard!

How to use RandomValueGenerator class of Microsoft.Coyote package

Best Coyote code snippet using Microsoft.Coyote.RandomValueGenerator

TestingEngine.cs

Source:TestingEngine.cs

...54        internal readonly SchedulingStrategy Strategy;55        /// <summary>56        /// Random value generator used by the scheduling strategies.57        /// </summary>58        private readonly IRandomValueGenerator RandomValueGenerator;59        /// <summary>60        /// The profiler.61        /// </summary>62        private readonly Profiler Profiler;63        /// <summary>64        /// The client used to optionally send anonymized telemetry data.65        /// </summary>66        private static CoyoteTelemetryClient TelemetryClient;67        /// <summary>68        /// The testing task cancellation token source.69        /// </summary>70        private readonly CancellationTokenSource CancellationTokenSource;71        /// <summary>72        /// Data structure containing information73        /// gathered during testing.74        /// </summary>75        public TestReport TestReport { get; set; }76        /// <summary>77        /// The installed logger.78        /// </summary>79        /// <remarks>80        /// See <see href="/coyote/advanced-topics/actors/logging" >Logging</see> for more information.81        /// </remarks>82        private ILogger InstalledLogger;83        /// <summary>84        /// The default logger that is used during testing.85        /// </summary>86        private readonly ILogger DefaultLogger;87        /// <summary>88        /// Get or set the <see cref="ILogger"/> used to log messages during testing.89        /// </summary>90        /// <remarks>91        /// See <see href="/coyote/advanced-topics/actors/logging" >Logging</see> for more information.92        /// </remarks>93        public ILogger Logger94        {95            get96            {97                return this.InstalledLogger;98            }99            set100            {101                var old = this.InstalledLogger;102                if (value is null)103                {104                    this.InstalledLogger = new NullLogger();105                }106                else107                {108                    this.InstalledLogger = value;109                }110                using var v = old;111            }112        }113        /// <summary>114        /// A graph of the actors, state machines and events of a single test iteration.115        /// </summary>116        private Graph Graph;117        /// <summary>118        /// Contains a single iteration of XML log output in the case where the IsXmlLogEnabled119        /// configuration is specified.120        /// </summary>121        private StringBuilder XmlLog;122        /// <summary>123        /// The readable trace, if any.124        /// </summary>125        public string ReadableTrace { get; private set; }126        /// <summary>127        /// The reproducable trace, if any.128        /// </summary>129        public string ReproducibleTrace { get; private set; }130        /// <summary>131        /// Checks if the systematic testing engine is running in replay mode.132        /// </summary>133        private bool IsReplayModeEnabled => this.Strategy is ReplayStrategy;134        /// <summary>135        /// A guard for printing info.136        /// </summary>137        private int PrintGuard;138        /// <summary>139        /// Creates a new systematic testing engine.140        /// </summary>141        public static TestingEngine Create(Configuration configuration)142        {143            TestMethodInfo testMethodInfo = null;144            try145            {146                testMethodInfo = TestMethodInfo.Create(configuration);147            }148            catch (Exception ex)149            {150                if (configuration.DisableEnvironmentExit)151                {152                    throw;153                }154                else155                {156                    Error.ReportAndExit(ex.Message);157                }158            }159            return new TestingEngine(configuration, testMethodInfo);160        }161        /// <summary>162        /// Creates a new systematic testing engine.163        /// </summary>164        public static TestingEngine Create(Configuration configuration, Action test) =>165            new TestingEngine(configuration, test);166        /// <summary>167        /// Creates a new systematic testing engine.168        /// </summary>169        public static TestingEngine Create(Configuration configuration, Action<ICoyoteRuntime> test) =>170            new TestingEngine(configuration, test);171        /// <summary>172        /// Creates a new systematic testing engine.173        /// </summary>174        public static TestingEngine Create(Configuration configuration, Action<IActorRuntime> test) =>175            new TestingEngine(configuration, test);176        /// <summary>177        /// Creates a new systematic testing engine.178        /// </summary>179        public static TestingEngine Create(Configuration configuration, Func<Task> test) =>180            new TestingEngine(configuration, test);181        /// <summary>182        /// Creates a new systematic testing engine.183        /// </summary>184        public static TestingEngine Create(Configuration configuration, Func<ICoyoteRuntime, Task> test) =>185            new TestingEngine(configuration, test);186        /// <summary>187        /// Creates a new systematic testing engine.188        /// </summary>189        public static TestingEngine Create(Configuration configuration, Func<IActorRuntime, Task> test) =>190            new TestingEngine(configuration, test);191        /// <summary>192        /// Creates a new systematic testing engine.193        /// </summary>194        public static TestingEngine Create(Configuration configuration, Func<CoyoteTasks.Task> test) =>195            new TestingEngine(configuration, test);196        /// <summary>197        /// Creates a new systematic testing engine.198        /// </summary>199        public static TestingEngine Create(Configuration configuration, Func<ICoyoteRuntime, CoyoteTasks.Task> test) =>200            new TestingEngine(configuration, test);201        /// <summary>202        /// Creates a new systematic testing engine.203        /// </summary>204        public static TestingEngine Create(Configuration configuration, Func<IActorRuntime, CoyoteTasks.Task> test) =>205            new TestingEngine(configuration, test);206        /// <summary>207        /// Initializes a new instance of the <see cref="TestingEngine"/> class.208        /// </summary>209        internal TestingEngine(Configuration configuration, Delegate test)210            : this(configuration, TestMethodInfo.Create(test))211        {212        }213        /// <summary>214        /// Initializes a new instance of the <see cref="TestingEngine"/> class.215        /// </summary>216        private TestingEngine(Configuration configuration, TestMethodInfo testMethodInfo)217        {218            this.Configuration = configuration;219            this.TestMethodInfo = testMethodInfo;220            this.DefaultLogger = new ConsoleLogger() { LogLevel = configuration.LogLevel };221            this.Logger = this.DefaultLogger;222            this.Profiler = new Profiler();223            this.PerIterationCallbacks = new HashSet<Action<uint>>();224            // Initializes scheduling strategy specific components.225            this.RandomValueGenerator = new RandomValueGenerator(configuration);226            this.TestReport = new TestReport(configuration);227            this.ReadableTrace = string.Empty;228            this.ReproducibleTrace = string.Empty;229            this.CancellationTokenSource = new CancellationTokenSource();230            this.PrintGuard = 1;231            if (configuration.IsDebugVerbosityEnabled)232            {233                IO.Debug.IsEnabled = true;234            }235            if (!configuration.UserExplicitlySetLivenessTemperatureThreshold &&236                configuration.MaxFairSchedulingSteps > 0)237            {238                configuration.LivenessTemperatureThreshold = configuration.MaxFairSchedulingSteps / 2;239            }240            if (configuration.SchedulingStrategy is "replay")241            {242                var scheduleDump = this.GetScheduleForReplay(out bool isFair);243                ScheduleTrace schedule = new ScheduleTrace(scheduleDump);244                this.Strategy = new ReplayStrategy(configuration, schedule, isFair);245            }246            else if (configuration.SchedulingStrategy is "interactive")247            {248                configuration.TestingIterations = 1;249                configuration.PerformFullExploration = false;250                configuration.IsVerbose = true;251                this.Strategy = new InteractiveStrategy(configuration, this.Logger);252            }253            else if (configuration.SchedulingStrategy is "random")254            {255                this.Strategy = new RandomStrategy(configuration.MaxFairSchedulingSteps, this.RandomValueGenerator);256            }257            else if (configuration.SchedulingStrategy is "pct")258            {259                this.Strategy = new PCTStrategy(configuration.MaxUnfairSchedulingSteps, configuration.StrategyBound,260                    this.RandomValueGenerator);261            }262            else if (configuration.SchedulingStrategy is "fairpct")263            {264                var prefixLength = configuration.SafetyPrefixBound is 0 ?265                    configuration.MaxUnfairSchedulingSteps : configuration.SafetyPrefixBound;266                var prefixStrategy = new PCTStrategy(prefixLength, configuration.StrategyBound, this.RandomValueGenerator);267                var suffixStrategy = new RandomStrategy(configuration.MaxFairSchedulingSteps, this.RandomValueGenerator);268                this.Strategy = new ComboStrategy(prefixStrategy, suffixStrategy);269            }270            else if (configuration.SchedulingStrategy is "probabilistic")271            {272                this.Strategy = new ProbabilisticRandomStrategy(configuration.MaxFairSchedulingSteps,273                    configuration.StrategyBound, this.RandomValueGenerator);274            }275            else if (configuration.SchedulingStrategy is "dfs")276            {277                this.Strategy = new DFSStrategy(configuration.MaxUnfairSchedulingSteps);278            }279            else if (configuration.SchedulingStrategy is "rl")280            {281                this.Strategy = new QLearningStrategy(configuration.AbstractionLevel, configuration.MaxUnfairSchedulingSteps, this.RandomValueGenerator);282            }283            else if (configuration.SchedulingStrategy is "portfolio")284            {285                var msg = "Portfolio testing strategy is only " +286                    "available in parallel testing.";287                if (configuration.DisableEnvironmentExit)288                {289                    throw new Exception(msg);290                }291                else292                {293                    Error.ReportAndExit(msg);294                }295            }296            if (configuration.SchedulingStrategy != "replay" &&297                configuration.ScheduleFile.Length > 0)298            {299                var scheduleDump = this.GetScheduleForReplay(out bool isFair);300                ScheduleTrace schedule = new ScheduleTrace(scheduleDump);301                this.Strategy = new ReplayStrategy(configuration, schedule, isFair, this.Strategy);302            }303            if (TelemetryClient is null)304            {305                TelemetryClient = new CoyoteTelemetryClient(this.Configuration);306            }307        }308        /// <summary>309        /// Runs the testing engine.310        /// </summary>311        public void Run()312        {313            bool isReplaying = this.Strategy is ReplayStrategy;314            try315            {316                TelemetryClient.TrackEventAsync(isReplaying ? "replay" : "test").Wait();317                if (Debugger.IsAttached)318                {319                    TelemetryClient.TrackEventAsync(isReplaying ? "replay-debug" : "test-debug").Wait();320                }321                Task task = this.CreateTestingTask();322                if (this.Configuration.TestingTimeout > 0)323                {324                    this.CancellationTokenSource.CancelAfter(325                        this.Configuration.TestingTimeout * 1000);326                }327                this.Profiler.StartMeasuringExecutionTime();328                if (!this.CancellationTokenSource.IsCancellationRequested)329                {330                    task.Start();331                    task.Wait(this.CancellationTokenSource.Token);332                }333            }334            catch (OperationCanceledException)335            {336                if (this.CancellationTokenSource.IsCancellationRequested)337                {338                    this.Logger.WriteLine(LogSeverity.Warning, $"... Task {this.Configuration.TestingProcessId} timed out.");339                }340            }341            catch (AggregateException aex)342            {343                aex.Handle((ex) =>344                {345                    IO.Debug.WriteLine(ex.Message);346                    IO.Debug.WriteLine(ex.StackTrace);347                    return true;348                });349                if (aex.InnerException is FileNotFoundException)350                {351                    if (this.Configuration.DisableEnvironmentExit)352                    {353                        throw aex.InnerException;354                    }355                    else356                    {357                        Error.ReportAndExit($"{aex.InnerException.Message}");358                    }359                }360                if (this.Configuration.DisableEnvironmentExit)361                {362                    throw aex.InnerException;363                }364                else365                {366                    Error.ReportAndExit("Exception thrown during testing outside the context of an actor, " +367                    "possibly in a test method. Please use /debug /v:2 to print more information.");368                }369            }370            catch (Exception ex)371            {372                this.Logger.WriteLine(LogSeverity.Error, $"... Task {this.Configuration.TestingProcessId} failed due to an internal error: {ex}");373                this.TestReport.InternalErrors.Add(ex.ToString());374            }375            finally376            {377                this.Profiler.StopMeasuringExecutionTime();378            }379            if (this.TestReport != null && this.TestReport.NumOfFoundBugs > 0)380            {381                TelemetryClient.TrackMetricAsync(isReplaying ? "replay-bugs" : "test-bugs", this.TestReport.NumOfFoundBugs).Wait();382            }383            if (!Debugger.IsAttached)384            {385                TelemetryClient.TrackMetricAsync(isReplaying ? "replay-time" : "test-time", this.Profiler.Results()).Wait();386            }387        }388        /// <summary>389        /// Creates a new testing task.390        /// </summary>391        private Task CreateTestingTask()392        {393            string options = string.Empty;394            if (this.Configuration.SchedulingStrategy is "random" ||395                this.Configuration.SchedulingStrategy is "pct" ||396                this.Configuration.SchedulingStrategy is "fairpct" ||397                this.Configuration.SchedulingStrategy is "probabilistic" ||398                this.Configuration.SchedulingStrategy is "rl")399            {400                options = $" (seed:{this.RandomValueGenerator.Seed})";401            }402            this.Logger.WriteLine(LogSeverity.Important, $"... Task {this.Configuration.TestingProcessId} is " +403                $"using '{this.Configuration.SchedulingStrategy}' strategy{options}.");404            if (this.Configuration.EnableTelemetry)405            {406                this.Logger.WriteLine(LogSeverity.Important, $"... Telemetry is enabled, see {LearnAboutTelemetryUrl}.");407            }408            return new Task(() =>409            {410                if (this.Configuration.AttachDebugger)411                {412                    Debugger.Launch();413                }414                try415                {416                    // Invokes the user-specified initialization method.417                    this.TestMethodInfo.InitializeAllIterations();418                    uint iteration = 0;419                    while (iteration < this.Configuration.TestingIterations || this.Configuration.TestingTimeout > 0)420                    {421                        if (this.CancellationTokenSource.IsCancellationRequested)422                        {423                            break;424                        }425                        // Runs the next iteration.426                        bool runNext = this.RunNextIteration(iteration);427                        if ((!this.Configuration.PerformFullExploration && this.TestReport.NumOfFoundBugs > 0) ||428                            this.IsReplayModeEnabled || !runNext)429                        {430                            break;431                        }432                        if (this.RandomValueGenerator != null && this.Configuration.IncrementalSchedulingSeed)433                        {434                            // Increments the seed in the random number generator (if one is used), to435                            // capture the seed used by the scheduling strategy in the next iteration.436                            this.RandomValueGenerator.Seed += 1;437                        }438                        iteration++;439                    }440                    // Invokes the user-specified test disposal method.441                    this.TestMethodInfo.DisposeAllIterations();442                }443                catch (Exception ex)444                {445                    Exception innerException = ex;446                    while (innerException is TargetInvocationException)447                    {448                        innerException = innerException.InnerException;449                    }450                    if (innerException is AggregateException)451                    {452                        innerException = innerException.InnerException;453                    }454                    if (!(innerException is TaskCanceledException))455                    {456                        ExceptionDispatchInfo.Capture(innerException).Throw();457                    }458                }459            }, this.CancellationTokenSource.Token);460        }461        /// <summary>462        /// Runs the next testing iteration.463        /// </summary>464        private bool RunNextIteration(uint iteration)465        {466            if (!this.Strategy.InitializeNextIteration(iteration))467            {468                // The next iteration cannot run, so stop exploring.469                return false;470            }471            if (!this.IsReplayModeEnabled && this.ShouldPrintIteration(iteration + 1))472            {473                this.Logger.WriteLine(LogSeverity.Important, $"..... Iteration #{iteration + 1}");474                // Flush when logging to console.475                if (this.Logger is ConsoleLogger)476                {477                    Console.Out.Flush();478                }479            }480            // Runtime used to serialize and test the program in this iteration.481            CoyoteRuntime runtime = null;482            // Logger used to intercept the program output if no custom logger483            // is installed and if verbosity is turned off.484            InMemoryLogger runtimeLogger = null;485            // Gets a handle to the standard output and error streams.486            var stdOut = Console.Out;487            var stdErr = Console.Error;488            try489            {490                // Creates a new instance of the controlled runtime.491                runtime = new CoyoteRuntime(this.Configuration, this.Strategy, this.RandomValueGenerator);492                // If verbosity is turned off, then intercept the program log, and also redirect493                // the standard output and error streams to a nul logger.494                if (!this.Configuration.IsVerbose)495                {496                    runtimeLogger = new InMemoryLogger();497                    if (this.Logger != this.DefaultLogger)498                    {499                        runtimeLogger.UserLogger = this.Logger;500                    }501                    runtime.Logger = runtimeLogger;502                    var writer = TextWriter.Null;503                    Console.SetOut(writer);504                    Console.SetError(writer);505                }...

AzureServer.cs

Source:AzureServer.cs

...59        public int NumServers { get; }60        /// <summary>61        /// Random generator for timeout values.62        /// </summary>63        private readonly Generator RandomValueGenerator;64        /// <summary>65        /// The leader election due time.66        /// </summary>67        public TimeSpan LeaderElectionDueTime => TimeSpan.FromSeconds(10 + this.RandomValueGenerator.NextInteger(10));68        /// <summary>69        /// The leader election periodic time interval.70        /// </summary>71        public TimeSpan LeaderElectionPeriod => TimeSpan.FromSeconds(30 + this.RandomValueGenerator.NextInteger(30));72        /// <summary>73        /// The number of times to ignore HandleTimeout74        /// </summary>75        public int TimeoutDelay => 0;76        public AzureServer(IActorRuntime runtime, string connectionString, string topicName,77            int serverId, int numServers, ActorId clusterManager)78        {79            this.Runtime = runtime;80            this.ManagementClient = new ManagementClient(connectionString);81            this.ConnectionString = connectionString;82            this.TopicName = topicName;83            this.NumServers = numServers;84            this.ClusterManager = clusterManager;85            this.ServerId = $"Server-{serverId}";86            this.RandomValueGenerator = Generator.Create();87            this.RemoteServers = new HashSet<string>();88            for (int id = 0; id < numServers; id++)89            {90                this.RemoteServers.Add($"Server-{id}");91            }92            // Create an actor id that will uniquely identify the server state machine93            // and act as a proxy for sending it received events by Azure Service Bus.94            this.HostedServer = this.Runtime.CreateActorIdFromName(typeof(Server), this.ServerId);95        }96        public virtual void Initialize()97        {98            // Creates and runs an instance of the Server state machine.99            this.Runtime.CreateActor(this.HostedServer, typeof(Server), new Server.SetupServerEvent(this, this.ClusterManager));100        }...

RandomStrategy.cs

Source:RandomStrategy.cs

...12    {13        /// <summary>14        /// Initializes a new instance of the <see cref="RandomStrategy"/> class.15        /// </summary>16        internal RandomStrategy(Configuration configuration, IRandomValueGenerator generator, bool isFair = true)17            : base(configuration, generator, isFair)18        {19        }20        /// <inheritdoc/>21        internal override bool NextOperation(IEnumerable<ControlledOperation> ops, ControlledOperation current,22            bool isYielding, out ControlledOperation next)23        {24            int idx = this.RandomValueGenerator.Next(ops.Count());25            next = ops.ElementAt(idx);26            return true;27        }28        /// <inheritdoc/>29        internal override bool NextBoolean(ControlledOperation current, out bool next)30        {31            next = this.RandomValueGenerator.Next(2) is 0 ? true : false;32            return true;33        }34        /// <inheritdoc/>35        internal override bool NextInteger(ControlledOperation current, int maxValue, out int next)36        {37            next = this.RandomValueGenerator.Next(maxValue);38            return true;39        }40        /// <inheritdoc/>41        internal override string GetDescription() => $"random[seed:{this.RandomValueGenerator.Seed}]";42    }43}...

RandomValueGenerator

Using AI Code Generation

1using Microsoft.Coyote;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Specifications;4using Microsoft.Coyote.Tasks;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 config = Configuration.Create();15            config.MaxSchedulingSteps = 100;16            config.MaxFairSchedulingSteps = 100;17            config.MaxInterleavings = 10;18            config.MaxUnfairSchedulingSteps = 100;19            config.MaxStepsFromEntryToExit = 100;20            config.MaxStepsFromAnyActionToExit = 100;21            config.MaxStepsFromAnyActionToAnyAction = 100;22            config.MaxStepsFromAnyActionToAnyActionWithSameEvent = 100;23            config.MaxStepsFromAnyActionToAnyActionWithSameTarget = 100;24            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEvent = 100;25            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroup = 100;26            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandler = 100;27            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandlerAndSender = 100;28            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandlerAndSenderAndState = 100;29            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandlerAndSenderAndStateAndValue = 100;30            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandlerAndSenderAndStateAndValueAndIndex = 100;31            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandlerAndSenderAndStateAndValueAndIndexAndType = 100;32            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandlerAndSenderAndStateAndValueAndIndexAndTypeAndMachineId = 100;33            config.MaxStepsFromAnyActionToAnyActionWithSameTargetAndEventGroupAndHandlerAndSenderAndStateAndValueAndIndexAndTypeAndMachineIdAndChoice = 100;

RandomValueGenerator

Using AI Code Generation

1using System;2using Microsoft.Coyote;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.Actors.Coverage;5using Microsoft.Coyote.Actors.Timers;6using Microsoft.Coyote.Specifications;7using Microsoft.Coyote.SystematicTesting;8using Microsoft.Coyote.Tasks;9{10    {11        static void Main(string[] args)12        {13            RandomValueGenerator randomValueGenerator = new RandomValueGenerator();14            int randomValue = randomValueGenerator.GenerateRandomValue();15            Console.WriteLine("Random Value: " + randomValue

RandomValueGenerator

Using AI Code Generation

1using System;2using Microsoft.Coyote;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.Testing;5using Microsoft.Coyote.Testing.Services;6using Microsoft.Coyote.Testing.Systematic;7using Microsoft.Coyote.Tasks;8using Microsoft.Coyote.Actors.Timers;9using Microsoft.Coyote.Actors.Coverage;10using Microsoft.Coyote.Actors.SharedObjects;11using Microsoft.Coyote.Runtime;12using Microsoft.Coyote.Scheduling;13using Microsoft.Coyote.Scheduling.Strategies;14using Microsoft.Coyote.Specifications;15using Microsoft.Coyote.Tests.Common;16using Microsoft.Coyote.Tests.Common.Actors;17using Microsoft.Coyote.Tests.Common.TestingServices;18using Microsoft.Coyote.Tests.Common.Tasks;19using Microsoft.Coyote.Tests.Common.Timers;20using Microsoft.Coyote.Tests.Common.Coverage;21using Microsoft.Coyote.Tests.Common.SharedObjects;22using Microsoft.Coyote.Tests.Common.Runtime;23using Microsoft.Coyote.Tests.Common.Scheduling;24using Microsoft.Coyote.Tests.Common.Specifications;25using Microsoft.Coyote.Tests.Common.Utilities;26using Microsoft.Coyote.Tests.Common.Actors.BugFinding;27using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Examples;28using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Errors;29using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Specifications;30using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Tasks;31using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Timers;32using Microsoft.Coyote.Tests.Common.Actors.BugFinding.SharedObjects;33using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Scheduling;34using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Runtime;35using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Coverage;36using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Utilities;37using Microsoft.Coyote.Tests.Common.Actors.BugFinding.TestingServices;38using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Specifications;39using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Specifications.Errors;40using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Specifications.Tasks;41using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Specifications.Timers;42using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Specifications.SharedObjects;43using Microsoft.Coyote.Tests.Common.Actors.BugFinding.Specifications.Scheduling;

RandomValueGenerator

Using AI Code Generation

1using Microsoft.Coyote;2using Microsoft.Coyote.Actors;3using System;4using System.Collections.Generic;5using System.Linq;6using System.Text;7using System.Threading.Tasks;8{9    {10        static void Main(string[] args)11        {12            ActorId actor1 = ActorId.CreateRandom();13            var randomGenerator = new RandomValueGenerator();14            Random random = new Random();15            int randomValue = random.Next(0, 10);16            int randomValue2 = randomGenerator.Next(0, 10);17            Console.WriteLine("Random value generated using Random class: " + randomValue);18            Console.WriteLine("Random value generated using RandomValueGenerator class: " + randomValue2);19            Console.ReadKey();20        }21    }22}

RandomValueGenerator

Using AI Code Generation

1using Microsoft.Coyote;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Testing;4using Microsoft.Coyote.Testing.Systematic;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();15            configuration.SchedulingIterations = 10;16            configuration.TestingIterations = 10;17            configuration.RandomSchedulingSeed = 1;18            configuration.RandomExecutionSeed = 1;19            configuration.SchedulingStrategy = SchedulingStrategy.RandomValue;20            configuration.Verbose = 2;21            configuration.EnableCycleDetection = true;22            configuration.MaxFairSchedulingSteps = 1000;23            configuration.MaxUnfairSchedulingSteps = 1000;24            Console.WriteLine("Testing with Coyote");25            {26                using (var testingEngine = TestingEngineFactory.Create(configuration))27                {28                    testingEngine.Run();29                }30            }31            catch (Exception ex)32            {33                Console.WriteLine(ex.Message);34            }35        }36    }37}38using Microsoft.Coyote;39using Microsoft.Coyote.Actors;40using Microsoft.Coyote.Testing;41using Microsoft.Coyote.Testing.Systematic;42using System;43using System.Collections.Generic;44using System.Linq;45using System.Text;46using System.Threading.Tasks;47{48    {49        static void Main(string[] args)50        {51            var configuration = Configuration.Create();52            configuration.SchedulingIterations = 10;53            configuration.TestingIterations = 10;54            configuration.RandomSchedulingSeed = 1;55            configuration.RandomExecutionSeed = 1;56            configuration.SchedulingStrategy = SchedulingStrategy.RandomValue;57            configuration.Verbose = 2;58            configuration.EnableCycleDetection = true;59            configuration.MaxFairSchedulingSteps = 1000;60            configuration.MaxUnfairSchedulingSteps = 1000;61            Console.WriteLine("Testing with Coyote");62            {63                using (var testingEngine =

RandomValueGenerator

Using AI Code Generation

1using System;2using Microsoft.Coyote;3using Microsoft.Coyote.Specifications;4using Microsoft.Coyote.SystematicTesting;5{6    static void Main(string[] args)7    {8        var configuration = Configuration.Create();9        configuration.SchedulingIterations = 1000;10        configuration.SchedulingStrategy = SchedulingStrategy.Systematic;11        configuration.SchedulingSeed = 0;12        configuration.Verbose = 2;13        configuration.MaxFairSchedulingSteps = 100;14        configuration.EnableDataRaceDetection = false;15        configuration.EnableDeadlockDetection = false;16        configuration.EnableLivelockDetection = false;17        configuration.EnableOperationInterleavings = false;18        configuration.EnableActorTaskInterleavings = false;19        configuration.IsFairScheduling = true;20        configuration.IsStateGraphScheduling = false;21        configuration.IsRandomScheduling = false;22        configuration.IsGreedyScheduling = false;23        configuration.IsProbabilisticRandomScheduling = false;24        configuration.IsPCTesting = false;25        configuration.IsBoundedRandomTesting = false;26        configuration.IsBoundedGreedyTesting = false;27        configuration.IsBoundedProbabilisticRandomTesting = false;28        configuration.IsBoundedPCTesting = false;29        configuration.IsBoundedFullExplorationTesting = false;30        configuration.IsFullExplorationTesting = false;31        configuration.IsFairBoundedRandomTesting = false;32        configuration.IsFairBoundedGreedyTesting = false;33        configuration.IsFairBoundedProbabilisticRandomTesting = false;34        configuration.IsFairBoundedPCTesting = false;35        configuration.IsFairBoundedFullExplorationTesting = false;36        configuration.IsFairFullExplorationTesting = false;37        configuration.IsFairFullExplorationWithFairSchedulingTesting = false;38        configuration.IsFairFullExplorationWithRandomSchedulingTesting = false;39        configuration.IsFairRandomTesting = false;40        configuration.IsFairGreedyTesting = false;41        configuration.IsFairProbabilisticRandomTesting = false;42        configuration.IsFairPCTesting = false;43        configuration.IsFairFullExplorationTesting = false;44        configuration.IsFairBoundedRandomTesting = false;45        configuration.IsFairBoundedGreedyTesting = false;46        configuration.IsFairBoundedProbabilisticRandomTesting = false;47        configuration.IsFairBoundedPCTesting = false;48        configuration.IsFairBoundedFullExplorationTesting = false;

RandomValueGenerator

Using AI Code Generation

1using Microsoft.Coyote;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.SystematicTesting;4using Microsoft.Coyote.SystematicTesting.Strategies;5using Microsoft.Coyote.SystematicTesting.Strategies.Schedule;6using System;7using System.Threading.Tasks;8{9    {10        static void Main(string[] args)11        {12            var configuration = Configuration.Create();13            configuration.MaxSchedulingSteps = 100;14            configuration.MaxUnfairSchedulingSteps = 100;15            configuration.SchedulingIterations = 100;16            configuration.Strategy = new RandomExecutionStrategy();17            configuration.Verbose = 2;18            configuration.UseRandomSeed = true;19            configuration.TestingEngineAssemblyName = "Microsoft.Coyote.SystematicTesting";20            configuration.AssemblyToBeAnalyzed = "CoyoteTests";21            configuration.AssemblyToBeAnalyzedEntryPointTypeName = "CoyoteTests.Program";22            configuration.AssemblyToBeAnalyzedEntryPointMethodName = "Main";23            var testRunner = new Coyote.SystematicTesting.TestRunner(configuration);24            testRunner.Execute();25            var report = testRunner.TestReport;26            Console.WriteLine(report);27        }28    }29}30using Microsoft.Coyote;31using Microsoft.Coyote.Actors;32using Microsoft.Coyote.SystematicTesting;33using Microsoft.Coyote.SystematicTesting.Strategies;34using Microsoft.Coyote.SystematicTesting.Strategies.Schedule;35using System;36using System.Threading.Tasks;37{38    {39        static void Main(string[] args)40        {41            var configuration = Configuration.Create();42            configuration.MaxSchedulingSteps = 100;43            configuration.MaxUnfairSchedulingSteps = 100;44            configuration.SchedulingIterations = 100;45            configuration.Strategy = new RandomExecutionStrategy();46            configuration.Verbose = 2;47            configuration.UseRandomSeed = true;48            configuration.TestingEngineAssemblyName = "Microsoft.Coyote.SystematicTesting";49            configuration.AssemblyToBeAnalyzed = "CoyoteTests";50            configuration.AssemblyToBeAnalyzedEntryPointTypeName = "CoyoteTests.Program";

RandomValueGenerator

Using AI Code Generation

1{2    using Microsoft.Coyote.Actors;3    using Microsoft.Coyote.Samples.Shared;4    using Microsoft.Coyote.Samples.Shared.Actors;5    using Microsoft.Coyote.Samples.Shared.Production;6    using System;7    using System.Threading.Tasks;8    {9        private static async Task Main()10        {11            var config = Configuration.Create().WithRandomValueGenerator(new CustomRandomValueGenerator());12            var runtime = RuntimeFactory.Create(config);13            await runtime.CreateActorAndExecuteAsync(typeof(ProductionController));14        }15    }16}17{18    using Microsoft.Coyote.Actors;19    using Microsoft.Coyote.Samples.Shared.Actors;20    using Microsoft.Coyote.Samples.Shared.Production;21    using System;22    using System.Threading.Tasks;23    {24        private static async Task Main()25        {26            var config = Configuration.Create().WithRandomValueGenerator(new CustomRandomValueGenerator());27            var runtime = RuntimeFactory.Create(config);28            await runtime.CreateActorAndExecuteAsync(typeof(ProductionController));29        }30    }31}32{33    using Microsoft.Coyote.Actors;34    using Microsoft.Coyote.Samples.Shared.Actors;35    using Microsoft.Coyote.Samples.Shared.Production;36    using System;37    using System.Threading.Tasks;38    {39        private static async Task Main()40        {41            var config = Configuration.Create().WithRandomValueGenerator(new CustomRandomValueGenerator());42            var runtime = RuntimeFactory.Create(config);43            await runtime.CreateActorAndExecuteAsync(typeof(ProductionController));44        }45    }46}47{48    using Microsoft.Coyote.Actors;49    using Microsoft.Coyote.Samples.Shared.Actors;50    using Microsoft.Coyote.Samples.Shared.Production;51    using System;52    using System.Threading.Tasks;53    {54        private static async Task Main()55        {56            var config = Configuration.Create().WithRandomValueGenerator

RandomValueGenerator

Using AI Code Generation

1using Microsoft.Coyote;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.SystematicTesting;4using Microsoft.Coyote.Tasks;5using System;6using System.Threading.Tasks;7{8    {9        private int i = 0;10        protected override Task OnInitializeAsync(Event initialEvent)11        {12            this.SendEvent(this.Id, new E());13            return Task.CompletedTask;14        }15        protected override Task OnEventAsync(Event e)16        {17            if (e is E)18            {19                if (i < 10)20                {21                    Console.WriteLine("Actor1: " + i);22                    this.SendEvent(this.Id, new E());23                    i++;24                }25                {26                    this.SendEvent(this.Id, new Halt());27                }28            }29            return Task.CompletedTask;30        }31    }32    {33        private int i = 0;34        protected override Task OnInitializeAsync(Event initialEvent)35        {36            this.SendEvent(this.Id, new E());37            return Task.CompletedTask;38        }39        protected override Task OnEventAsync(Event e)40        {41            if (e is E)42            {43                if (i < 10)44                {45                    Console.WriteLine("Actor2: " + i);46                    this.SendEvent(this.Id, new E());47                    i++;48                }49                {50                    this.SendEvent(this.Id, new Halt());51                }52            }53            return Task.CompletedTask;54        }55    }56    {57        static void Main(string[] args)58        {59            Console.WriteLine("Hello World!");60            Console.WriteLine("Press any key to start Coyote");61            Console.ReadKey();62            using (var runtime = RuntimeFactory.Create())63            {64                var configuration = Configuration.Create().WithTestingIterations(20);65                using (var tester = new SystematicTestingEngine(runtime, configuration))66                {67                    var actor1 = runtime.CreateActor(typeof(Actor1));68                    var actor2 = runtime.CreateActor(typeof(Actor2));69                    tester.Test();70                }71            }72        }73    }74    class E : Event { }75    class Halt : Event { }76}

RandomValueGenerator

Using AI Code Generation

1using System;2using Microsoft.Coyote;3using Microsoft.Coyote.Actors;4{5    {6        public static int GetRandomValue()7        {8            return ActorRuntime.RandomInteger(1, 100);9        }10    }11}12using System;13using Microsoft.Coyote;14using Microsoft.Coyote.Actors;15{16    {17        public static int GetRandomValue()18        {19            return ActorRuntime.RandomInteger(1, 100);20        }21    }22}23using System;24using Microsoft.Coyote;25using Microsoft.Coyote.Actors;26{27    {28        public static int GetRandomValue()29        {30            return ActorRuntime.RandomInteger(1, 100);31        }32    }33}34using System;35using Microsoft.Coyote;36using Microsoft.Coyote.Actors;37{38    {39        public static int GetRandomValue()40        {41            return ActorRuntime.RandomInteger(1, 100);42        }43    }44}45using System;46using Microsoft.Coyote;47using Microsoft.Coyote.Actors;48{49    {50        public static int GetRandomValue()51        {52            return ActorRuntime.RandomInteger(1, 100);53        }54    }55}56using System;57using Microsoft.Coyote;58using Microsoft.Coyote.Actors;59{60    {61        public static int GetRandomValue()62        {63            return ActorRuntime.RandomInteger(1, 100);64        }65    }66}67using System;68using Microsoft.Coyote;

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.