Software Development, Software Engineering, Software Testing, Test Automation, Programming.
predicates that should be true, whatever the input data are. An invariant is a business rule that can be written as a predicate. A PBT framework will generate random input data and check if the invariant is valid. If one single execution fails, this means the code under test may have some defects