TestReport class

Report containing information from a test run.

public class TestReport

Public Members

name description
TestReport(…) Initializes a new instance of the TestReport class.
BugReports { get; } Set of bug reports.
Configuration { get; } Configuration of the program-under-test.
CoverageInfo { get; } Information regarding code coverage.
InternalErrors { get; } Set of internal errors. If no internal errors occurred, then this set is empty.
MaxConcurrencyDegree { get; } The max degree of concurrency.
MaxControlledOperations { get; } The maximum number of controlled operations.
MaxExploredFairSteps { get; } The max explored execution steps in fair tests.
MaxExploredUnfairSteps { get; } The max explored execution steps in unfair tests.
MaxFairStepsHitInFairTests { get; } Number of times the fair max steps bound was hit in fair tests.
MaxOperationGroupingDegree { get; } The maximum degree of operation grouping.
MaxUnfairStepsHitInFairTests { get; } Number of times the unfair max steps bound was hit in fair tests.
MaxUnfairStepsHitInUnfairTests { get; } Number of times the unfair max steps bound was hit in unfair tests.
MinConcurrencyDegree { get; } The min degree of concurrency.
MinControlledOperations { get; } The minimum number of controlled operations.
MinExploredFairSteps { get; } The min explored execution steps in fair tests.
MinExploredUnfairSteps { get; } The min explored execution steps in unfair tests.
MinOperationGroupingDegree { get; } The minimum degree of operation grouping.
NumOfExploredFairPaths { get; } Number of explored fair execution paths.
NumOfExploredUnfairPaths { get; } Number of explored unfair execution paths.
NumOfFoundBugs { get; } Number of found bugs.
TotalConcurrencyDegree { get; } The total degree of concurrency (across all testing iterations).
TotalControlledOperations { get; } The total number of controlled operations.
TotalExploredFairSteps { get; } The total explored execution steps (across all testing iterations) in fair tests.
TotalExploredUnfairSteps { get; } The total explored execution steps (across all testing iterations) in unfair tests.
TotalOperationGroupingDegree { get; } The total degree of operation grouping (across all testing iterations).
UncontrolledInvocations { get; } Set of uncontrolled invocations.
Clone() Clones the test report.
GetText(…) Returns the testing report as a string, given a configuration and an optional prefix.
Merge(…) Merges the information from the specified test report.

See Also