ユニットテストはすっかり定着したプラクティスで、それに加えてプロパティベースのテストの人気もそれに追いつきつつあります。ほとんどの関数型言語で一つ、時には多くの実装がなされています。しかし、「プロパティベース・テスト」には多くの側面があります。幾つか挙げれば、テストケースのランダム性、網羅性、最小化と普遍化、カスタムジェネレーター、フィルターなどです。非常に多くの場合、プロパティベースのテストはそのフレームワークのすべての機能を利用していません。 このセッションでは、関数型言語でのプロパティベースのテストの最新状況と、よくあるユースケース、テクニック、落とし穴を話します。
票中 票投票済み