Term Kind Topic What it is
Property-Based Testing Generative Testing, QuickCheck-Style Testing tool Test Architecture Strategy Asserting invariants that must hold for all inputs, then having the framework generate many inputs to try to break them.
Test Architecture Strategy practice Test Architecture Strategy A written decision about which risks are covered by which kind of test, at what scope, run at what point, and which risks are accepted.
Testability as a Design Property concept Test Architecture Strategy How cheaply a system's behaviour can be observed and controlled, which is decided by architecture and largely fixed before any test is written.