property based testing の概要とサンプルをまとめました。 example-based testing とは? property based testing の前に対比として example-based testing について。 example-based testing は xUnit に代表されるもので、 入力シナリオ群を元に出力を検証します。 大抵の場合は手動でリストアップが必要で、それゆえに手間がかかり、 全ての検証対象をリストアップしきっているか信頼しにくいことが問題点としてあります。 property based testing とは? 入力を元に出力される結果が一定の規則を持っている場合に、 任意の入力ルールと、規則を指定することで ランダムに生成される入力値を元に出力が規則通り行われているかを確認するテストです。 自分の説明に自信がないので Scala