API Reference PropertyDamage v#0.2.0

PropertyDamage: A stateful property-based testing framework for Elixir.

Behaviour for adapters that execute commands against the System Under Test.

Behaviour for adapters that receive and inject external events.

Advanced failure analysis tools for understanding and debugging test failures.

Simple exception for assertion failures.

Behaviour for commands in stateful property-based testing.

Raised when a command execution times out.

Track and report coverage metrics for property-based tests.

Generate visual sequence diagrams from test executions.

Diff-based debugging for comparing passing and failing test runs.

Differential testing for comparing multiple implementations.

Result from differential testing.

User-friendly error formatting and common error types.

Classifies test failures by their likely origin.

Represents a single entry in the event log.

Shared event queue for injector adapters.

ExUnit integration for PropertyDamage property tests.

Executes command sequences against the System Under Test.

Export failure reports to various portable formats.

Describes an HTTP call for export purposes.

Script generation dispatcher.

Sentinel value marking a field as server-generated (external).

Protocol for custom external marker types.

Failure Intelligence - Pattern detection and fix verification for failures.

Extracts comparable features from failures for similarity analysis.

Pattern detection and clustering for failures.

Computes similarity scores between failure fingerprints.

Fix verification mode for confirming that fixes are robust.

Rich failure report with comprehensive diagnostic information.

Detect non-deterministic behavior in the system under test.

Replay production event logs through model projections for incident analysis.

Generates command sequences for stateful property-based testing.

Interactive helpers for exploring and debugging PropertyDamage models in IEx.

Integration testing utilities for running PropertyDamage against live services.

A first-class invariant: the named property a set of assertions verifies (DR-026).

Linearization checking for parallel execution results.

Load testing with realistic SPBT-generated traffic.

Behaviour for mock services that simulate third-party APIs.

Registry for managing mock service adapters and their state.

Behaviour for models in stateful property-based testing.

Behaviour for projections that track state and optionally define assertions.

Projection that tracks pending operations and asserts progress (liveness).

Projection that computes statistical properties over event streams.

Behaviour for simulating command execution to predict expected events.

Mutation testing for PropertyDamage.

Analyzes mutation testing results to identify weaknesses and generate suggestions.

Report structure for mutation testing results.

Behaviour for fault injection commands.

Create CPU stress in the BEAM VM.

Simulate TLS/SSL certificate expiry and validation failures.

Simulate clock skew and time anomalies.

Create memory pressure in the BEAM VM.

Inject network latency into the test environment.

Simulate network partitions between components.

Simulate packet loss in network communication.

Kill or crash processes to test fault tolerance.

Exhaust system resources to test resilience.

Simulate slow I/O operations.

Save and load failure reports for later analysis and regression testing.

The progress-projection envelope (DR-022).

Terminal result notification for PropertyDamage.Differential.run/1 (DR-022): the final comparison result.

Intermediate progress for PropertyDamage.Differential.run/1 (DR-022): a coarse heartbeat as the run proceeds. Not the authoritative result — see PropertyDamage.Progress.DifferentialResult.

Terminal result notification for a load test (DR-022): the final report.

Intermediate progress for a load test (DR-022): a periodic, self-contained metrics snapshot.

Terminal result notification for PropertyDamage.Mutation.run/1 (DR-022): the final mutation report.

Intermediate progress for PropertyDamage.Mutation.run/1 (DR-022): the outcome of testing a single mutation. Not the authoritative result — see PropertyDamage.Progress.MutationResult.

Progress for the seed-library replay phase of PropertyDamage.run/1 (DR-023).

Terminal result notification for PropertyDamage.run/1 (DR-022).

Intermediate progress for PropertyDamage.run/1 (DR-022): a coarse per-iteration heartbeat of cumulative campaign state. Not the authoritative result — see PropertyDamage.Progress.RunResult.

Raised internally when a projection's apply/2 raises while folding a command or event into state.

Automatic regression test management for PropertyDamage.

Step-by-step replay of failure sequences for debugging.

GenServer-based poller for external resources during command execution.

An ephemeral, self-pruning working set of recently-failing seeds that PropertyDamage.run/1 replays before random exploration (DR-023).

Represents a command sequence that may contain parallel branches.

Settle logic for eventually consistent systems.

Shrinks failing command sequences to minimal reproductions.

Configuration for the shrinking process.

Stutter testing for idempotency verification.

Configuration for stutter testing.

Represents an idempotency violation detected during stutter testing.

Property and invariant suggestions for PropertyDamage models.

Pattern detection for property and invariant suggestions.

Telemetry events for PropertyDamage test runs.

Collects and aggregates telemetry events for the dashboard.

LiveView dashboard for monitoring PropertyDamage test runs.

Find the first commit where a saved PropertyDamage failure starts reproducing.

Generate a PropertyDamage adapter module.

Generate a PropertyDamage command module.

Generate a PropertyDamage model module.

Generate a PropertyDamage projection module.

Run PropertyDamage integration tests against a live service.

Replay a saved PropertyDamage failure against the System Under Test.

Re-shrink a saved PropertyDamage failure with a larger budget.

Generate a complete PropertyDamage test suite from an OpenAPI specification.

Validates a PropertyDamage model and adapter configuration.