ElixirでProperty-Based Testing - Qiitaのような関数がある場合このadd関数の引数を2つとってそれぞれを足してその結果を返すという性質(特性)をPropertyと呼びます Propertyとは 以上のことからPropertyとは一言で言えばプログラムの特性と言えます なのでProperty-Based Testingは特性に基づいてテストすることといえます Example-Based Testingがプログラマが期待する入力値と出力値を元にテストすることと比較して、プログラムの特性に基づいてテストするというところが違います この特性をテストするためにProperty-Based Testingでは大量のサンプルデータを自動的に生成してテストをします Example-Based Testingがたった一つの正しい答えに基づいてプログラムの正当性を保障するのに対して、Property-Based Testingは一度の正しさを保障す
