PBT

Property Based Test

テストデータをランダムに生成して、対象の関数がある性質（propety）を満たしているか検証する手法

ライブラリ