TL;DR
- プロパティベーステストは、大量のテストケースを自動生成して実行し、どんな入力でどんな問題が起きるかを調べるテスト手法である。人間が書くのは「入力に対してコードが返すべき値」ではなく、「入力に対するコードの振る舞い」を表す実行可能なコード（プロパティ）である。
- 本書は Erlang / Elixir のフレームワーク PropEr を使い、基礎から、互いに独立でないテストケースや状態に依存するシステムに対するテストまでを扱う。
目次
第 I 部 基礎
- プロパティベーステストの基礎
- プロパティを書く
- プロパティで考える
- カスタムジェネレーター
第 II 部 実践で学ぶステートレスプロパティ
- 信頼できるテスト
- プロパティ駆動開発
- 収縮
- 標的型プロパティ
第 III 部 ステートフルプロパティ
- ステートフルプロパティ
- ケーススタディ：書籍の貸出システム
- 有限状態機械プロパティ