TestingEngine class

Testing engine that can run a controlled concurrency test using a specified configuration.

public sealed class TestingEngine : IDisposable

Public Members

name description
static Create(…) Creates a new systematic testing engine. (6 methods)
ReadableTrace { get; } The readable trace, if any.
ReproducibleTrace { get; } The reproducible trace, if any.
TestReport { get; set; } Data structure containing information gathered during testing.
Dispose() Releases any held resources.
GetReport() Returns a report with the testing results.
InvokeEndIterationCallBacks(…) Invokes any registered callbacks at the end of the specified iteration.
InvokeStartIterationCallBacks(…) Invokes any registered callbacks at the start of the specified iteration.
IsTestRewritten() Checks if the test executed by the testing engine has been rewritten with the current version.
RegisterEndIterationCallBack(…) Registers a callback to invoke at the end of each iteration. The callback takes as a parameter an integer representing the current iteration.
RegisterStartIterationCallBack(…) Registers a callback to invoke at the start of each iteration. The callback takes as a parameter an integer representing the current iteration.
Run() Runs the testing engine.
SetLogger(…) Installs the specified ILogger to log messages during testing.
Stop() Stops the testing engine.
ThrowIfBugFound() Throws either an AssertionFailureException, if a bug was found, or an unhandled Exception, if one was thrown.
TryEmitCoverageReports(…) Tries to emit the available coverage reports to the specified directory with the given file name, and returns the paths of all emitted coverage reports.
TryEmitReports(…) Tries to emit the available reports to the specified directory with the given file name, and returns the paths of all emitted reports.

See Also