Testing, Property Based Testing, Agile, Software Engineering.
arbitrary（例如：fast-check 提供了 fc.string()、fc.integer() 等等），當然根據自定義的 type 去定義他的 arbitrary 也是可以的。 例如： 自定義 arbitrary 範例 2. Generator（測試產生器） Generator 則是 pbt framework 會透過 random 的方式從該 property 給的 arbitrary 中去隨機產生出 N 個 test cases（通常 N 預設為 100）。隨機方式可能依據每個 framework 而不同。 3. Shrinker（誤區識別器） Shrinker 則是 pbt