Properties

Defining properties is the most important aspect of PBT. It is impossible to test a system properly without having good properties definition. The transition from testing scenarios to properties is usually the hardest part for developers starting to adopt PBT.

Therefore, it is useful to have some kind of system which would help to approach the task of defining a property in a systematic manner. Often, the first step in systematizing something is classification.

Types of properties

We already said that there are universally quantified and conditional properties, depending upon if some property holds always or just for some subset of all possible inputs. Now, we want to break down properties in different dimensions...