property_testing library

Classes

Chaos
Provides static factory methods for creating chaos generators.
ChaosConfig
Configuration for chaos generators Configuration for chaos generators, primarily the string generator.
Color
Represents a color in RGBA format Represents a color with red, green, blue, and alpha components.
Command<Model, Sut>
Represents a command that can be executed against a system under test Represents a single operation or action that can be performed on a system under test (SUT) in stateful property testing.
CommandSequence<Model, Sut>
A sequence of commands to be executed against a system under test Represents a sequence of Command objects to be executed against a system under test (SUT) during stateful property testing.
DateTimeGenerator
Generator for DateTime values A generator that produces DateTime values within a specified range.
DurationGenerator
Generator for Duration values A generator that produces Duration values within a specified range.
EmailGenerator
Generator for email addresses A generator that produces plausible email address strings.
Gen
A collection of primitive generators Provides static factory methods for creating common primitive value generators.
Generator<T>
Base class for all generators in the property testing framework. The base class for all value generators in the property testing framework.
PropertyConfig
Configuration for property testing Configuration options for controlling the execution of property tests.
PropertyResult
The result of a property test Represents the outcome of executing a property test using PropertyTestRunner.
PropertyTestReporter
A reporter for property test results Provides static methods for formatting PropertyResult objects into human-readable reports.
PropertyTestRunner<T>
A runner for property tests Executes a property test for a given generator and property function.
SemverGenerator
Generator for semantic version strings A generator that produces semantic version strings (SemVer).
ShrinkableValue<T>
A value that can be shrunk to simpler values Represents a generated value along with the logic for shrinking it.
Specialized
A collection of specialized generators for common data types Provides static factory methods for creating generators for more complex, specialized data types.
StatefulPropertyBuilder<Model, Sut>
A builder for creating stateful property tests A fluent builder for constructing and running stateful property tests.
StatefulPropertyConfig
Configuration for stateful property testing Configuration options specifically for stateful property tests.
StatefulPropertyRunner<Model, CommandType>
A simplified runner for stateful property tests focusing on model-based invariants.
TestStatisticsCollector
A collector for test statistics across multiple runs Collects and summarizes statistics across multiple property test runs.
UriGenerator
Generator for URI values A generator that produces Uri objects.

Enums

ChaosCategory
Categories of chaotic data Defines different categories of chaotic data that generators can produce. Used primarily for configuring the _ChaoticStringGenerator.

Extensions

PropertyResultExtensions on PropertyResult
Extension methods for working with test results Extension methods for PropertyResult providing convenience accessors.
StatefulPropertyTestingExtensions on Generator<T>
Extension methods for working with stateful property tests Extension methods providing convenience functions for stateful property testing scenarios, particularly related to command generation.