PBTはEBTができた上で品質を良くしたいときにする
#Property-based_testing
#Example-Based_Testing
from
QAにおけるKnown, Unknownへのアプローチ
PBTとEBTは相互補完の関係