プロパティベースドテスト
Property based test
ここでのプロパティとは、そのプログラムの入力として取り得る範囲という意味で使われる。
モンキーテスト
の自動化版。プログラムで様々なデータを自動的に作って入力して確認する。