Shrinking/Debug Complexity

Kind: quality-attribute

Layer: Computation Core

Record: lexicon:shrinking-debug-complexity

Canonical: Lexicon

The degree to which reducing a failing generated case to a minimal example adds debugging complexity.

Listed in Lexicon terms, after Runtime Adaptivity and before Spec Maintenance.

Category

• Correctness / Determinism / Verification

In tension with

• Property-Based Testing
• Property-Based Testing / Shrinking/Debug Complexity

Linked from

• Correctness / Determinism / Verification
• The resolutions