shrinking
a property-based testing technique that reduces a large failing input to the smallest case that still reproduces the failure
shrinking in a sentence
“Shrinking reduced a 10,000-operation failing trace to a minimal 3-step reproducer.”
Related Words
simulation testing
simulates system components rather than using real hardware, networks, and operating systems
dependency
a relationship between two operations that establishes ordering constraints, such as process, write-read, or real-time dependency
definite error
an operation return indicating the operation definitely did not happen, such as a transaction abort
indefinite error
an operation return where the outcome is uncertain; the operation may or may not have executed, exemplified by timeouts
predicate
a condition identifying a set of objects rather than a single item, such as all rows matching a WHERE clause
process
a logically single-threaded state machine participating in a distributed system