/// <summary>
/// Initializes a new instance of the <see cref="OperationScheduler"/> class.
/// </summary>
internal OperationScheduler(CoyoteRuntime runtime, SchedulingStrategy strategy,
ScheduleTrace trace, Configuration configuration)
{
this.Configuration = configuration;
this.Runtime = runtime;
this.Strategy = strategy;
this.OperationMap = new Dictionary <ulong, AsyncOperation>();
this.ScheduleTrace = trace;
this.SyncObject = new object();
this.CompletionSource = new TaskCompletionSource <bool>();
this.IsProgramExecuting = true;
this.IsAttached = true;
this.BugFound = false;
this.HasFullyExploredSchedule = false;
}
/// <summary>
/// Initializes a new instance of the <see cref="TestingEngine"/> class.
/// </summary>
private TestingEngine(Configuration configuration, TestMethodInfo testMethodInfo)
{
this.Configuration = configuration;
this.TestMethodInfo = testMethodInfo;
this.DefaultLogger = new ConsoleLogger()
{
LogLevel = configuration.LogLevel
};
this.Logger = this.DefaultLogger;
this.Profiler = new Profiler();
this.PerIterationCallbacks = new HashSet <Action <uint> >();
// Initializes scheduling strategy specific components.
this.RandomValueGenerator = new RandomValueGenerator(configuration);
this.TestReport = new TestReport(configuration);
this.ReadableTrace = string.Empty;
this.ReproducibleTrace = string.Empty;
this.CancellationTokenSource = new CancellationTokenSource();
this.PrintGuard = 1;
if (configuration.IsDebugVerbosityEnabled)
{
IO.Debug.IsEnabled = true;
}
if (!configuration.UserExplicitlySetLivenessTemperatureThreshold &&
configuration.MaxFairSchedulingSteps > 0)
{
configuration.LivenessTemperatureThreshold = configuration.MaxFairSchedulingSteps / 2;
}
if (configuration.SchedulingStrategy is "replay")
{
var scheduleDump = this.GetScheduleForReplay(out bool isFair);
ScheduleTrace schedule = new ScheduleTrace(scheduleDump);
this.Strategy = new ReplayStrategy(configuration, schedule, isFair);
}
else if (configuration.SchedulingStrategy is "interactive")
{
configuration.TestingIterations = 1;
configuration.PerformFullExploration = false;
configuration.IsVerbose = true;
this.Strategy = new InteractiveStrategy(configuration, this.Logger);
}
else if (configuration.SchedulingStrategy is "random")
{
this.Strategy = new RandomStrategy(configuration.MaxFairSchedulingSteps, this.RandomValueGenerator);
}
else if (configuration.SchedulingStrategy is "pct")
{
this.Strategy = new PCTStrategy(configuration.MaxUnfairSchedulingSteps, configuration.StrategyBound,
this.RandomValueGenerator);
}
else if (configuration.SchedulingStrategy is "fairpct")
{
var prefixLength = configuration.SafetyPrefixBound is 0 ?
configuration.MaxUnfairSchedulingSteps : configuration.SafetyPrefixBound;
var prefixStrategy = new PCTStrategy(prefixLength, configuration.StrategyBound, this.RandomValueGenerator);
var suffixStrategy = new RandomStrategy(configuration.MaxFairSchedulingSteps, this.RandomValueGenerator);
this.Strategy = new ComboStrategy(prefixStrategy, suffixStrategy);
}
else if (configuration.SchedulingStrategy is "probabilistic")
{
this.Strategy = new ProbabilisticRandomStrategy(configuration.MaxFairSchedulingSteps,
configuration.StrategyBound, this.RandomValueGenerator);
}
else if (configuration.SchedulingStrategy is "dfs")
{
this.Strategy = new DFSStrategy(configuration.MaxUnfairSchedulingSteps);
}
else if (configuration.SchedulingStrategy is "rl")
{
this.Strategy = new QLearningStrategy(configuration.AbstractionLevel, configuration.MaxUnfairSchedulingSteps, this.RandomValueGenerator);
}
else if (configuration.SchedulingStrategy is "portfolio")
{
var msg = "Portfolio testing strategy is only " +
"available in parallel testing.";
if (configuration.DisableEnvironmentExit)
{
throw new Exception(msg);
}
else
{
Error.ReportAndExit(msg);
}
}
if (configuration.SchedulingStrategy != "replay" &&
configuration.ScheduleFile.Length > 0)
{
var scheduleDump = this.GetScheduleForReplay(out bool isFair);
ScheduleTrace schedule = new ScheduleTrace(scheduleDump);
this.Strategy = new ReplayStrategy(configuration, schedule, isFair, this.Strategy);
}
if (TelemetryClient is null)
{
TelemetryClient = new CoyoteTelemetryClient(this.Configuration);
}
}